ヘンペルのカラス (Hempel's ravens) とは、ドイツのカール・ヘンペルが1940年代に提出した、帰納法が抱える根本的な問題（「帰納法の問題（英語版）」）を喚起する問題である。「カラスのパラドックス」とも呼ばれるが、パラドックスとして扱うべきかどうかには異論もある[1]。
概要

「ヘンペルのカラス」は「全てのカラスは黒い[注釈 1]」という命題を証明する以下のような対偶論法を指す[1]。

「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる[2][3][4]。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い[2][3]。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる[3]。

つまり、カラスを一羽も調べること無く、それが事実に合致することを証明できるのである[2][3]。これは（この論法は）日常的な感覚からすれば奇妙にも見える[2][3]。

こうした論法が「ヘンペルのカラス」と呼ばれている。@media all and (max-width:720px){.mw-parser-output .mod-gallery{width:100%!important}}.mw-parser-output .mod-gallery{display:table}.mw-parser-output .mod-gallery-default{background:transparent;margin-top:.3em}.mw-parser-output .mod-gallery-center{margin-left:auto;margin-right:auto}.mw-parser-output .mod-gallery-left{float:left;margin-right:1em}.mw-parser-output .mod-gallery-right{float:right}.mw-parser-output .mod-gallery-none{float:none}.mw-parser-output .mod-gallery-collapsible{width:100%}.mw-parser-output .mod-gallery .title,.mw-parser-output .mod-gallery .main,.mw-parser-output .mod-gallery .footer{display:table-row}.mw-parser-output .mod-gallery .title>div{display:table-cell;text-align:center;font-weight:bold}.mw-parser-output .mod-gallery .main>div{display:table-cell}.mw-parser-output .mod-gallery .gallery{line-height:1.35em}.mw-parser-output .mod-gallery .footer>div{display:table-cell;text-align:right;font-size:80%;line-height:1em}.mw-parser-output .mod-gallery .title>div *,.mw-parser-output .mod-gallery .footer>div *{overflow:visible}.mw-parser-output .mod-gallery .gallerybox img{background:none!important}.mw-parser-output .mod-gallery .bordered-images .thumb img{outline:solid #eaecf0 1px;border:none}.mw-parser-output .mod-gallery .whitebg .thumb{background:#fff!important}

一羽の黒いカラス。一羽の黒いカラスを観察しても、「全てのカラスが黒い」とは証明できない。

だが（この世の）全ての黒くないものを、漏れなく全て調べ、もしそこにカラスが一羽も混じっていなければ、「全てのカラスは黒い」と証明できたことになる。（この写真は、全ての黒くないもの の ほんの一部でしかないが、とりあえずリンゴの一部を調べている段階のイメージ）。

前の写真の続き。この写真は（この世の）全ての黒くないものを調べるために、その一部である、黒くないタオルの一部を調べて、そこにカラスが混じっていないか、確認している段階のイメージ。（この世の黒くないもの全部を調べなければならないので、世界中（宇宙中）を駆け巡らなければならず）一体どれだけ調べればよいのか...誰にも見当がつかないが、もしも仮に... 全ての黒くないものを調べることができるのなら...もし仮にそんなことができると仮定して、なおかつ、そこに一羽のカラスも入っていなければ、「全てのカラスは黒い」と証明できることになる。

観察者は、もし全ての黒くないものを調べ尽くすことができて、調べ尽くした段階で、そこにカラスが一羽も入っていなければ、この黒い鳥がカラスかキュウカンチョウかを判断しなくても、全てのカラスが黒いということを証明できる。

その奇妙さ黒くなくカラスでない（カラスミ）黒いものがカラスかイカスミかを調べる必要はない。

「ヘンペルのカラス」の奇妙さを表したものとして「室内鳥類学」という表現がある[5]。これは、実物のカラスが1羽も観察できない室内でも、室内にある黒くないものを次々と観察することで、「ヘンペルのカラス」の論法に従ってカラスについての性質の確証性を高めることができてしまうという奇妙さを指摘したものである[6]。実際には「世の中の全ての黒くないものを全て調べる」という前提を満たせていなくとも、室内をくまなく調査して、世の中の全体を把握するために十分なサンプルが得られたと判断すれば、類推による一般化によって「カラスは黒い」という命題の妥当性を高めることができるし[5]、同様の方法で「カラスは白い」「カラスは赤い」といった命題も、「白くないもの」や「赤くないもの」の総数によっては、最も確からしい命題となるかもしれない（「確証性の原理」も参照）。これ自体は一般化の不適切な例であり[7]、誤謬であるのだが（「早まった一般化」を参照）、この論法の「実物を観察できなくても」という前提を「観察できないものについても」と言い換えることができるならば、同様の形式で「八本脚でないもの」を調べて「火星人ではない」ことを確認していき、「火星人は八本脚である」と結論づけることもできてしまう[8]。

さらに、「世の中の全ての黒くないものを全て調べる」場合、「『黒くないもの』の数」をどのように考えるかも問題になる。例えば、白人の指を「黒くないもの」の一つと数えるか、それともその指や手足全体を含んだ人間一人を一つと数えるかによって、「黒くないもの」の数は変わる。一般的には、世界中の事物から何を「黒くないもの」として分節化・概念化するかという可能性は無限にあり、「黒くないもの」を無限に見積もることも可能である[9]。「世の中の全ての」の範囲についても問題である。宇宙には無限に「黒くないもの」があるとすれば、実際にヘンペルの論法を証明に用いることはできなくなる。「黒くないものはカラスでない」ことを証明するために「黒くないもの」を順に調べようとしても、その作業は永遠に終わらないからである。

もし、カラスの存在が確かなものとして前提にでき、さらに「黒くないもの」の総数を有限であると仮定したとしても、「ヘンペルのカラス」が直観に反する理由は、「黒くないもの」の数が想像を絶して大きいことが挙げられる[2][3]。ある命題について、それが真であることを確かめるには個々の事例を全て調べ尽くすことができればよい。命題の正しさの信頼度合は、調べた事例の全事例に対する比率に一致する（確証性の原理）[2]。しかし「黒くないものはカラスではない」という命題の真偽を調べる場合、また「黒くないもの」の数は極めて大きいので、「黒くないもの」を全て調べることは事実上不可能である[10][3]。この論法を「カラスのパラドックス」とも呼ぶのは、ヘンペルの論法に従って「カラスが黒い」ことを証明するのが現実には不可能であるという見地に立ったものである[10]。このように不可能なことを可能であるかのように扱う論法は、相手を納得させるための証明手段としては不適切である[3]。

一方、実際に調べなければならない個々の事例が常識的な数であれば、対偶論法による証明は有効である[11]。例えばカラスを含む数十種類の動物を飼っている動物園があったとする。この動物園には、赤・青・黄色・黒の四つの檻があり、この他の檻や、檻の外で飼育されている動物は存在しない。黒以外の三つの檻をすべて見終わった時点で、（黒以外の）どの檻にもカラスはいないことを確かめた。このとき、カラスがこの動物園で飼育されているという前提が確かならば、「カラスは黒い檻にいる」ということは、実際にカラスを見るまでもなく明らかである。また、元の命題に当てはまるものが対象全体のうち多数を占める場合など、対偶を調べた方が容易となる場合もある[12][3]。例えば多数のカラスで構成された群れの中に、少数の黒くないものが混じっているような場合に、群れの中の全てのカラスが黒いことを証明するような場合がそうである[12]。
現実の世界と論理学との関係