【世界のパラドックス】ヘンペルのカラス ─ 赤いリンゴを見るとカラスが黒い証拠になる？

当サイトを閲覧いただきありがとうございます。本記事は「ヘンペルのカラス（確認のパラドックス）」について解説します。

「すべてのカラスは黒い」ことを確かめたいなら、黒いカラスを探せばいい——当たり前の話です。しかし論理学に従うと、赤いリンゴや白い靴下を見つけることもまた「すべてのカラスは黒い」の証拠になるというのです。何を言っているのか分からないかもしれませんが、論理的には正しいのです。

絵でわかるパラドックス大百科増補第2版Amazonで見る →

パラドックスの構造

1940年代にドイツ生まれの哲学者カール・ヘンペルが提唱したこのパラドックスは、次の3つのステップで成り立っています。

ステップ1：確認の原理 ある仮説の具体例を見つけることは、その仮説の証拠になります。「すべてのカラスは黒い」という仮説に対して、黒いカラスを1羽見つけるたびに仮説の信頼度が少し上がります。これは科学の基本的な方法論です。

ステップ2：論理的に同値な命題 「すべてのカラスは黒い」は、論理学的には「黒くないものはすべてカラスではない」と同じ意味です（対偶）。例えば「すべての犬は動物である」と「動物でないものは犬ではない」が同じ意味なのと同じです。

ステップ3：問題の発生 「黒くないものはすべてカラスではない」の具体例は何でしょうか。赤いリンゴは「黒くないもの」であり、かつ「カラスではない」ので、この命題の具体例です。

ステップ1の原理により、この具体例は仮説の証拠になります。そして、ステップ2により元の仮説と同じ意味なので、赤いリンゴは「すべてのカラスは黒い」の証拠にもなるのです。

直感的には明らかにおかしい

赤いリンゴを見てカラスの色について何かが分かるというのは、直感的にはまったく受け入れがたいです。

しかし、上記の論理には一見すると穴がありません。確認の原理も、対偶の論理的同値性も、どちらも個別に見れば正しい原理です。この2つを組み合わせるだけで奇妙な結論が出てしまうのがパラドックスの核心です。

もしこの論理を認めるなら、自分の部屋を見回して「青い本」「白い壁」「茶色い机」を確認するだけで、外に出てカラスを観察しなくても「すべてのカラスは黒い」の証拠を集められることになります。さらに言えば、「すべての白鳥は白い」も「すべてのエメラルドは緑だ」も、全く同じ赤いリンゴの観察で同時に確認できてしまうのです。

何が問題なのか

このパラドックスに対してはいくつかの反応があります。

ベイズ主義的解決

最も広く受け入れられている解決策です。赤いリンゴも確かに証拠ではあるが、その証拠としての強さは事実上ゼロに近いという立場です。

数学的にはベイズの定理を使って説明できます。世界には非カラスの物体（リンゴ、車、建物…）が途方もなく多く存在する一方、カラスの数は比較的少ないです。黒いカラスを1羽見つけることは、カラスという小さな母集団の中で仮説を1つ確認する強い証拠です。しかし赤いリンゴ1つは、非カラスという天文学的に大きな母集団の中のたった1つの確認に過ぎず、仮説の信頼度をほぼ変化させません。

つまり、赤いリンゴは「証拠ではないわけではないが、限りなく弱い証拠」なのです。直感が「証拠ではない」と感じるのは、証拠としての強さが知覚できないほど小さいからだ、という説明です。