Ernst Mally - Failure of Mally's Deontic Logic

Failure of Mally's Deontic Logic

Theorem: This axiomatisation of deontic logic implies that !x if and only if x is true, OR !x is unsatisfiable. (This makes it useless to deontic logicians.) Proof: Using axiom III, axiom I may be rewritten as (!(A → B) & (B → C)) → !(A → C). Since B → C holds whenever C holds, one immediate consequence is that (!(A → B) → (C → !(A → C))). In other words, if A requires B, it requires any true statement. In the special case where A is a tautology, the theorem has consequence (!B → (C → !C)). Thus, if at least one statement ought be true, every statement must materially entail it ought be true, and so every true statement ought be true. As for the converse (i.e. if some statement ought be true then all statements that ought be true are true), consider the following logic: ((U → !A) & (A → ∩)) → (U → !∩) is a special case of axiom I, but its consequent contradicts axiom V, and so ¬((U → !A) & (A → ∩)). The result !A → A can be shown to follow from this, since !A implies that U → !A and ¬A implies that A → ∩; and, since these are not both true, we know that !A → A.

Mally thought that axiom I was self-evident, but he likely confused it with an alternative in which the implication B → C is logical, which would indeed make the axiom self-evident. The theorem above, however, would then not be demonstrable. The theorem was proven by Karl Menger, the next deontic logician. Neither Mally's original axioms nor a modification that avoids this result remains popular today. (Menger did not suggest his own axioms.) See also deontic logic for more on the subsequent development of this subject. Mally's grandson, Thomas, is currently at Emory University attempting to prove the theories of his grandfather.