嘘つきのパラドックス

01概要カード

「この文は偽である」という文が、真と仮定しても偽と仮定しても矛盾する自己言及のパラドックス。

「この文は偽である」——この文が真なら、書いてある通り偽でなければならない。逆に偽なら、書いてあることと違うのだから真になる。どちらに転んでも矛盾するこの文は、文が自分自身に言及するときに生じる不具合の代表例である。単なる言葉遊びに見えて、実は「真理とは何か」「言語はどこまで自分自身を語れるのか」という、論理学の土台に関わる問題として、古代から現代まで扱われ続けている。

このページのポイント

• 核心は自己言及：「この文は偽である」は真でも偽でも矛盾する
• クレタ人の逸話は伝承としての形で、純粋な形は「この文」型の定式化
• 主な応答：真理述語に階層を持たせるタルスキ説、真理値の欠けた文を認めるクリプキ説など

タグ: 自己言及 / パラドックス / 真理 / タルスキ

関連エントリ

02対話編：ヒロシとミカ

（帰り道。ヒロシがスマホのプロフィール文をいじっている）

ヒロシ

プロフィールに「このプロフィールの内容はすべてウソです」って書いたら面白くない？

ミカ

それ、本当だったらウソになるし、ウソだったら本当のことが混ざってることになるよ。自分で自分を踏んでる文だね。

ヒロシ

踏んでる？　ていうか、真でも偽でもおかしくなるってこと？

ミカ

そう。「この文は偽である」は、真なら書いてある通り偽、偽なら書いてあることと違うから真になる。嘘つきのパラドックスって呼ばれるやつ。

ヒロシ

じゃあクレタ人が「クレタ人はみんな嘘つき」って言った、って逸話も同じやつ？

ミカ

似てるけど、そっちは「みんな」がいつも嘘とは限らない、っていう逃げ道があるんだ。純粋に詰まるのは「この文」型のほうみたい。

ヒロシ

ほんとだ、「たまに本当を言う人」が一人いれば崩れるもんな。俺、さっきまで同じものだと思ってた。

ミカ

私も最初は言葉遊びだと思ってた。でも「真って何か」を詰めると、意外と核心なんだよね。

ヒロシ

じゃあプロフィールは「このプロフィールの9割は本当です」にしとく。残り1割は、ほら、逃げ道。

03データ編

定式化

文Lを「Lは偽である」という内容の文とする。Lが真であると仮定すると、Lの主張する通りLは偽になる。Lが偽であると仮定すると、Lの主張は成り立たないのだからLは真になる。どちらの仮定からも反対の結論が出てしまい、真偽の割り当てが定まらない。

問題の部品は3つある。自分自身を指す言及（自己言及）、「真である」「偽である」という真理述語、そして「すべての文は真か偽のどちらかである」という前提（排中律・二値原理）である。どの部品を疑うかによって、解決の方向が変わる。

エピメニデスの逸話

このパラドックスの起源は、古代ギリシャのクレタ人エピメニデスに帰される「クレタ人はみな嘘つきである」という言葉だと伝えられる。新約聖書の「テトスへの手紙」にも、この言葉を引いた一節がある。ただしこれは後世の伝承の中で整えられた逸話であり、エピメニデス本人がこの形で述べた史実として確認できるわけではない。

しかもこの形には厳密には抜け道がある。「みな嘘つき」が「常に嘘をつく」の意味なら、その発言自体も嘘となり、クレタ人の中に本当のことを言う者がいることになるが、それは矛盾ではなく単なる自己否定で済む。逃げ道のない純粋な形は、近世以降に「この文は偽である」という自己言及文として定式化されたものである。前身とされる人物としては、紀元前4世紀のエウブリデスが「嘘をついている人」の論証を考案したことも伝えられている。

主な応答

アルフレッド・タルスキは1930年代に真理の意味論的定義を与え、十分に豊かな言語が自分自身の真理述語を含むとパラドックスが避けられないことを示した（真理の定義不可能性）。ソール・クリプキは1975年の論文で、真理値がまだ定まっていない文を許す構成を提案し、日常言語の真理述語を丸ごと捨てずに扱う道を開いた。どの応答も一長一短があり、決着のついた問題ではない。

ゲーデルとの親近性

クルト・ゲーデルの不完全性定理（1931年）は、嘘つきのパラドックスとよく並べて語られる。証明の鍵は、形式体系の中に「この文は証明できない」という内容を持つ自己言及文を構成する技術（対角化）であり、自己に言及する文を作るという発想は両者に共通する。

ただし両者は同じものではない。嘘つきの文が「真理」をめぐって矛盾を生むのに対し、ゲーデルの文は「証明可能性」をめぐるもので、矛盾ではなく「証明も反証もできない真なる文の存在」という結論を導く。親戚ではあるが、問題の種類は別である。

04AI分析

意見が分かれる分岐点

分かれ目は、パラドックスの責任をどの部品に帰すかである。真理述語の使い方（言語の階層）に帰せばタルスキ型、真偽の二分法に帰せばクリプキ型のギャップ説や矛盾許容論理、自己言及そのものを疑えば自己言及の制限へ進む。どの部品も日常の言語使用では自然に使われているため、犠牲にする対象の選び方で立場が分かれる。

前提の違い

• すべての文は真か偽のどちらかである（二値原理）を守るかどうか
• 自然言語の真理述語を、矛盾なく一貫したものとして再構成できるかどうか
• パラドックスを「排除すべき欠陥」と見るか、「言語の限界を示す発見」と見るか

現代への接続

• プログラムの自己参照や、停止問題など計算機科学の限界の議論との構造的な類似
• データベースや知識ベースが自己言及的な規則を含むときの矛盾検出
• AIが生成した文の真偽をAI自身が評価する場面での、自己言及の扱い
• 「この主張はフェイクニュースである」のような、真偽判定が循環する日常の言説

※ AI分析は事実の整理と解釈の提示であり、特定の立場への断定ではありません。

05出典・参考文献

• Stanford Encyclopedia of Philosophy, “Liar Paradox”
• アルフレッド・タルスキ「真理の意味論的概念と意味論の方法」（1936年講演、1944年英訳）
• ソール・クリプキ「真理の理論の概要」（1975年）
• 新約聖書「テトスへの手紙」1章12節（エピメニデスの言葉の引用を含む）

書籍リンクは収益ゾーンとしてこの出典セクションに置く方針（試作では実際のリンクは入れていません）。