Information icon.svg The 2018 RMF board election has started! We are electing 3 boardmembers for the 2018-2020 term.
Nominate users here and read their campaign slogans here!

Liar paradox

From RationalWiki
Jump to: navigation, search
Part of the series on
Logic and rhetoric
Icon logic.svg
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, St. 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, 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:

Plato: What Socrates is about to say is false.
Socrates: Plato has spoken correctly.

In this case, the paradox does not consist of a single proposition, but a referential cycle of two propositions.