ヘンペルのカラス
ヘンペルのカラス (Hempel's ravens) とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題(「帰納法の問題(英語版)」)を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある。
「ヘンペルのカラス」の奇妙さを表したものとして「室内鳥類学」という表現がある。これは、実物のカラスが1羽も観察できない室内でも、室内にある黒くないものを次々と観察することで、「ヘンペルのカラス」の論法に従ってカラスについての性質の確証性を高めることができてしまうという奇妙さを指摘したものである。実際には「世の中の全ての黒くないものを全て調べる」という前提を満たせていなくとも、室内をくまなく調査して、世の中の全体を把握するために十分なサンプルが得られたと判断すれば、類推による一般化によって「カラスは黒い」という命題の妥当性を高めることができるし、同様の方法で「カラスは白い」「カラスは赤い」といった命題も、「白くないもの」や「赤くないもの」の総数によっては、最も確からしい命題となるかもしれない(「確証性の原理」も参照)。これ自体は一般化の不適切な例であり、誤謬であるのだが(「早まった一般化」を参照)、この論法の「実物を観察できなくても」という前提を「観察できないものについても」と言い換えることができるならば、同様の形式で「八本脚でないもの」を調べて「火星人ではない」ことを確認していき、「火星人は八本脚である」と結論づけることもできてしまう。