ABSTRACT
This chapter gives a precise logical formulation of an ethical theory, one that builds on ideas from Immanuel Kant and R.M.Hare.1 This gives an example of how to use logic to formalize larger philosophical views. As in the chapter on belief logic, we’ll systematize consistency norms. But now our norms will be stronger and will feature a version of the golden rule (roughly, “Treat others as you want to be treated”).
