帰納法 on kenji.blog

エメラルドは緑色か、それとも「グルー」色か？：グッドマンの新しい帰納の謎

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

私たちは「過去の経験」から「未来」を予測します。「太陽は昨日も東から昇ったから、明日も東から昇るだろう」「今まで見たエメラルドはすべて緑色だったから、次に掘り出されるエメラルドも緑色だろう」

このような推論を「帰納法」と呼び、すべての科学の基礎となっています。しかし1955年、哲学者ネルソン・グッドマンは、この帰納法が根本的な欠陥を抱えていることを示す、奇妙な色の概念を考案しました。それが**「グルー（Grue）」のパラドックス**です。

新しい色「グルー（Grue）」の定義

グッドマンは、「緑（Green）」と「青（Blue）」を合成した「グルー（Grue）」という新しい性質（色）を次のように定義しました。

グルー（Grue）の定義： ある物体が「グルー」であるとは、特定の時間 $t$（たとえば西暦2030年1月1日）より前に観察された場合は「緑色（Green）」であり、時間 $t$ 以降に観察された場合は「青色（Blue）」であることを意味する。

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{時間} < t) \\ \text{Blue} & (\text{時間} \ge t) \end{cases} $$

この定義によれば、今現在（時間 $t$ より前）あなたが手に持っている緑色のエメラルドは、「緑色」であると同時に「グルー色」でもあります。

なぜそれがパラドックスなのか？

パラドックスは、私たちが未来を予測しようとした時に発生します。これまでに人類が観察してきたすべてのエメラルドは「緑色」でした。したがって、私たちは帰納法を用いて次のように予測します。

仮説A：「すべてのエメラルドは『緑色』である」

しかし、ちょっと待ってください。これまでに観察されたエメラルドは時間 $t$ より前のものなので、すべて「グルー色」でもあったはずです。したがって、全く同じ観察データから、次のような予測も成り立ちます。

仮説B：「すべてのエメラルドは『グルー色』である」

帰納法のルールに従うなら、過去のすべての観察が仮説Aを支持しているのと「全く同じ強さ」で、仮説Bも支持していることになります。

