Epimenides paradox

The Epimenides paradox is a problem in logic. It is named after the Cretan philosopher Epimenides of Knossos (alive circa 600 BC), There is no single statement of the problem; a typical variation is given in the book Gödel, Escher, Bach, by Douglas Hofstadter:
:Epimenides was a Cretan who made one immortal statement: "All Cretans are liars."
It is commonly supposed that self-referential paradox arises when one considers whether Epimenides spoke the truth. However, if Epimenides knew of at least one Cretan (other than himself) who is not a liar, his statement is a lie (because he asserts all) even though it correctly describes the speaker as a liar. 
Interestingly, the Epistle to Titus makes reference to Epimenides: the author says of Cretans that "they are all liars, as one of their own has said." ()
== History of the phrase ==
Epimenides was a philosopher and religious prophet who, against the general sentiment of Crete, proposed that Zeus was immortal, as in the following poem:
Denying the immortality of Zeus, then, is the lie of the Cretans. It appears that by "Cretans", Epimenides intended "Cretans other than myself". The phrase "Cretans, 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:
 
The logical inconsistency of a Cretan asserting all Cretans are always liars may not have occurred to Epimenides, nor to Callimachus. 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; accusing Cretans (other than himself) denying the immortality of Zeus while he did not deny it himself. It is not clear when Epimenides became associated with the Epimenides paradox. Epimenides himself does not appear to have intended any irony or paradox in his statement, "Cretans, always liars", nor did Callimachus, nor the author of Titus, nor Clement. The logical contradiction exists on Saint Paul's epistle rather than the poem of Epimenides:
:In his epistle to Titus, Apostle Paul wants to warn Titus that Cretans don't believe in the one truth of Christianity, because "Cretans are always liars". To justify his claim, Apostle Paul cites Epimenides. This forms a contradiction because he uses the words of a Cretan (always a liar) in order to prove that Cretans are always liars, also concluding that Epimenides (a Cretan) had surely told the truth (that Cretans are always liars). 
In the Middle Ages, many forms of the liar paradox were studied under the heading of insolubilia, but these were not associated with Epimenides. The earliest unmistakable reference to the Epimenides paradox as it is known today is an article by Bertrand Russell on the theory of types dating to 1908. 
The liar paradox was known in antiquity, but it was not associated with Epimenides and 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. However it is possible that the paradox was attributed to Epimenides rather than to Saint Paul himself to avoid offending the logical consistency of Saint Paul and hence that of the New Testimony. This might be an explanation as to why Epimenides paradox was first recorded in the nineteenth century and in the Christian world rather than in the Classical antiquity.
== Logical analysis ==
If one defines "liar" as someone who is never truthful, then the statement "All Cretans are liars," if uttered by a Cretan, Epimenides, leads inescapably to the conclusion that the speaker's statement is not true—that is, some Cretans are not liars.
Of course this would no longer be a paradox if you assume whoever stated that "Epimenides was a Cretan who made one immortal statement: 'All Cretans are liars.'" was lying. 
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 Cretan who even once spoke the truth, the categorical statement "All Cretans are (always) liars," would be false, and Epimenides might be simply regarded as having made a false statement himself. 
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.
Naturally, any truly logical idea of a paradox with the statement falls flat if one understands that while "all Cretans" may be "liars," such a statement in realistic terms does not necessarily mean that all Cretans lie all the time or that they lie only. Even if it is said that "Cretans are always liars," this does not produce a paradox if one understands the various meanings of the term always - as in "John always says No!" does not mean that "No" is all - or the only thing - John ever says. Certainly even the most prolific liars in history told the truth at least some of the time, so an idea that anyone lies in every single sentence they speak is merely simpleminded at best.
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. Indeed, 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.
== References ==
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:
: 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,
: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:
: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, which accords the paradox a prominent place in a discussion of self-reference.
Category:Paradoxes
Category:Apostle Paul
Category:New Testament words and phrases
Category:Ancient Crete
de:Paradoxon des Epimenides
es:Paradoja de Epiménides
gl:Paradoxo de Epiménides
ko:에피메니데스의 역설
lt:Epimenido paradoksas
hu:Epimenidész-paradoxon
nl:Paradox van Epimenides
pl:Paradoks Epimenidesa
pt:Paradoxo de Epiménides
tr:Epimenides paradoksu