Epimenides
**Nghịch lý Epimenides** là dạng đầu tiên được biết đến của nghịch lý người nói dối. Phiên bản phổ biến phát biểu như sau: "Epimenides, một người dân của đảo Kríti, đã nói: Tất cả dân đảo Kríti đều là kẻ nói dối."

Bối cảnh lịch sử
----------------

Nguồn gốc của nghịch lý này xuất phát từ kinh Tân Ước, trong thư gửi Tít 1,12, sứ đồ Phaolô viết về dân đảo Kríti (Cơ-rết) đã trích dẫn lời nói của một tiên tri vô danh ở xứ này, phát biểu như sau:

12Một người trong bọn họ, tức là bậc tiên tri của họ, có nói rằng: Người Cơ-rết hay *(thay)* nói dối, là thú dữ, ham ăn mà làm biếng.
Câu trích dẫn "người Cơ-rết hay nói dối, là thú dữ, ham ăn mà làm biếng" là một dạng thơ lục ngôn của Hy Lạp xuất phát từ thi ca phi chính thống. Về sau, Clement thành Alexandria (150 – 215 CN) xác định "bậc tiên tri" trong bức thư của thánh Phaolô chính là Epimenides (khoảng thế kỷ 6-7 TCN).

Năm 1908, nghịch lý này được Bertrand Russell đưa lên hàng đầu tiên trong danh sách các nghịch lý toán-logic, và trở thành một vấn đề của triết học hiện đại và toán học logic. Russell đưa nghịch lý này vào dưới dạng trích dẫn nhận xét về dân đảo Kríti như ở trên. Tiếp đó, Russell lại rút gọn nghịch lý này thành câu phát biểu: "Một người nói: Tôi đang nói dối", đây chính là nghịch lý kẻ nói dối của Eubulides.

Nghịch lý logic
---------------

Thomas Fowler (1869) phát biểu nghịch lý như sau: "Epimenides người đảo Kríti nói rằng tất cả các dân đảo Kríti là những kẻ nói dối, nhưng Epimenides cũng là một dân đảo này, vì vậy ông cũng là một kẻ nói dối. Nhưng nếu ông ta là một kẻ nói dối, thì những gì ông nói đều không đúng sự thật, và do đó các dân đảo Kríti là những người thật thà, nhưng Epimenides là một người dân của đảo này, và do đó những gì ông nói đều đúng sự thật. Vì vậy chúng ta cứ chứng minh vòng vòng, giữa Epimenides và các dân đảo Kríti là nói thật và nói dối ".

Liên kết ngoài
--------------

* Bertrand Russell (Juli 1908). "Mathematical Logic as Based on the Theory of Types". *American Journal of Mathematics, Vol. 30, No. 3* (bằng tiếng Anh). Johns Hopkins University Press. tr. 222–262. Truy cập ngày 6 tháng 1 năm 2013. Kiểm tra giá trị ngày tháng trong: `|ngày tháng=` (trợ giúp)
* William C. Kneale (tháng 11 năm 1971). "Russell's Paradox and Some Others". *The British Journal for the Philosophy of Science, Vol. 22, No. 4* (bằng tiếng Anh). Oxford University Press. tr. 321–338. Truy cập ngày 6 tháng 1 năm 2013.
* Dr. Christoph Zimmer (2006). "Die Lügner-Antinomie in Titus 1,12" (PDF). *Linguistica Biblica 59, 1987, S. 77-99, 2. Ed. 2006. 2. Ed.* (bằng tiếng Đức). Bản gốc (PDF) lưu trữ ngày 3 tháng 11 năm 2013. Truy cập ngày 6 tháng 1 năm 2013.

Chú thích
---------

1. ↑  **(tiếng Đức)** Er stammt nicht aus einem Vierzeiler des Gedichts „Cretica", denn dieser ist eine moderne Konstruktion, die nachlesbar ist in: James Rendel Harris: The Cretans always liars, in: The Expositor, Volume II, 1906, S.305-317. Harris: A further note on Cretans, in: The Expositor, Volume III 1907, S. 332-337; dort S. 336 der konstruierte Vierzeiler vom Autor selbst bewertet mit „Perhaps that will do for a first attempt to restore the lost passage of Epimenides".
2. ↑  **(tiếng Đức)**Diels-Kranz: Die Fragmente der Vorsokratiker, Auflage 2005, I 3B1
3. ↑  Bertrand Russell: *Mathematical logic as based on the theory of types', in:* American Journal of Mathematics *30 (1908), tr. 222.*
4. ↑  Bertrand Russell, Alfred N. Whitehead: *Principia Mathematica*, Band I (1910), tr. 63.
5. ↑  Fowler, Thomas (1869). *The Elements of Deductive Logic* (ấn bản 3). Oxford: Clarendon Press. tr. 163. Truy cập ngày 1 tháng 4 năm 2011.