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."

Thumb
Epimenides

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.[1] 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).[2]

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.[3] 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.[4]

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 ".[5]

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

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.