liar paradox


Also found in: Encyclopedia, Wikipedia.

liar paradox

n
(Logic) logic the paradox that this statement is false is true only if it is false and false only if it is true: attributed to Epimenides the Cretan in the form all Cretans are liars
Mentioned in ?
References in periodicals archive ?
It was often proclaimed to be a liar paradox, but this paper finds the paradox valid.
The Liar Paradox from John Buridan back to Thomas Bradwardine.
In sections on ancient, medieval, modern, and contemporary philosophy, he discusses the flux, the learner's paradox, the liar paradox, the problem of evil, the ontological argument, science and religion, Cartesian doubt, psychological egoism, free will and determinism, perception and justification, selfhood and computers, and Curry's paradox.
Examples include the liar paradox, Zeno's paradoxes, the travelling salesman problem, Turing's halting problem, Godel's incompleteness theorem, and Schrodinger's cat.
Finally, the liar paradox: after quite a few pages of summarizing and critiquing other approaches, drawing distinctions about context, sentences, and their logical content, Lukowski's ultimate salve (99) is that the liar sentence is false.
The Liar Paradox (which for him is "the so-called liar paradox") can be addressed without any metalinguistic maneuvering simply by saying, with Jean Buridan, that the utterer of a Liar Sentence is speaking falsely.
Godel realised he would need to formally express the concept of truth for number theoretical sentences in the language of number theory itself, but if he could do that, he would be able to produce a form of the Liar Paradox (a statement that asserts its own falsity, e.g., This sentence is false) within number theory.
(7) In fact, this approach to solving the liar paradox is no longer very popular.
Recent essays on truth and the liar paradox. New York: Oxford University Press.
The liar paradox, (6) as the sentence is known, is puzzling because if it is true, then it must be giving an accurate description of itself, and must therefore be false.