The Liar's Paradox: When a Sentence Breaks Logic

Introduce 'This statement is false' as a single sentence that forces a choice we cannot safely make.

• Present the sentence in isolation
• Frame the binary choice: is it true or false?
• Establish the driving question for the investigation

Ask the learner to commit to a single answer about the truth value of the sentence before any analysis is shown.

• Force an explicit prediction
• Surface the learner's prior intuition
• Create stakes for the evidence that follows

Let the learner step through the two cases — assuming the sentence is true, then assuming it is false — and see the contradiction unfold visibly.

• Case 1: Assume true → must be false
• Case 2: Assume false → must be true
• Both cases collapse

Show that the contradiction only arises because the sentence refers to itself and applies the law of excluded middle without restriction.

• Self-reference is the trigger
• Truth and falsity are treated as exhaustive opposites
• The sentence assumes both rules at once

Let the learner toggle off one of the two assumptions at a time and watch the paradox disappear — proving that one rule must give.

• Remove self-reference → sentence becomes harmless
• Remove excluded middle → sentence becomes undecidable
• Logic cannot keep both and stay consistent

Connect the conclusion to Tarski's theorem: any language strong enough to define its own truth must either ban self-reference or tolerate paradox.

• Tarski's hierarchy of languages
• Truth cannot be fully captured inside the system that uses it
• The Liar's Paradox is a theorem, not a trick

Let the learner try variations — pinning the sentence to a wall, having someone else say it, negating it twice — and see which versions still bite and which are defused.

• Pinning does not change the logic
• Attribution to a speaker does not change the logic
• Double negation still self-refers

Show that the same shape of problem appears in Gödel's incompleteness theorems and in the liar-style paradoxes that motivated modern logic.

• Self-reference reappears in arithmetic (Gödel)
• Formal systems hit the same wall
• The Liar is the prototype, not an oddity

Close the investigation by returning to the original sentence and stating exactly what it reveals about logic.

• Recap: the paradox is not a puzzle, it is a proof
• Logic must choose between self-reference and total truth
• The sentence marks the boundary of what classical logic can say