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

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

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

カラスの仮説と対偶

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

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

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

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

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

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

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

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

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

論理は正しいのに納得できない

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

ベイズ主義的解決

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

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

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

確認の原理を修正する立場

確認の原理そのものに問題があり、仮説の確認にはもっと厳密な条件が必要だとする立場です。具体的には、「仮説に関連する観察だけが証拠として有効」というような制限を加えることが提案されています。

対偶による同値性を制限する立場

論理的には同値でも、認識論的には同じ扱いをすべきではないとする立場です。「すべてのカラスは黒い」とその対偶は論理的に同じ主張ですが、確認の仕方は同じである必要はない、と主張します。

グルーのパラドックスとの関係

ヘンペルのカラスは、グッドマンのグルーのパラドックスと共に、帰納法の根幹に関わる問題を提起しています。

【世界のパラドックス】グルーのパラドックス ─ 帰納法は本当に信頼できるのか？senkohome.com/paradox-grue/

ヘンペルのカラスが「何が仮説の証拠になるのか」を問うのに対し、グルーのパラドックスは「どの仮説に帰納法を適用すべきか」を問います。どちらも科学的推論の基盤を揺さぶるものであり、帰納法が私たちが思っているほど単純ではないことを示しています。

科学の方法論への示唆

ヘンペルのカラスが教えてくれるのは、「証拠とは何か」という問いが見かけよりも深い問題だということです。

科学は観察と実験によって仮説を確認していきますが、何が仮説の証拠になるのかという基本的な問いに対して、完全に明快な答えは実はまだ出ていません。科学者が日常的に行っている「仮説を検証する」という営みの論理的な基盤は、思っている以上に複雑で繊細なものなのです。

部屋の中でカラスを研究できるのか

ヘンペルのパラドックスがしばしば冗談めかして語られるのは、「屋内鳥類学」という言い方があるためです。

外に出てカラスを探さなくても、部屋の中で黒くないものを次々に確認すれば、カラスの色についての仮説が確かめられてしまう。そんなはずはない、という直感が出発点になります。

ただ、ベイズ主義の立場からは、この直感にもきちんと説明がつきます。

白い靴も仮説を確証しているが、その量が無視できるほど小さいというのが答えになります。

論理としては正しく、量としては無意味。パラドックスに見えたのは、確証を全か無かで考えていたからだ、という診断です。

反例のほうがずっと強い

もう一つ押さえておきたいのが、確証と反証の非対称です。

黒くないカラスを1羽見つければ、仮説はその場で否定されます。何万羽の黒いカラスを観察しても、仮説が確定することはありません。

・確証：一つひとつは小さい。積み上げても確実にはならない ・反証：たった1件で決着がつく ・帰結：仮説を検証するなら、反例を探しに行くほうが効率がよい

自分の仮説を支持する例ばかり集めても、検証としてはほとんど進んでいないということになります。

これは確証バイアスの話にも直結します。人間は自然と支持例を探しにいくので、意識して反例を探す必要がある。カール・ポパーが反証可能性を重視したのも、この非対称があるためです。

カラスの色という単純な例から、科学の方法論の中心的な論点まで届いてしまう。よくできた思考実験だと思います。

カラス以外にも当てはまる

このパラドックスは、カラスの色に限らず、あらゆる全称命題に当てはまります。

「すべてのAはBである」という形の主張はすべて、「BでないものはすべてAでない」と論理的に同じです。したがって、同じ問題が生じます。

いずれも論理的には確証になりますが、調査としては何も進んでいません。

どちらの集合が小さいかで、観察の価値が決まるというのが実務的な教訓になります。

社員が100人で、研修を受けていない人が世界中に80億人いるなら、社員名簿を当たったほうが早い。当たり前のことですが、この当たり前を論理だけからは導けないところが面白いところです。

母集団が有限だと話が変わる

興味深いのは、対象の数が小さい場合には、対偶側の観察にも実質的な意味が出てくる点です。

たとえば「この箱の中のボールはすべて赤い」という仮説で、箱に10個しか入っていないとします。

・赤いボールを1個見つける：残り9個の可能性が減り、確証が進む ・赤くないものを箱の外で見つける：箱の中身とは無関係で、何も進まない ・箱の中の赤くないものを探して見つからない：これは強い確証になる

3つめが、対偶を使った有効な調査です。探す範囲を仮説の対象に限れば、対偶からの確証も十分に強くなります。

問題だったのは対偶を使ったことではなく、範囲を限らずに使ったことのほうでした。ヘンペルのパラドックスは、論理の使い方より調査の設計の話だったと考えると腑に落ちやすいと思います。

帰納法の関連パラドックス

ヘンペルのカラスと同じく帰納的推論の根幹に関わる問題を扱う関連パラドックスです。

まとめ

本記事は「ヘンペルのカラス」について解説しました。如何だったでしょうか。

赤いリンゴがカラスの色の証拠になるという結論は馬鹿げて聞こえますが、その背後には科学的推論の根幹に関わる深い問題が潜んでいます。日常的に当然だと思っている「証拠」の概念を、改めて考え直させてくれるパラドックスです。

パラドックスの一覧に戻りたい方は以下のリンクからどうぞ。

それでは次の記事も閲覧いただけると幸いです。

【世界のパラドックス一覧】哲学・数学・物理・経済まで有名パラドックスを完全解説senkohome.com/paradox-list/