The Epimenides paradox is a problem in logic. This problem is named after the Cretian philosopher Epimenides of Knossos (flourished circa 600 BC), who stated Κρῆτες ἀεί ψεύσται, "Cretians, always liars". There is no single statement of the problem; a typical variation is given in the book Gödel, Escher, Bach (page 17), by Douglas R. Hofstadter. Logic, from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, (but coming to mean thought or reason) is most often said to be the study of criteria for the evaluation of arguments, although the exact definition of logic is a matter of controversy among philosophers. ... Crete (Greek Κρήτη / Kriti; see Wiktionary: Crete for the name in other languages) is the largest of the Greek islands and the fifth largest in the Mediterranean Sea. ... Epimenides of Knossos Epimenides of Knossos (Crete) (Greek: Επιμενίδης) was a semi-mythical 6th century BC Greek seer and philosopher-poet, who is said to have fallen asleep for fifty-seven years in a Cretian cave sacred to Zeus, after which he reportedly awoke with the gift of prophecy. ... Knossos Knossos (35°18′N 25°10′E; alternative spellings Knossus, Cnossus, Gnossus, Greek Κνωσσός; see also List of traditional Greek place names) is the largest Bronze Age archaeological site on Crete, probably the ceremonial and political center of the Minoan culture. ... GEB cover Gödel, Escher, Bach: an Eternal Golden Braid (commonly GEB) is a Pulitzer Prize-winning book by Douglas Hofstadter, published in 1979 by Basic Books. ... Douglas Richard Hofstadter (born February 15, 1945) is an American academic. ...

Epimenides was a Cretian who made one immortal statement: "All Cretians are liars."

Did Epimenides speak the truth? We will first consider the logical status of his statement and then review the history of this famous quote.

Logical analysis

