That is, no consistent system of axioms whose theorems can be listed by an effective procedure is capable of proving all truths about moral actions. Either moral systems are complete, or they are consistent. Consistency and completeness are requirements for optimization, so the idea of moral optimization is dead on arrival for me. It's simply not possible, and like the author one will drive themselves to insanity over trying.
Edit: I made an unfortunately error in the original version - accidentally mixing up consistent with inconsistent. My apologies for the confusion.
That is, no consistent system of axioms whose theorems can be listed by an effective procedure is capable of proving all truths about moral actions. Either moral systems are complete, or they are consistent. Consistency and completeness are requirements for optimization, so the idea of moral optimization is dead on arrival for me. It's simply not possible, and like the author one will drive themselves to insanity over trying.
Edit: I made an unfortunately error in the original version - accidentally mixing up consistent with inconsistent. My apologies for the confusion.