Toward a General Logicist Methodology for Engineering Ethically Correct Robots