ヘンペルのカラス
この論法を「カラスのパラドックス」とも呼ぶのは、ヘンペルの論法に従って「カラスが黒い」ことを証明するのが現実には不可能であるという見地に立ったものである。このように不可能なことを可能であるかのように扱う論法は、相手を納得させるための証明手段としては不適切である。
一方、実際に調べなければならない個々の事例が常識的な数であれば、対偶論法による証明は有効である。例えばカラスを含む数十種類の動物を飼っている動物園があったとする。この動物園には、赤・青・黄色・黒の四つの檻があり、この他の檻や、檻の外で飼育されている動物は存在しない。黒以外の三つの檻をすべて見終わった時点で、(黒以外の)どの檻にもカラスはいないことを確かめた。このとき、カラスがこの動物園で飼育されているという前提が確かならば、「カラスは黒い檻にいる」ということは、実際にカラスを見るまでもなく明らかである。また、元の命題に当てはまるものが対象全体のうち多数を占める場合など、対偶を調べた方が容易となる場合もある。例えば多数のカラスで構成された群れの中に、少数の黒くないものが混じっているような場合に、群れの中の全てのカラスが黒いことを証明するような場合がそうである。
さらに、「世の中の全ての黒くないものを全て調べる」場合、「『黒くないもの』の数」をどのように考えるかも問題になる。例えば、白人の指を「黒くないもの」の一つと数えるか、それともその指や手足全体を含んだ人間一人を一つと数えるかによって、「黒くないもの」の数は変わる。一般的には、世界中の事物から何を「黒くないもの」として分節化・概念化するかという可能性は無限にあり、「黒くないもの」を無限に見積もることも可能である。「世の中の全ての」の範囲についても問題である。宇宙には無限に「黒くないもの」があるとすれば、実際にヘンペルの論法を証明に用いることはできなくなる。「黒くないものはカラスでない」ことを証明するために「黒くないもの」を順に調べようとしても、その作業は永遠に終わらないからである。
もし、カラスの存在が確かなものとして前提にでき、さらに「黒くないもの」の総数を有限であると仮定したとしても、「ヘンペルのカラス」が直観に反する理由は、「黒くないもの」の数が想像を絶して大きいことが挙げられる。ある命題について、それが真であることを確かめるには個々の事例を全て調べ尽くすことができればよい。命題の正しさの信頼度合は、調べた事例の全事例に対する比率に一致する(確証性の原理)。しかし「黒くないものはカラスではない」という命題の真偽を調べる場合、また「黒くないもの」の数は極めて大きいので、「黒くないもの」を全て調べることは事実上不可能である。