Problem #22 HARD
The Surprise Verdict
Google Microsoft Paradoxes Philosophy
Problem Statement
A judge sentences a convicted person and adds: 'The sentence will be carried out on one morning next week — Monday through Friday — but on the morning it happens, you will not have been able to predict it the night before.' The convicted person thinks carefully and reasons that the sentence logically cannot happen at all. They relax completely — and are completely surprised when officers arrive on Wednesday morning. What went wrong with their reasoning?
Answer & Quick Explanation
Think you've got it? Click below to check your answer.
The flaw: the elimination chain is only valid if the person is certain the sentence will happen. Once they conclude 'it cannot happen,' that belief itself makes any day a genuine surprise — restarting the very conditions the judge described.
Detailed Editorial Solution
Want to see the step-by-step breakdown? Click below to reveal the editorial.
This paradox sits at the boundary of logic and philosophy of mind. The elimination argument is valid within its own frame — but the frame collapses when you account for what the prisoner's own belief does to the situation.
Step 1: The backward elimination: 'If I reach Thursday night still alive, Friday is the only day left. I would know it's Friday. Therefore Friday cannot be the surprise day.'
Step 2: 'With Friday ruled out, if I reach Wednesday night, Thursday is the last possible day. I would know. So Thursday is impossible too.' Repeat to eliminate Monday.
Step 3: The person concludes: 'There is no valid day. The judge's statement is self-contradictory. The sentence cannot happen.'
Step 4: Here is the hidden flaw: each elimination step assumed the person is certain the sentence WILL occur and that they know the remaining valid days. Once they conclude the sentence WON'T occur, that certainty evaporates.
Step 5: With the person now believing execution is impossible, any day the officer arrives is — by definition — a surprise. The judge's condition is perfectly met.
Step 6: The paradox is self-referential: the truth of the judge's statement depends on the prisoner's beliefs, which are themselves shaped by the statement. The logical loop has no stable fixed point.
Key Insight:
The statement 'you will not predict it' is not a mathematical theorem — it is a conditional about the prisoner's epistemic state. That state is changed by the very act of reasoning about the statement, making the paradox genuinely irreducible.