The Unexpected Hanging
If a judge promises a surprise execution, and a prisoner proves by logic that it cannot happen, is the prisoner's reasoning sound?
This paradox circulated in philosophical logic in the late 1940s, discussed independently by D. J. O'Connor and W. V. O. Quine. It looks like a straightforward case of backward induction but leads to a conclusion that observation refutes.
Quine, W. V. O. (1953). On a So-Called Paradox. Mind, 62(245), 65–67.
The prisoner's reasoning
A judge tells a condemned prisoner: "You will be hanged at noon on one day next week, Monday through Friday. You will not know which day until the morning of the execution, when the warden informs you."
The prisoner thinks through this carefully. It cannot be Friday. If Thursday passes without execution, only Friday remains, and knowing this, the prisoner would expect the execution on Friday morning. That would not be a surprise. So Friday is ruled out.
But if Friday is ruled out, then Thursday becomes the last possible day. If Wednesday passes without execution, only Thursday and Friday remain, but Friday is already ruled out. So the prisoner would know it must be Thursday. Not a surprise. Thursday is ruled out.
The same logic eliminates Wednesday, Tuesday, and Monday. The prisoner concludes the execution cannot happen. He relaxes.
On Wednesday morning, the warden arrives. The prisoner is surprised.
Where the reasoning fails, or might not
There are several competing diagnoses. One: the prisoner's reasoning is self-undermining. The conclusion "the execution cannot happen" is itself false, which means the premises that led to it include a false one. The judge's statement "you will not know" turns out to be compatible with the execution happening if the prisoner falsely convinced himself it wouldn't.
A second diagnosis targets the word "surprise." The judge's promise generates a self-referential situation: it is a statement about what the prisoner will know, made by the very authority who determines when the execution occurs. The statement cannot be consistently evaluated in advance.
Quine's own treatment focused on the claim that the sentence is simply inadmissible: it is logically inconsistent to assert it, in the same way it is inconsistent to say "I will tell you something that will completely surprise you" and then say "two plus two equals four."
The deeper question about knowledge and surprise
The paradox points toward a genuine problem in epistemic logic: what does it mean to know that something will happen while also knowing it will be unexpected? These two pieces of knowledge are in tension, and the tension is not just linguistic.
The prisoner's error seems to be assuming that the judge's promise, once made, becomes a constraint on the logical space of possibilities that the prisoner can then reason about as if it were a mathematical axiom. But the judge's promise is a statement about the prisoner's future epistemic state, and the prisoner's own reasoning changes that state. Once the prisoner concludes the execution is impossible, the execution becomes possible again, because now it would be genuinely surprising.
Discussion questions
- Where exactly did the condemned man's reasoning go wrong?
- Is there a lesson here for how confident we should be in our own logical chains?
- Can you think of a real situation where backwards induction led to a wrong answer?
Take it to the dinner table.
Get 3 thought experiments for memorable conversations, designed for dinner, with friends, at events, or anywhere small talk has gone on too long.