Dismantling the Surprise Test "Paradox"

TL;DR

This paper provides a formal logical analysis of the surprise test paradox, demonstrating that the paradox dissolves when the problem is modeled with provability and knowledge in propositional logic, including modal logic variants.

Contribution

It introduces a novel formal logical framework capturing surprise and knowledge, resolving the paradox through precise mathematical modeling.

Findings

The paradox vanishes under formal logical analysis.

Self-reference and truthfulness coexist consistently.

The formal model clarifies the misconception in the paradox.

Abstract

Consider the following story: A teacher announces to her students a test for the following week, such that the test will be ``surprising''. The students use this as the basis for a ``logical derivation'' and reach a contradiction, which they (falsely) interpret as saying that there cannot be a test. The teacher gives a test e.g. on Wednesday, ``surprising'' the students. Its curious turns give the story the flavor of a paradox. Alternative names are the {\it unexpected hanging paradox\/} and the {\it prediction paradox}. Discussions and analyses of the story in the philosophical and mathematical literature are abundant, spanning 80 years until today. Apparently, none of the known explanations has been generally accepted as conclusive. We offer a fresh view, in propositional logic. ``Surprise'' is captured as unprovability of a certain formula from some axiom system. ``Knowledge'' corresponds to axiom systems and can be gained by mathematical proofs. The notorious property of self-reference in the announcement is cleanly accommodated. All errors made by the students are identified. A general analysis shows that the students cannot learn anything from the announcement. This is the first mathematically precise analysis of the story that shows that self-reference, full power of mathematical proofs, and truthfulness of the teacher can consistently coexist. The ``paradox'' vanishes. In order to facilitate comparisons with treatments using modal logic a version based on system S5 is also given. A formula $\sigma$ is identified that formalizes ``there will be a surprising test'', and it is shown that the students take the announcement to mean $\square\sigma$ while in fact the information conveyed by it is not stronger than $\diamond\sigma$. This dissolves all contradictions or ``paradoxical'' issues.