The resolution to formalize ethics is most commonly met with ridicule, as a puerile attempt of a jejune student who imaginably was recently exposed to the possibilities of first order logic. It is only too simple to giggle about proving whether it was right that John kissed Mary. But what exactly is the […]