Abstract

Forrester claims to have shown that a contradiction can be derived from a set of two apparently innocuous moral rules together with standard deontic logic, a principle for adverbial detachment, and a statement of fact. Let l be a system of laws that has the following as immediate consequences: It is obligatory* that Smith not murder Jones. It is obligatory; that, if Smith murders Jones, then Smith murders Jones gently.