graph TD A["過去の観察: すべてのエメラルドは緑色だった"] -->|同時に| B["過去の観察: すべてのエメラルドは『グルー色』だった"] A --> C["帰納的予測 A: 未来のエメラルドも『緑色』だろう"] B --> D["帰納的予測 B: 未来のエメラルドも『グルー色』だろう"] C --> E["時間 t 以降も緑色のまま"] D --> F["時間 t 以降は『青色』になる！"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

エメラルドは青に変わるのか？

もし仮説Bが正しいとすれば、時間 $t$ が到来した瞬間に、世界中のすべてのエメラルドは一斉に「青色」に変わらなければなりません（グルーの定義より）。

私たちは直感的に「そんな馬鹿なことはない。仮説Bは不自然な言葉遊びであり、仮説A（緑色）の方が正しいに決まっている」と考えます。

しかし、グッドマンの問いかけはもっと深いところにあります。「緑色」と「グルー色」、どちらの仮説も過去のデータに完全に一致しているのに、なぜ私たちは「緑色」の予測だけを正当だとみなし、「グルー色」の予測を排除するのか？その「論理的な根拠」は何なのか？

「自然の斉一性」への挑戦

この問題を回避するために、「『緑』のような単純な概念を使うべきで、『グルー』のように時間を含んだ複雑な概念は使うべきではない」という反論が思い浮かびます。

しかしグッドマンは、逆に「ブリーン（Bleen：時間 $t$ までは青、それ以降は緑）」という色を定義すれば、「緑色」という概念自体が「時間 $t$ まではグルー、それ以降はブリーン」という時間依存の複雑な概念になってしまうことを示しました。つまり、どの言葉を「基本」とするかは、私たちの言語の習慣に過ぎないのです。

グッドマンの「グルー」のパラドックス（新しい帰納の謎）は、科学理論が単なる客観的なデータだけで決まるのではなく、私たちが「どのような概念の枠組み（言語）を使って世界を切り取っているか」に強く依存していることを証明しました。

AIや機械学習の文脈でも、学習データが同じであっても「モデルの構造（どの特徴に注目するか）」によって、未来に対する予測が全く変わってしまうという「過学習（オーバーフィッティング）」や「バイアス」の問題として、このパラドックスは現代でも重要な意味を持ち続けています。

青いリンゴを見ると「カラスは黒い」ことの証明になる？：ヘンペルのカラス

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

科学者はどのようにして理論を証明するのでしょうか？通常は、世界を観察し、データを集める「帰納法（きのうほう）」を用います。たとえば、「すべてのカラスは黒い」という仮説を証明したければ、世界中のカラスを観察して、それが黒いことを一つ一つ確認していくでしょう。

しかし1940年代、論理学者カール・ヘンペルは、この当たり前の科学的手法に隠された奇妙な論理の抜け穴を指摘しました。それが、**「青いリンゴや赤い靴を見るだけで、『カラスは黒い』という証拠になる」というヘンペルのカラス（Hempel’s Ravens）**のパラドックスです。

論理のすり替え：対偶の魔法

ヘンペルの主張を理解するためには、高校数学で習う**「対偶（たいぐう）」**という概念を思い出す必要があります。

論理学において、ある命題「AならばBである」が真であれば、その対偶「BでないならAでない」も必ず真になります（これを論理的同値と呼びます）。

仮説$H_1$：「すべてのカラスは黒い（カラスならば、黒い）」

この仮説$H_1$の対偶をとってみましょう。「黒くないならば、カラスではない」となります。

仮説$H_2$：「すべての黒くないものは、カラスではない」

論理学のルールによれば、$H_1$と$H_2$は**全く同じ意味（同値）**です。一方が証明されれば、自動的にもう一方も証明されたことになります。

カラスを見ずにカラスを証明する

さて、仮説$H_1$（カラスは黒い）を確かめるためには、黒いカラスを一羽見つけるごとに、仮説の確からしさ（証拠）が少し強まります。これは誰もが納得することです。

しかし、$H_1$と$H_2$は同じ意味なのですから、仮説$H_2$（黒くないものはカラスではない）の証拠を見つけることは、そのまま仮説$H_1$の証拠になるはずです。

では、$H_2$の証拠とは何でしょうか？「黒くなくて、カラスではないもの」を見つければよいのです。

テーブルの上に**「青いリンゴ」**があったとします。これは黒くなく、カラスでもありません。したがって、$H_2$を支持する証拠です。
クローゼットに**「赤い靴」**がありました。これも黒くなく、カラスでもありません。$H_2$の証拠です。
空に**「白い雲」**が浮かんでいます。これも$H_2$の証拠です。

$H_2$の証拠は$H_1$の証拠と同じ価値を持つため、論理的には次のような奇妙な結論が導き出されます。

「部屋の中で青いリンゴや赤い靴を観察すればするほど、『すべてのカラスは黒い』という仮説の正しさが証明されていく」

なぜ直感に反するのか？

青いリンゴを見て「カラスは黒い」と確信を深める鳥類学者は世界中どこにもいません。論理学的には完璧に正しいはずなのに、なぜ私たちの常識はこれを拒絶するのでしょうか？

哲学や統計学の世界では、このパラドックスに対するいくつかのアプローチが提案されています。

1. ベイズ主義的な解決法（情報量の違い）

現代の統計学（ベイズ確率）の観点からの最も有力な反論は、「証拠の強さ（情報量）」の違いに着目するものです。

世界には「黒いもの」よりも「黒くないもの」の方が圧倒的に多く、また「カラス」よりも「カラスではないもの」の方が天文学的に多く存在します。

青いリンゴを見たとき、それは確かに「すべてのカラスは黒い」ことの証拠にはなりますが、その証拠としての価値（確率の上がり幅）が限りなくゼロに近いのです。広大な宇宙の中にある無数の「黒くないもの」の一つを確認したところで、「カラスが黒い」という確率が上がる量は、砂漠から砂粒を一つ取り除く程度の影響しかありません。一方、黒いカラスを直接一羽見つけることは、圧倒的に大きな証拠としての価値を持ちます。

つまり、論理的には「青いリンゴは証拠になる」が、実用的には「証拠としての価値がゼロに等しいから無視してよい」というのがベイズ的な解決です。

2. 「室内鳥類学」の限界

このパラドックスは、「帰納法（観察から一般法則を導くこと）」という科学の根幹がいかに脆い前提の上に成り立っているかを浮き彫りにしています。論理的同値性だけに頼ると、外に出ることなく、部屋の中のガラクタを観察するだけで宇宙のあらゆる法則（「すべての白鳥は白い」「すべてのエイリアンは緑色ではない」など）を検証できてしまうという「室内鳥類学」が可能になってしまいます。

ヘンペルのカラスは、私たちが無意識に使っている「証拠」や「証明」という言葉が、純粋な記号論理学のルールだけではうまく捉えきれないことを示す、非常に興味深いパラドックスなのです。