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.
Read more about this topic: Ernst Mally
Famous quotes containing the words failure of, failure and/or logic:
“War is bestowed like electroshock on the depressive nation; thousands of volts jolting the system, an artificial galvanizing, one effect of which is loss of memory. War comes at the end of the twentieth century as absolute failure of imagination, scientific and political. That a war can be represented as helping a people to “feel good” about themselves, their country, is a measure of that failure.”
—Adrienne Rich (b. 1929)
“... until both employers’ and workers’ groups assume responsibility for chastising their own recalcitrant children, they can vainly bay the moon about “ignorant” and “unfair” public criticism. Moreover, their failure to impose voluntarily upon their own groups codes of decency and honor will result in more and more necessity for government control.”
—Mary Barnett Gilson (1877–?)
“The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.”
—Eva Figes (b. 1932)