There is no RationalWiki without you. We are a small non-profit with no staff – we are hundreds of volunteers who document pseudoscience and crankery around the world every day. We will never allow ads because we must remain independent. We cannot rely on big donors with corresponding big agendas. We are not the largest website around, but we believe we play an important role in defending truth and objectivity. If everyone who saw this today donated $5, we would meet our goal for 2021. |
Fighting pseudoscience isn't free. We are 100% user-supported! Help and donate $5, $20 or whatever you can today with ! |
Liar paradox
Cogito ergo sum Logic and rhetoric |
Key articles |
General logic |
Bad logic |
The Liar paradox is usually given as "This statement is false".
The truth value of the statement cannot be evaluated because the statement refers to the truth value of itself. Kurt Gödel^{} managed to encode this paradox into number theory and to conclude that no sufficiently complete axiomatic system can be consistent, and vice versa.
The liar paradox is sometimes attributed to Epimenides^{} of Crete, who said "All Cretans are liars" (although it should be noted that, in the original context (a poem written to advance a theological argument), he probably meant "All Cretans but me are liars about this one thing"). In Titus 1:12-13, Paul makes a passing reference to Epimenides' paradox, in furtherance of a serious argument that (non-Christian) Cretans were "evil beasts". (Although, again, it is not fully paradoxical in Paul's argument, as he seems to have taken it to mean "almost all Cretans are liars".) A similar statement ("I said in my haste, All men are liars.") shows up in Psalm 116:1-19, although, again, the context is not fully within the Liar paradox (in this case, the statement is explicitly an oversimplification, and is easily read as "All men lie sometimes").
An alternative formulation, popular in medieval Europe, is:
In this case, the paradox does not consist of a single proposition, but a referential cycle of two propositions.
Possible Solutions[edit]
- The self-referential aspect renders the entire statement nonsensical and meaningless; stringing words together into a query that is grammatically valid does not mean the resulting query, itself, is valid. Asking if the statement is true or false is like asking "What colour is a loud noise?"
- It is a statement to which true and false cannot be applied. Whether the statement is true or false is as undefined as the quotient when dividing by zero.
- It has a constantly shifting answer where the temporal delta between true and false reduces to zero resulting in the statement being both true and false at the same time.