If we define "liar" to mean that every statement made by a liar is false (so that Epimenides' statement amounts to "Anything said by a Cretan is false"), then the statement "All Cretans are liars," if uttered by the Cretan Epimenides, cannot be consistently true. (And, as will be noted below, according to one interpretation it also cannot be consistently false, either.)

The conjunction of "Epimenides said all Cretians are liars" and "Epimenides is a Cretian" would, if true, imply that a Cretian has truthfully asserted that no Cretian has ever spoken the truth; the truth of Epimenides' statement would be a counterexample (some Cretian has told the truth at least once) and would mean that not all Cretians are necessarily always liars, which would contradict Epimenides' statement and thus would render it false.

Several interpretations and analyses are available, if the statement is considered false. It might be contended that the truth-value "false" can be consistently assigned to the simple proposition that "All Cretans are liars," so that this statement by itself, when deemed false, is not, strictly speaking, paradoxical. Thus, if there ever existed a Cretian (not Epimenides in this instance) who even once spoke the truth, the categorical statement "All Cretians are (always) liars," would be false, and Epimenides might be simply regarded as having made a false statement himself. But if Epimenides' statement is understood as in essence asserting its own falsehood, then the statement cannot consistently be false, either, because its falsehood would imply the truth of its self-asserted falsehood.

An interesting asymmetry is possible under one interpretation: the statement's truth clearly implies its falsehood, but, unless the statement is interpreted to refer specifically to itself (rather than referring categorically to all statements by Cretans), the statement could be contingently false without implying its own truth.

Alternatively, if, by "liar", we were to mean someone whose statements are usually but not always false, the logical problem would dissolve: Epimenides might usually lie, but on this occasion it might be that he happened to speak the truth. This interpretation would not lead to an interesting logical problem.

Paradoxical versions of the Epimenides problem are closely related to a class of more difficult logical problems, including the liar paradox, Russell's paradox, and the Burali-Forti paradox, all of which have self-reference in common with Epimenides. (The Epimenides paradox is usually classified as a variation on the liar paradox, and sometimes the two are not distinguished.) The study of self-reference led to important developments in logic and mathematics in the twentieth century. In philosophy and logic, the liar paradox encompasses paradoxical statements such as: Analysing the statement I am lying now. ... Russells paradox (also known as Russells antinomy) is a paradox discovered by Bertrand Russell in 1901 which shows that the naive set theory of Frege is contradictory. ... In set theory, a field of mathematics, the Burali-Forti paradox demonstrates that naïvely constructing the set of all ordinal numbers leads to a contradiction and therefore shows an antinomy in a system that allows its construction. ...

History

The Epimenides paradox, as a problem in logic, appears to have a relatively recent origin, although the statement "Cretans, always liars" has quite a history itself.

Epimenides was a philosopher and religious prophet who, against the general sentiment of Crete, proposed that Zeus was immortal. As he wrote in his poem Cretica, Statue of Zeus Phidias created the 12-m (40-ft) tall statue of Zeus at Olympia about 435 BC. The statue was perhaps the most famous sculpture in ancient Greece, imagined here in a 16th-century engraving. ...

They fashioned a tomb for thee, O holy and high one-

The Cretians, always liars, evil beasts, idle bellies!

But thou art not dead: thou livest and abidest forever,

For in thee we live and move and have our being.

Denying the immortality of Zeus, then, is the lie of the Cretians. It appears that by "Cretians", Epimenides intended "Cretians other than myself". The phrase "Cretians, always liars" was quoted by the poet Callimachus in his Hymn to Zeus, with the same theological intent as Epimenides. The entire second line is quoted in the Epistle to Titus, chapter 1, verse 12, and identified as such by Clement of Alexandria. The entire verse reads, "One of themselves, even a prophet of their own, said, The Cretians are always liars, evil beasts, slow bellies." And the next verse continues, "This witness is true." (King James Version.) Though this explicitly includes the self-reference, it appears to be solely intended to defame the Cretans. Callimachus (ca. ... The Pastoral Epistles are often considered together, as each throws light upon the others. ... Clement of Alexandria (Titus Flavius Clemens), was the first member of the Church of Alexandria to be more than a name, and one of its most distinguished teachers. ...

The inconsistency of a Cretian asserting all Cretians are liars does not seem to have occurred to Epimenides, nor to Callimachus, Paul, or Clement. In the original context, Epimenides necessarily meant "Cretans other than myself", so there is no self-reference and thus no logical problem to speak of. The liar paradox was known in antiquity, but it was not associated with Epimenides then. (Saint Augustine restates the liar paradox, without mentioning Epimenides or Titus, in Against the Academicians III.13.29.) Many variations of the liar paradox (called insolubilia) were studied in the Middle Ages, but none of the extant medieval works on insolubilia refer to Epimenides, neither directly nor through the Epistle to Titus. The earliest appearance of Epimenides in the context of a logical problem dates only to the nineteenth century. Since that time, the Epimenides paradox has been commonly employed in discussions of logic. St. ... In the Middle Ages, variations on the liar paradox were studied under the name of insolubilia (insolubles). ...

Sources

All of the works of Epimenides are now lost, and known only through quotations by other authors. The quotation from the Cretica of Epimenides is given by R.N. Longenecker, "Acts of the Apostles", in volume 9 of The Expositor's Bible Commentary, Frank E. Gaebelein, editor (Grand Rapids, Michigan: Zondervan Corporation, 1976-1984), page 476. Longenecker in turn cites M.D. Gibson, Horae Semiticae X (Cambridge: Cambridge University Press, 1913), page 40, "in Syriac". Longenecker states the following in a footnote: Syriac is an Eastern Aramaic language that was once spoken across much of the Fertile Crescent. ...

The Syr. version of the quatrain comes to us from the Syr. church father Isho'dad of Mero (probably based on the work of Theodore of Mopsuestia), which J.R. Harris translated back into Gr. in Exp ["The Expositor"] 7 (1907), p 336.

An oblique reference to Epimenides in the context of logic appears in "The Logical Calculus" by W. E. Johnson, Mind (New Series), volume 1, number 2 (April, 1892), pages 235-250. Johnson writes in a footnote, Theodore (c. ...

Compare, for example, such occasions for fallacy as are supplied by "Epimenides is a liar" or "That surface is red," which may be resolved into "All or some statements of Epimenides are false," "All or some of the surface is red."

The Epimenides paradox appears explicitly in "Mathematical Logic as Based on the Theory of Types", by Bertrand Russell, in the American Journal of Mathematics, volume 30, number 3 (July, 1908), pages 222-262, which opens with the following: Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS (18 May 1872 – 2 February 1970), was an influential British logician, philosopher, and mathematician, working mostly in the 20th century. ...

The oldest contradiction of the kind in question is the Epimenides. Epimenides the Cretan said that all Cretans were liars, and all other statements made by Cretans were certainly lies. Was this a lie?

In that article, Russell uses the Epimenides paradox as the point of departure for discussions of other problems, including the Burali-Forti paradox and the paradox now called Russell's paradox. Since Russell, the Epimenides paradox has been referenced repeatedly in logic. Typical of these references is Gödel, Escher, Bach by Douglas Hofstadter (Basic Books, 1980), which accords the paradox a prominent place in a discussion of self-reference. In set theory, a field of mathematics, the Burali-Forti paradox demonstrates that naïvely constructing the set of all ordinal numbers leads to a contradiction and therefore shows an antinomy in a system that allows its construction. ... Russells paradox (also known as Russells antinomy) is a paradox discovered by Bertrand Russell in 1901 which shows that the naive set theory of Frege is contradictory. ... GEB cover Gödel, Escher, Bach: an Eternal Golden Braid (commonly GEB) is a Pulitzer Prize-winning book by Douglas Hofstadter, published in 1979 by Basic Books. ... Douglas Richard Hofstadter (born February 15, 1945) is an American academic. ...