THE LIAR PARADOX

The sentence refers to itself and denies its own truth, and that is enough to break it. Suppose it is true. Then what it asserts holds, and what it asserts is that it is false. Suppose instead it is false. Then what it asserts fails to hold, so it is not false — it is true. Classical logic offers exactly two values and the sentence survives neither. This is not a trick of grammar that a careful rewording removes; it is a structural fact about self-reference.

The paradox is old and well documented. It is usually traced to Eubulides of Miletus in the fourth century BC, and it was familiar enough in antiquity for Cicero and Aulus Gellius to refer to it in passing. Medieval logicians gave sentences of this shape their own name — insolubilia — and produced a literature of proposed solutions that ran for three centuries without agreement.

What raises it above a curiosity is the damage it does to systems built for precision. In 1933 Alfred Tarski proved that no sufficiently expressive formal language can contain its own truth predicate without becoming inconsistent: if a language can say of every one of its own sentences whether that sentence is true, the liar can be written inside it, and from a contradiction the system proves everything. Tarski's response was to split the language in two — an object language that makes claims, and a metalanguage that talks about their truth.

Kurt Gödel had already used the same machinery two years earlier, with one substitution. Replace "false" with "unprovable" and the sentence reads: this statement is not provable. It cannot be proved without making the system inconsistent, and it cannot be refuted without making the system wrong about itself. That is the first incompleteness theorem, and its engine is the sentence printed on this shirt.

Every published escape is expensive. You can deny the sentence expresses a proposition at all, which requires a principled account of why it does not. You can allow truth-value gaps — a third value, neither true nor false — but then "this statement is not true" reproduces the problem one level up, which is the strengthened liar. You can follow Graham Priest into paraconsistent logic and accept that some sentences are both true and false, keeping the sentence at the price of the rule that a contradiction proves anything. Nobody gets it for free.

FACTUM opens its archive with the one sentence its own name cannot cover. Factum means a fact: something that holds. This holds neither way.