自己言及 on kenji.blog

言葉が自分自身を描写する時：グレリング＝ネルソンのパラドックス

Thu, 10 Sep 2026 21:00:00 +0900

言葉は世界を記述するための道具ですが、言葉そのものを記述しようとした時、論理は予期せぬ落とし穴にハマることがあります。

1908年にクルト・グレリングとレナード・ネルソンによって考案された**「グレリング＝ネルソンのパラドックス（Grelling-Nelson Paradox）」**は、まさにその「言葉が言葉を定義する」ことの限界を突きつける、意味論の有名なパラドックスです。

言言葉を2つに分類する

グレリングとネルソンは、すべての形容詞（言葉）を以下の2つのグループに分類できると考えました。

自己記述的（Autological）: その言葉自身が、その言葉の意味する性質を持っているもの。
非自己記述的（Heterological）: その言葉自身が、その言葉の意味する性質を持っていないもの。

例を見てみましょう

自己記述的な言葉の例：

「短い（short）」：この言葉自体が短いです。
「英語の（English）」：この言葉自体が英語です。
「名詞（noun）」：この言葉は名詞です。
「五音節の（pentasyllabic）」：英語で「pen-ta-syl-lab-ic」は5つの音節を持ちます。

非自己記述的な言葉の例：

「長い（long）」：この言葉自体は短く、長くありません。
「ドイツ語の（German）」：この言葉は日本語（または英語）であり、ドイツ語ではありません。
「目に見えない（invisible）」：この言葉は今、画面や紙の上にしっかりと見えています。

ここまでは単なる言葉遊びのように見えます。すべての言葉は、自分の意味を体現しているか、していないかのどちらかに必ず分類できるはずです。

致命的な質問：パラドックスの発生

では、ここからがパラドックスの始まりです。次の一語について考えてみましょう。

「非自己記述的（Heterological）」という言葉自体は、自己記述的でしょうか？それとも非自己記述的でしょうか？

この問いに対して、私たちはどちらの答えを選んでも矛盾に直面します。

ケース1：「非自己記述的」は『自己記述的』であると仮定する

もし「非自己記述的（Heterological）」という言葉が「自己記述的」であるとすれば、定義により「その言葉自身が意味する性質を持っている」ことになります。しかし、この言葉の意味は「非自己記述的」であることです。つまり、「非自己記述的」という性質を持っているということは、それは「非自己記述的」だということになります。 自己記述的だと仮定したのに、結果は非自己記述的になってしまいました。（矛盾）

ケース2：「非自己記述的」は『非自己記述的』であると仮定する

もし「非自己記述的（Heterological）」という言葉が「非自己記述的」であるとすれば、定義により「その言葉自身が意味する性質を持っていない」ことになります。この言葉の意味は「非自己記述的」ですから、その性質を持っていないということは、「自己記述的」だということになります。 非自己記述的だと仮定したのに、結果は自己記述的になってしまいました。（矛盾）

どちらに転んでも論理が崩壊してしまうのです。

graph TD A["単語『非自己記述的』(Heterological)"] --> B{"どちらに分類される？"} B -->|自己記述的である| C["定義: 自身の意味する性質を持つ"] C --> D["自身の意味は『非自己記述的』"] D --> E["結果: 非自己記述的である！"] E -->|矛盾| B B -->|非自己記述的である| F["定義: 自身の意味する性質を持たない"] F --> G["自身の意味は『非自己記述的』"] G --> H["結果: 自己記述的である！"] H -->|矛盾| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

数学・論理学との繋がり：ラッセルのパラドックスの親戚

このパラドックスは、「消えた1ドルの謎」のような単純な計算ミスや錯覚ではありません。数学の基礎を揺るがしたラッセルのパラドックス（「自分自身を含まないすべての集合の集合は、自分自身を含むか？」）と本質的に同じ構造を持っています。

グレリング＝ネルソンのパラドックスは、ラッセルのパラドックスの意味論（言葉の意味）バージョンとも言えます。

集合論におけるラッセルのパラドックス：

$$ R = \\{ x \mid x \notin x \\} $$

という集合を定義したとき、$R \in R$ か $R \notin R$ かを問うと矛盾する。

意味論におけるグレリング＝ネルソンのパラドックス： $Het(x)$ を「単語 $x$ が性質 $x$ を持たない（非自己記述的である）」と定義したとき、

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

という論理的な矛盾に陥る。

なぜこのパラドックスが重要なのか？

