Unexpected Hanging Paradox - The Logical School

The Logical School

Formulation of the judge's announcement into formal logic is made difficult by the vague meaning of the word "surprise". An attempt at formulation might be:

  • The prisoner will be hanged next week and the date (of the hanging) will not be deducible in advance from the assumption that the hanging will occur during the week (A).

Given this announcement the prisoner can deduce that the hanging will not occur on the last day of the week. However, in order to reproduce the next stage of the argument, which eliminates the penultimate day of the week, the prisoner must argue that his ability to deduce, from statement (A), that the hanging will not occur on the last day, implies that a last-day hanging would not be surprising. But since the meaning of "surprising" has been restricted to not deducible from the assumption that the hanging will occur during the week instead of not deducible from statement (A), the argument is blocked.

This suggests that a better formulation would in fact be:

  • The prisoner will be hanged next week and its date will not be deducible in advance using this statement as an axiom (B).

Some authors have claimed that the self-referential nature of this statement is the source of the paradox. Fitch has shown that this statement can still be expressed in formal logic. Using an equivalent form of the paradox which reduces the length of the week to just two days, he proved that although self-reference is not illegitimate in all circumstances, it is in this case because the statement is self-contradictory.

Read more about this topic:  Unexpected Hanging Paradox

Famous quotes containing the words logical and/or school:

    It was at that moment, just after Krug had fallen through the bottom of a confused dream and sat up on the straw with a gasp—and just before his reality, his remembered hideous misfortune could pounce upon him—it was then that I felt a pang of pity for Adam and slid towards him along an inclined beam of pale light—causing instantaneous madness, but at least saving him from the senseless agony of his logical fate.
    Vladimir Nabokov (1899–1977)

    Today, only a fool would offer herself as the singular role model for the Good Mother. Most of us know not to tempt the fates. The moment I felt sure I had everything under control would invariably be the moment right before the principal called to report that one of my sons had just driven somebody’s motorcycle through the high school gymnasium.
    Mary Kay Blakely (20th century)