エピメニデスのパラドックス
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/05/31 09:54 UTC 版)
概要
この問題を表す文は一種類に決まっているわけではない。以下に典型的バリエーションを示す。
『テトスへの手紙』にエピメニデスへの言及があり、「クレテ人のうちのある預言者が『クレテ人は、いつもうそつき、たちの悪いけもの、なまけ者の食いしんぼう』と言っている」とある[2]。
エピメニデスが言ったことが真実かどうかを考えることで、一般に自己言及のパラドックスが生じる。ただし、エピメニデスが自身以外に正直者のクレタ人を少なくとも1人知っていたとしたら、彼のこの言は単なる嘘であってパラドックスではなく、論理的矛盾を生じない。「全てのクレタ人は嘘つきだ」の否定は「クレタ人には嘘をつかない人もいる」であり、「クレタ人には嘘つきもいる」という文と同時に真となることがある。
歴史
エピメニデスは哲学者で宗教的予言者でもあり、クレタの一般的感情に反して、ゼウスの不死性を以下のような詩の形で表明した。
かれらは高貴なるあなたのために墓を建てた
クレタ人は、いつもうそつき、たちの悪いけもの、なまけ者の食いしんぼうだ!
しかしあなたは死んでいない: あなたは永遠に生き続ける
あなたがいるからこそ、我々は生かされている。 — Epimenides、Cretica
ゼウスの不死性を否定するから、クレタ人は嘘つきだとしている。当然ながらエピメニデスが「クレタ人」と言ったときそれが「自分以外のクレタ人」を指しているのは明らかである。この「クレタ人はいつも嘘つき」という部分だけを詩人カリマコスが Hymn to Zeus で引用し、エピメニデスと同様の宗教的信念を表明した。『テトスへの手紙』では、この2行目全体が引用されている。
クレテ人のうちのある預言者が「クレテ人は、いつもうそつき、たちの悪いけもの、なまけ者の食いしんぼう」と言っているが、
この非難はあたっている。だから、彼らをきびしく責めて、その信仰を健全なものにし、
ユダヤ人の作り話や、真理からそれていった人々の定めなどに、気をとられることがないようにさせなさい。 — Epistle to Titus、 1:12-13[3]
全てのクレタ人が嘘つきだとクレタ人が断言することの論理的矛盾は、エピメニデスもカリマコスも気づいていなかったかもしれない。本来の文脈では、エピメニデスは「自分以外のクレタ人」という意味で述べており、自己言及という意識は全くなく、従って論理的問題ではなかった。エピメニデスは単に(自分以外の)クレタ人がゼウスの不滅性を否定したことを告発しただけである。このクレタの詩人が強烈な論理的問題を提示したとするよりも、誇張法(故意の誇張)と呼ばれる比喩を使ったと理解する方がまったく自然である。エピメニデスとエピメニデスのパラドックスがいつごろ結び付けられるようになったのかは不明である。エピメニデスは彼の文「クレタ人はいつもうそつきだ」でどんな皮肉もパラドックスも意図しておらず、カリマコスもテトスもそれは同様である。論理的矛盾はエピメニデスの詩ではなく、聖パウロの書簡に存在する。
- テトスへの手紙の中で、パウロは「クレタ人はいつもうそつき」だから彼らはキリスト教という唯一の真理を信じていないとテトスに警告した。パウロは彼の主張の根拠としてエピメニデスを引用した。彼は(いつもうそつきのはずの)クレタ人の言葉を使って「クレタ人はいつもうそつきだ」と主張し、同時に(クレタ人である)エピメニデスが確かに本当のこと(クレタ人はいつもうそつきだ)を言っていると結論しており、矛盾を生じさせた。
アウグスティヌスは Against the Academicians (III.13.29) にてエピメニデスやテトスに言及することなく嘘つきのパラドックスについて述べている。中世においては様々な形式の嘘つきのパラドックスが insolubilia の名で研究されたが、そこにエピメニデスの名は明確には出てこない。ピエール・ベールの『歴史批評辞典』第2巻(1740年)には明確にエピメニデスのパラドックスが収録されているが、ベール自身はこのパラドックスを「詭弁」に分類していた[4]。
論理的分析
「嘘つき」とは決して信用できない者だと定義する。すると「クレタ人はみな嘘つきである」という文をエピメニデスのようにクレタ人が発したとすると、その者の発言も信用できないことになり、クレタ人には嘘つきでない者もいるということになる。一部の論理学者はエピメニデスのパラドックスを嘘つきのパラドックスと同じものとして扱ってきた。
例えば1869年にトーマス・ファウラーは著書で次のように述べている。
エピメニデスは『クレタ人はみな嘘つきだ』と述べたが、エピメニデス自身もクレタ人だった。従って彼自身も嘘つきである。しかし、彼が嘘つきなら彼の発言は真実ではないことになり、結果としてクレタ人は正直者だということになる。しかしエピメニデスもクレタ人であるから、彼の発言も真実だということになり、クレタ人は嘘つきだということになる。エピメニデス自身も嘘つきだから、彼の発言は嘘だということになる。このように我々はエピメニデスとクレタ人が信じられるということと信じられないということを交互に結論することになる — Thomas Fowler、The Elements of Deductive Logic[5]
しかし、「クレタ人がみな嘘つきというわけではない」から「クレタ人は正直者だ」を導き出すのは妥当ではない。
この文が偽であるとみなせば、矛盾しない解釈や分析はいくつか存在する。この単純な文「クレタ人はみな嘘つきである」の真理値として「偽」を割り当てても一貫して逆説とはならない解釈が存在する。すなわち、正直者のクレタ人が存在するなら「クレタ人はみな嘘つきである」という類の文は偽であるし、エピメニデスは単に嘘をついたと見なすことができる。
ある解釈においては興味深い非対称性が生じる。この文が真だとするとそれが偽であることがはっきりと示されるが、この文がそれ自身を特に指していると解釈しなければ(つまりクレタ人の言葉全般について述べていると解釈する)、それ自体の真偽を示さずに偶然から偽となることもありうる。
当然、この文のようなパラドックスについてのどのような論理的考え方も「すべてのクレタ人」が「嘘つき」だと解釈するかぎり失敗する。通常の文脈では、このような文は全てのクレタ人が「常に」嘘をつくとか、「彼らは嘘だけを述べる」と解釈することはない。「クレタ人はいつも嘘つきだ」と言われても、言葉の様々な意味を考慮すればパラドックスは生じない。例えば「ジョンはいつも No と言う」と言った場合、ジョンが常に "No" という単語しか発しないという意味ではない。実際、歴史に名を残した嘘つきでも時には本当のことを言っており、ある人物の「全ての発言」が嘘だという解釈はあまりにも単純すぎる。「いつも」という言葉は「全ての例において」と一般に解釈され、「あなたが出会うクレタ人は誰も嘘つきだろう」と言う場合の「嘘つき」は単に「嘘をつくことがある人」という以上の意味はない。
エピメニデスの言葉をパラドックスとして扱う場合、もっと難しい論理問題である自己言及のパラドックス、ラッセルのパラドックス、ブラリ=フォルティのパラドックスなどと密接に関連付けられる。これらはいずれも自己言及を特徴とする。実際、エピメニデスのパラドックスは自己言及のパラドックス(嘘つきのパラドックス)の一種として扱われ、時には区別されないこともある。自己言及の研究は20世紀における論理学と数学の発展に重要な役割を果たした。
- ^ ホフスタッター 1985, p. 32.
- ^ Titus 1:12 2021年11月23日閲覧。
- ^ Titus 1:12-1:13 2021年11月23日閲覧。
- ^ Pierre Bayle (January 1740) (フランス語). Dictionnaire historique et critique. 2. Chez P. Brunel, P. Humbert, J. Wetstein. p. 414 2021年11月23日閲覧. "qu'Epimenide"
- ^ Thomas Fowler (January 1869) (英語). The Elements of Deductive Logic: Designed Mainly for the Use of Junior Students in the Universities. Clarendon Press. p. 163 2021年11月23日閲覧. "Epimenides"
- ^ ホフスタッター 1985.
- 1 エピメニデスのパラドックスとは
- 2 エピメニデスのパラドックスの概要
- 3 言及・参照
- 4 脚注
- エピメニデスのパラドックスのページへのリンク