The Liar Paradox

The paradox and its history

The liar sentence: "This statement is false."

If it is true, then what it says is the case, so it is false. If it is false, then it is not the case that it is false, so it is true. Neither value can be assigned without contradiction.

Ancient versions involved a person saying "I am lying." The Cretan poet Epimenides wrote that all Cretans are liars, which generates a related puzzle. Eubulides sharpened this into the pure self-referential form. The problem was never merely a curiosity. Medieval logicians devoted substantial effort to it, and modern logicians have found it to be a genuine threat to the consistency of formal systems.

The main responses

Alfred Tarski's solution is the most influential. He argued that a language cannot coherently contain a truth predicate that applies to its own sentences. Natural language, which can talk about itself, is inherently inconsistent. Formal languages can be made consistent by distinguishing an object language from a metalanguage: truth can be defined for the object language only in the metalanguage, which is not itself subject to the same predicate. The liar sentence cannot even be formed within a properly structured language.

A second response rejects the law of bivalence, the principle that every statement is either true or false. On three-valued logics, the liar sentence receives a third value: indeterminate, neither true nor false. This avoids contradiction but requires accepting that some grammatically well-formed sentences simply lack a classical truth value.

Paraconsistent logic takes the most radical approach. It allows contradictions to be true without collapsing into a system where everything is provable. The liar sentence is both true and false, but this does not make the system trivial because the rules of inference are weakened to prevent the contradiction from spreading.

Why it still matters

The liar is not a curiosity about a strange sentence. It shows that any language powerful enough to talk about its own truth values generates incoherence unless carefully constrained. Tarski's result has direct consequences for formal logic: no consistent formal system that satisfies basic arithmetic can contain its own truth predicate. This connects to Gödel's incompleteness theorems.

For natural language, the paradox reveals a genuine tension. We routinely talk about the truth or falsity of our own statements. If Tarski is right, this practice is either inconsistent or relies on an implicit hierarchical structure we never make explicit.