当サイトを閲覧いただきありがとうございます。 本記事は「嘘つきのパラドックス」について解説します。
「この文は嘘である」──たったこの一文が、2000年以上にわたって論理学者や哲学者を困らせてきました。真でも偽でもない、あるいは真でもあり偽でもある。この奇妙な文章が突きつける問題は、論理学の基盤そのものを揺るがすほどの破壊力を持っています。
嘘つきのパラドックスとは
まず「この文は嘘である」という文を考えてみましょう。
もしこの文が真だとします。文の内容は「この文は嘘である」なので、この文は嘘ということになります。嘘であるなら、この文は偽です。真だと仮定したのに偽になってしまいました。
では、この文が偽だとします。「この文は嘘である」が偽なら、この文は嘘ではない、つまり真ということになります。偽だと仮定したのに真になってしまいました。
真だと仮定すると偽になり、偽だと仮定すると真になる。どちらの結論にも安定して着地できない。これが嘘つきのパラドックスです。
古代ギリシアの原型
このパラドックスの最も古い形は、紀元前6世紀のクレタ島の哲学者エピメニデスによるものだとされています。クレタ人であるエピメニデスが「クレタ人は皆嘘つきだ」と言ったという話です。
もしエピメニデスの発言が真なら、クレタ人は皆嘘つきなので、クレタ人であるエピメニデスも嘘つきです。すると彼の発言は嘘ということになり…。
ただし、厳密にはエピメニデス版は純粋なパラドックスにはなりません。「クレタ人は皆嘘つきだ」が偽であっても、「一部のクレタ人は正直者」という可能性があり、エピメニデスが嘘つきのクレタ人であれば矛盾なく成立するからです。
より純粋な形にしたのが「この文は偽である」という自己言及的な一文で、これはエウブリデスという古代ギリシアの哲学者が定式化したとされています。
自己言及の危険性
嘘つきのパラドックスの原因は、発言がその発言自身の真偽を参照している（真偽の自己言及）ところにあります。
普通の文、例えば「東京は日本の首都である」は、東京という外部の対象について語っています。だから真偽の判定に困ることはありません。
しかし「この文は嘘である」は、発言が自分自身の真偽について語っています。自分の真偽を判定するために自分の内容を参照し、自分の内容を理解するために自分の真偽を知る必要がある。この循環構造がパラドックスを生んでいるのです。
「私は嘘つきだ」もパラドックスになるのか
ここで疑問に思う方もいるかもしれません。「文でなく人が言っても同じでは？」というものです。たとえば、誰かが「私は嘘つきだ」と言った場合もパラドックスになるのでしょうか。
実はなりません。「私は嘘つきだ」は、その人の性格や習慣についての主張であって、その発言自身の真偽を参照しているわけではないからです。
・本当によく嘘をつく人が言えば → 真（矛盾なし） ・正直な人が言えば → 偽（矛盾なし）
どちらに仮定しても矛盾が生じません。「東京は日本の首都である」と同じように、外部の対象（自分の習慣）について述べているだけです。
では人が言ってパラドックスが生じるとしたら、どのような場合でしょうか。それは「私が今この瞬間に言っていることは嘘だ」と言った場合です。この発言は人が口にしていますが、この発言自身の真偽を直接参照しているため、「この文は嘘である」とまったく同じ構造になります。
つまり、パラドックスの本質は「文か人か」ではなく、「その発言がそれ自身の真偽を参照しているかどうか」にあります。主語が「この文」であっても「私が今言っていること」であっても、自分自身の真偽を問題にしている限り、同じ矛盾が生じるのです。
現代数学への影響
嘘つきのパラドックスは単なる言葉遊びではなく、20世紀の数学と論理学に革命的な影響を与えました。
1931年にクルト・ゲーデルが発表した不完全性定理は、嘘つきのパラドックスの構造を巧みに利用しています。ゲーデルは「この命題は証明できない」という数学的命題を構成し、それによって数学には「真だが証明できない命題」が必ず存在することを示しました。
また、アラン・チューリングの停止問題も同様の自己言及構造を利用しています。「自分自身が停止するかどうかを判定するプログラム」を考えると矛盾が生じることから、あらゆるプログラムの停止判定を行う万能プログラムは存在しないことが証明されました。
このように、嘘つきのパラドックスの「自己言及による矛盾」という構造は、数学やコンピュータ科学の根幹に関わる重大な発見につながっているのです。
解決策はあるのか
嘘つきのパラドックスに対する解決策はいくつか提案されています。
バートランド・ラッセルは「階型理論」を提案し、文が自分自身について語ることを禁止するルールを設けました。文は自分より低い階層の文についてしか語れないとするものです。
アルフレッド・タルスキは「真理のレベル分け」を行い、ある言語の中の文の真偽は、その言語自身では判定できず、より上位のメタ言語で判定しなければならないとしました。
より最近では、ソール・クリプキが1975年に提唱した「真理の固定点理論」が有力視されています。この理論では、嘘つきの文には真でも偽でもない第三の値（「未定義」）が割り当てられます。古典論理の二値性を放棄することで矛盾を回避する方法です。
これらの解決策はそれぞれ一定の有効性がありますが、完全にこの問題を消し去ったとは言い切れないというのが正直なところです。どの解決策にも代償があり、嘘つきのパラドックスはいまだ論理学と哲学の活発な研究テーマであり続けています。
自己言及の関連パラドックス
嘘つきのパラドックスと同じく自己言及が生む論理的矛盾を扱う関連パラドックスです。
まとめ
本記事は「嘘つきのパラドックス」について解説しました。如何だったでしょうか。
たった一文で論理学の基盤を揺るがし、現代数学の不完全性定理やコンピュータ科学の停止問題にまでつながったこのパラドックスは、人類の知的遺産の中でも特にインパクトの大きいものと言えるでしょう。
パラドックスの一覧に戻りたい方は以下のリンクからどうぞ。
それでは次の記事も閲覧いただけると幸いです。
