ヘンペルのカラス (Hempel's ravens) とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題(「帰納法の問題」)を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある。
概要
「ヘンペルのカラス」は「全てのカラスは黒い」という命題を証明する以下のような対偶論法を指す。
「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる。
つまり、カラスを一羽も調べること無く、それが事実に合致することを証明できるのである。これは(この論法は)日常的な感覚からすれば奇妙にも見える。
こうした論法が「ヘンペルのカラス」と呼ばれている。
その奇妙さ
「ヘンペルのカラス」の奇妙さを表したものとして「室内鳥類学」という表現がある。これは、実物のカラスが1羽も観察できない室内でも、室内にある黒くないものを次々と観察することで、「ヘンペルのカラス」の論法に従ってカラスについての性質の確証性を高めることができてしまうという奇妙さを指摘したものである。実際には「世の中の全ての黒くないものを全て調べる」という前提を満たせていなくとも、室内をくまなく調査して、世の中の全体を把握するために十分なサンプルが得られたと判断すれば、類推による一般化によって「カラスは黒い」という命題の妥当性を高めることができるし、同様の方法で「カラスは白い」「カラスは赤い」といった命題も、「白くないもの」や「赤くないもの」の総数によっては、最も確からしい命題となるかもしれない(「確証性の原理」も参照)。これ自体は一般化の不適切な例であり、誤謬であるのだが(「早まった一般化」を参照)、この論法の「実物を観察できなくても」という前提を「観察できないものについても…