Thank you for visiting this site. This article covers the “Liar’s Paradox.”
“This statement is false” — just this one sentence has troubled logicians and philosophers for more than 2,000 years. Neither true nor false, or simultaneously true and false. The strange problem this sentence poses has the power to shake the very foundations of logic.
What Is the Liar’s Paradox?
Consider the sentence: “This statement is false.”
Suppose the statement is true. Its content says “this statement is false,” so the statement is a lie — meaning it is false. We assumed it was true, but ended up with false.
Now suppose the statement is false. If “this statement is false” is itself false, then the statement is not a lie — it is true. We assumed it was false, but ended up with true.
Assuming true leads to false; assuming false leads to true. Neither conclusion is stable. This is the Liar’s Paradox.
The Ancient Greek Original
The oldest known version of this paradox is attributed to Epimenides, a philosopher from Crete in the 6th century BCE. Being a Cretan himself, Epimenides reportedly said, “All Cretans are liars.”
If his statement is true, then Cretans are all liars, so Epimenides — a Cretan — is lying, meaning the statement is false…
Strictly speaking, Epimenides’ version does not form a pure paradox. If “All Cretans are liars” is false, then some Cretans might be honest, and Epimenides could be among the dishonest Cretans without contradiction.
The purer form — “This statement is false” — is a self-referential sentence credited to the ancient Greek philosopher Eubulides.
The Danger of Self-Reference
The root cause of the Liar’s Paradox is that the sentence is talking about itself — it is self-referential.
An ordinary sentence, such as “Tokyo is the capital of Japan,” speaks about an external object — Tokyo. There is no difficulty assigning it a truth value.
But “This statement is false” talks about its own truth value. To evaluate whether it is true, we must refer to its own content; to understand its content, we need to know its truth value. This circular structure is what generates the paradox.
Impact on Modern Mathematics
The Liar’s Paradox is no mere word game — it had a revolutionary impact on 20th-century mathematics and logic.
Kurt Gödel’s Incompleteness Theorems, published in 1931, cleverly exploited the structure of the Liar’s Paradox. Gödel constructed a mathematical statement that says “This proposition cannot be proved,” and used it to show that within any sufficiently powerful formal system there must exist “true statements that cannot be proved.”
Alan Turing’s halting problem applies the same self-referential structure. Considering a program that judges whether it itself halts leads to a contradiction, proving that no universal halting-detection program can exist.
In this way, the “contradiction through self-reference” at the heart of the Liar’s Paradox connects to fundamental discoveries in mathematics and computer science.
Are There Solutions?
Several proposed solutions to the Liar’s Paradox have been put forward.
Bertrand Russell proposed “Type Theory,” which forbids a statement from speaking about itself. Statements may only refer to statements of a lower type.
Alfred Tarski introduced “levels of truth,” arguing that the truth of sentences in a language cannot be evaluated within that same language — it requires a higher-level metalanguage.
More recently, Saul Kripke’s 1975 “Fixed-Point Theory of Truth” has gained traction. It assigns a third value — “undefined” — to the liar sentence, neither true nor false. This avoids contradiction by abandoning classical two-valued logic.
Each solution has its merits, yet none has definitively dissolved the problem. Every approach carries a cost, and the Liar’s Paradox remains an active area of research in logic and philosophy.
Summary
This article covered the “Liar’s Paradox.”
A single sentence that shook the foundations of logic, and that connects to Gödel’s Incompleteness Theorems and the halting problem in computer science — this paradox stands as one of the most impactful contributions to humanity’s intellectual heritage.
To return to the full list of paradoxes, follow the link below.
Thank you for reading. We hope to see you in the next article.