言葉が言葉自身を言及する（自己言及）とき、そこには無限ループのようなエラーが発生する危険が常に潜んでいます。

これは哲学や言語学だけの問題ではありません。コンピュータサイエンスや人工知能の分野でも、プログラムが自分自身のコードを評価・修正しようとする際や、自然言語処理モデルが意味の矛盾を解釈する際に、似たような論理の壁に直面します。

グレリング＝ネルソンのパラドックスは、「言語」というシステムが本質的に内包しているバグ（限界）を、見事に可視化した思考実験なのです。

師匠と弟子、どちらが勝っても矛盾する裁判：プロタゴラスのパラドックス

Thu, 10 Sep 2026 21:00:00 +0900

古代ギリシャ、最も偉大なソフィスト（弁論術の教師）であるプロタゴラスに、エウアトロスという若者が弟子入りしました。二人の間には、次のような授業料の支払い契約が結ばれました。

契約内容： エウアトロスは弁論術の全課程を修了した後、最初の裁判に勝訴した時点で、授業料の残額をプロタゴラスに支払う。

エウアトロスは優秀な生徒で、弁論術の全課程を立派に修了しました。しかし修了後、彼はなぜか一件も裁判を引き受けようとしません。裁判に出なければ「最初の裁判に勝訴する」という条件が永遠に満たされないため、授業料を払う必要がないからです。

業を煮やしたプロタゴラスは、エウアトロスを裁判所に訴えました。「授業料を払え」と。

そしてここから、論理の迷宮が始まります。

師匠プロタゴラスの論理

プロタゴラスは法廷でこう主張しました。

「裁判官よ、どう転んでも私の勝ちです。

もしこの裁判で私が勝てば、裁判所の判決によりエウアトロスは私に授業料を支払わなければなりません。
もしこの裁判で私が負ければ、エウアトロスにとって『最初の裁判に勝訴した』ことになります。つまり契約の条件が満たされ、彼は契約によって授業料を支払わなければなりません。

どちらの場合でも、彼は授業料を支払う義務があります」

弟子エウアトロスの論理

これに対して、エウアトロスも負けていません。

「裁判官よ、どう転んでも私の勝ちです。

もしこの裁判で私が勝てば、裁判所の判決により私は授業料を支払う必要がありません。
もしこの裁判で私が負ければ、私はまだ『最初の裁判に勝訴して』いません。つまり契約の条件が満たされていないため、契約上、私は授業料を支払う義務がありません。

どちらの場合でも、私は授業料を支払う必要がありません」

graph TD A["裁判の結果"] --> B["プロタゴラスが勝訴"] A --> C["エウアトロスが勝訴"] B --> B1["判決: エウアトロスは支払う"] B --> B2["契約: エウアトロスは勝訴していない → 支払わなくてよい"] C --> C1["判決: エウアトロスは支払わなくてよい"] C --> C2["契約: エウアトロスの初勝訴 → 支払わなければならない"] B1 --> D{"矛盾！判決 vs 契約"} B2 --> D C1 --> E{"矛盾！判決 vs 契約"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

なぜ矛盾するのか

このパラドックスが生じる根本原因は、2つの異なるルールシステム（法律と契約）が互いに矛盾する判断を下すことにあります。

法律のルール：裁判所の判決に従え。
契約のルール：「最初の裁判に勝訴したら支払う」という条件に従え。

通常、法律と契約はそれぞれ独立したドメインとして機能しますが、プロタゴラスが「授業料の支払い」を裁判の争点としたことで、この裁判の結果自体が契約の条件に影響を与えてしまい、ふたつのシステムが自己言及的なループに陥ったのです。

法学者たちの回答

古代ローマの法学者アウルス・ゲッリウスは、この問題に次のような解決策を提示しました。

「裁判所はエウアトロスに有利な判決（支払い不要）を下すべきである。なぜなら、契約の条件がまだ満たされていないのは事実だからだ。しかし、この判決の後、プロタゴラスはエウアトロスを再度訴えることができる。なぜなら、最初の裁判でエウアトロスが勝訴したことにより、契約の条件が満たされたからだ。二度目の裁判では、プロタゴラスが勝訴するだろう」

つまり、パラドックスを「1回の裁判で同時に解決しよう」とすると矛盾が生じるが、「2回に分けて」処理すれば矛盾は解消できるというのがこの回答です。

自己言及のパラドックスとの繋がり

プロタゴラスのパラドックスは、「嘘つきのパラドックス（『この文は嘘である』）」や「ラッセルのパラドックス」と同じ自己言及構造を持っています。ある命題（裁判の結論）が、自分自身の真偽を決定する条件（契約の成就）に影響を与えてしまうのです。

この種のパラドックスは、現代のコンピュータサイエンスにおける「停止問題（あるプログラムが停止するかどうかを判定するプログラムは作れない）」や、ゲーデルの不完全性定理など、論理と計算の根本的な限界を示す問題と深い関連があります。

プロタゴラスのパラドックスは、人間が作ったルールのシステム（法律や契約）が、巧妙な自己言及によって内部崩壊しうることを教えてくれる、2400年前からの警告なのです。

ベリーのパラドックス：「言葉」で「数字」を定義しようとすると生じる矛盾

Thu, 10 Sep 2026 11:00:00 +0900

1. 言葉で数字を表す

私たちは日常的に、数字を「アラビア数字（1, 2, 3…）」だけでなく、「言葉（日本語や英語）」を使って表現しています。

たとえば、「$10$」という数字は、次のように色々な言葉で表すことができます。

「じゅう」（3文字）
「ごの2ばい」（5文字）
「ひゃくの10ぶんの1」（9文字）

このように、ある数字を「日本語の文字」を使って説明することを考えてみましょう。使える文字の数には制限を設けます。ここでは**「19文字以内」**の日本語で表現できる数字について考えます。

当然ですが、19文字以内で表現できる数字には限界があります。日本語の文字（ひらがな、カタカナ、漢字など）の種類は有限ですし、それを19文字以下で並べる組み合わせも有限だからです（天文学的な数にはなりますが、無限ではありません）。

つまり、**「19文字以内の日本語では、どうしても表現しきれない巨大な整数」**が必ず存在することになります。

2. パラドックスの誕生

さて、ここからが本題です。「19文字以内の日本語では表現できない整数」は無数に存在します。その無数にある表現不可能な数の中から、**「一番小さいもの（最小の整数）」**を一つ見つけ出してきたとしましょう。

その数字を $X$ とします。 $X$ は、定義上「19文字以内の日本語では表せない数」の中で一番小さいものですから、次のように呼ぶことができます。

「じゅうきゅうもじいないであらわせないさいしょうのせいすう」

文字数を数えてみましょう。「じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う」 …おや？読点を抜いても25文字ありますね。これでは「19文字」を超えてしまっています。

では、少し表現を工夫して、漢字を使って短くしてみましょう。

「十九文字以内で表せない最小の整数」

さて、この日本語の文字数を数えてみてください。

なんと、**たったの「16文字」**です。

おかしなことになりました。私たちは今、$X$ という数字を**「十九文字以内で表せない最小の整数」という「16文字の日本語」を使って表現してしまった**のです！

graph TD Define["定義：
X = 19文字以内で表せない最小の整数"] --> CheckLength{"『十九文字以内で表せない最小の整数』
の文字数は？"} CheckLength -->|16文字である| Contradiction["矛盾！
X は『16文字』で表せてしまった！"] Contradiction --> Paradox["X は『19文字以内で表せない』のに
『19文字以内（16文字）で表せる』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

$X$ は「19文字以内で表せない」はずの数字なのに、まさにその定義の言葉自体が「16文字（19文字以内）」で $X$ を完璧に表現してしまっています。これが**「ベリーのパラドックス（Berry Paradox）」**です。

3. 誰がこのパラドックスを作ったのか？

このパラドックスは、1904年にオックスフォード大学の図書館員であったG.G. ベリー（G. G. Berry）という人物が考案しました。それを、20世紀を代表する天才数学者・哲学者であるバートランド・ラッセルが自身の論文の中で紹介したことで、世界中に広まりました。

（※英語の原論文では “The least integer not nameable in fewer than nineteen syllables”（19音節未満で名付けられない最小の整数）という表現が使われており、英語の音節数でパラドックスが成立するように作られています。）

4. なぜ矛盾が起きたのか？

このパラドックスの根本的な原因は、私たちが普段使っている「自然言語（日本語や英語など）」の持つ曖昧さと自己言及性にあります。

自然言語は数学の厳密さに耐えられない

数学の世界において、「数字を定義する」というのは非常に厳密な作業です（方程式や記号を使います）。しかし、ベリーのパラドックスでは、数学的な対象（整数）を、「表せる」「表せない」という人間の日常言語を使って定義しようとしました。

日常言語は非常に強力で柔軟ですが、その柔軟さゆえに「自分自身の文字数について言及する」といったアクロバティックなことができてしまいます。その結果、「定義そのものが、定義のルールを破る」という自己矛盾（自己言及のパラドックス）を引き起こしてしまったのです。

「名付けられる」とはどういうことか？

また、「16文字で表せる」という言葉の定義も曖昧です。「19文字以内で表せない最小の整数」というフレーズは、特定の具体的な数字（例えば $987654321...$ のような数）を直接指し示しているわけではありません。単に「条件を満たす数字があるはずだ」と間接的に記述しているだけです。

数学的には、「直接的に計算可能な形で表現すること」と、「間接的な条件を言葉で述べること」は明確に区別されなければなりません。この2つを混同して「16文字で表現できた！」と言い張っているところに、論理的なトリックが隠されています。

5. まとめと現代への影響

ベリーのパラドックスは、一見するとただの「言葉遊び」や「トンチ」のように思えます。しかし、この問題は20世紀の数学者たちに**「日常言語を使って数学の基礎を築くことの危険性」**を深く認識させるきっかけとなりました。

「言葉で数字を定義してはいけない。数学は完全に独立した厳密な記号だけで構築しなければならない」

このパラドックスは、後の数学の歴史を変える「ゲーデルの不完全性定理（数学には絶対に証明できない真理が存在する）」や、コンピュータ科学における「コルモゴロフ複雑性（情報をどれだけ短く圧縮できるかという理論）」など、最先端の学問へと繋がっていく重要な道標となったのです。

たった16文字の日本語が、数学の限界を暴き出した。それがベリーのパラドックスの美しさです。

抜き打ちテストのパラドックス：論理的に「絶対に不可能」なテストが行われる日

Thu, 10 Sep 2026 10:00:00 +0900

1. 先生の「絶対の宣言」

ある金曜日の帰り道、数学の先生が生徒たちに向かって、恐ろしい宣告をしました。

「来週の月曜日から金曜日のいずれかの日に、一度だけ『抜き打ちテスト』を実施する。 ただし、その日の朝の時点でお前たちが『今日がテストの日だ』と確実に予測できた場合、それは抜き打ちにならないので、その日にテストは実施しない」

この宣言を聞いて、生徒たちは震え上がりました。いつテストが行われるのか、毎日ビクビクしながら過ごさなければならないからです。しかし、クラスで一番の秀才であるA君が、突然ニヤリと笑って立ち上がりました。

「みんな、安心していいよ。来週、抜き打ちテストが行われることは絶対にあり得ない。論理的に不可能だ！」

A君は自信満々に、次のような「完璧な論理」を黒板に書き始めました。

2. A君の「完璧な論理」による証明

A君の証明は、**「金曜日」から時間をさかのぼって考える（後ろ向き推論）**という数学的なテクニックを使っています。

ステップ1：金曜日の可能性を消す

もし、月・火・水・木の4日間、ずっとテストが実施されなかったとしよう。すると、残された日は「金曜日」しかない。金曜日の朝の時点で、生徒たちは「残るは今日しかないので、間違いなく今日がテストだ！」と確実に予測できてしまう。先生の宣言によれば、「予測できた日は実施しない」のだから、金曜日に抜き打ちテストを実施することは論理的に不可能である。 よって、金曜日のテストは絶対にない。

ステップ2：木曜日の可能性を消す

金曜日にテストがないことが確定した。ということは、テストが実施される可能性がある最終日は「木曜日」だ。もし、月・火・水の3日間テストが実施されなかったとしよう。すると、残された可能性は木曜日しかない（金曜日はすでに消去済み）。木曜日の朝の時点で、生徒たちは「今日がテストだ！」と確実に予測できてしまう。 よって、木曜日のテストも絶対にない。

ステップ3：すべての曜日が消える

同じ論理を繰り返せばいい。木曜日がないなら、最終日は水曜日になる。よって火曜日までテストがなければ、水曜日の朝に予測できてしまうため、水曜日も消える。水曜日が消えれば、火曜日も消え、月曜日も消える。 結論：先生のルールを守る限り、月曜から金曜のどの曜日であっても、絶対に抜き打ちテストを実施することは不可能である！

graph TD Fri["金曜日の朝
（月〜木テストなし）"] -->|「金曜しかない」と予測可能| NoFri["金曜日はテスト不可"] Thu["木曜日の朝
（月〜水テストなし）"] -->|「金曜はないので今日しかない」と予測可能| NoThu["木曜日はテスト不可"] Wed["水曜日の朝"] -->|「木金はないので今日しかない」と予測可能| NoWed["水曜日はテスト不可"] Tue["火曜日の朝"] -->|同様に予測可能| NoTue["火曜日はテスト不可"] Mon["月曜日の朝"] -->|同様に予測可能| NoMon["月曜日はテスト不可"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

クラスの生徒たちは歓喜しました。A君の論理は完璧で、どこにも隙がないように見えました。彼らは週末を楽しく遊び呆け、テスト勉強など一切せずに月曜日を迎えました。

月曜日……テストはありませんでした。「ほらね！」火曜日……テストはありませんでした。「A君の言う通りだ！」

そして水曜日の朝。ガラッ！と教室のドアが開き、先生が入ってきて言いました。

「はい、机の上を片付けて。今から抜き打ちテストを始めるぞ！」

生徒たちはパニックに陥りました。「な、なぜだ！？水曜日にテストがあるなんて、全く予測していなかった！」

先生はニヤリと笑いました。 「ほら、お前たちは予測できなかっただろう？私の『宣言』は完全に正しかったし、ルール通りに抜き打ちテストは成立したのだよ」

3. 一体どこで論理が間違えていたのか？

A君の証明は完璧に見えたのに、なぜ現実には「完全な抜き打ちテスト」が成立してしまったのでしょうか？この問題はもともと「予期せぬ絞首刑のパラドックス」と呼ばれ、1940年代にスウェーデンの数学者レンナート・エクボムによって考案されて以来、哲学者や論理学者を悩ませ続けています。

実は、このパラドックスには「これが唯一絶対の正解だ」という統一的な見解がまだありません。しかし、いくつかの有力な解決へのアプローチが存在します。

アプローチ1：「知識のパラドックス（認識論）」

A君の推論の最大の落とし穴は、「先生の宣言は100%真実である」という前提を、自分自身の予測の中に組み込んでしまったことです。

先生の宣言は、「来週テストを行う（P）」と「予測できた日には行わない（Q）」の2つの条件から成り立っています。もし金曜日までテストがなかった場合、生徒は「宣言が正しいなら今日しかない」と考えますが、同時に「今日だと予測できるなら宣言のQに反する。ならばそもそもP（テストを行う）という宣言自体が嘘だったのではないか？」と疑う余地が生まれます。

「先生の言葉が絶対に正しい」という信念と、「論理的推論」が衝突した結果、生徒たちは「先生はテストをやらない」という誤った結論（信念）を抱いてしまい、その結果として、いつテストを出されても「予期せぬ（抜き打ち）」状態になってしまったのです。

アプローチ2：「自己言及のパラドックス」

先生の言葉を論理式に直してみましょう。先生の主張を $S$ とします。 $S = $ 「私はある日 $T$ にテストを行う。かつ、お前たちはその日 $T$ を予測できない。」

この主張は、自分自身（宣言）を生徒たちがどう受け取るかによって真偽が変わる、**「自己言及的な構造」**を持っています。「嘘つきのパラドックス（『この文は嘘である』）」と同じように、論理的な推論をぐるぐると無限ループさせてしまう性質があるのです。

4. 日常生活に潜む「抜き打ちテスト」

このパラドックスは、数学だけでなく、私たちの身近な生活にも応用されます。

【サプライズ・パーティーのジレンマ】

「今月、君の誕生日にサプライズパーティーをするよ！」と友人が宣言したとします。これを聞いたあなたは、「今日かな？明日かな？」と毎日予想します。月末の最終日になってもパーティーがなかったら、「サプライズ（予想できない）」という条件を満たすためには、最終日には絶対にできないはずだ……と推論してしまいます。しかし現実には、適当な中旬に突然ケーキが出てくれば、あなたは「本当にびっくりした！」と完璧なサプライズを受けてしまうのです。

5. まとめ

「抜き打ちテストのパラドックス」は、人間の**「知っている（予測している）」という状態そのものを論理の計算に含めることの難しさ**を見事に表現しています。

私たちが「完璧な推論」だと思っているものは、実は「相手がルールを絶対に守る」という根拠のない信念の上に成り立っている砂上の楼閣に過ぎないのかもしれません。次に先生が「抜き打ちテストをするぞ」と言ったら、論理をこねくり回すのはやめて、大人しく毎日勉強しておくのが一番合理的だと言えそうです。