カール・グスタフ・ヘンペル
科学的仮説の検証の基本的モデルは仮説演繹法であるが、このモデルをおびやかすパラドックスがヘンペルの指摘したカラスのパラドックスである。仮説演繹法は、たとえば「すべてのカラスは黒い」という仮説をたてたなら、「次に観察するカラスも黒いはずだ」という予測が演繹でき、その予測が確かめられることで仮説がより確からしくなる、というプロセスをへる。ところで、「すべてのカラスは黒い」(A)という命題と「すべての黒くないものはカラスではない」(B)という命題は論理的に同値(対偶)である。この後者の命題(B)からは、「次に観察する黒くないものはカラスではないはずだ」という予測が演繹でき、その予測が確かめられることで仮説(B)はより確からしくなる。しかし、それならば、部屋の中にある黒くないものを観察するだけで仮説(B)がより確からしくなることになり、同時にそれと同値である前者の仮説(A)も確からしくなることになる。つまり、部屋の中に居ながらにして「すべてのカラスは黒い」という仮説を確かめることができてしまうことになるのである。これは非常に奇妙であり、仮説演繹法を改良する必要があることが分かる。
′′On the Nature of Mathematical Truth" and ′′Geometry and Empirical Science′′ (1945), American Mathematical Monthly, issue 52.
Articles in Readings in Philosophical Analysis (pp. 222–249), edited by Herbert Feigl and Wilfrid Sellars (Appleton-Century-Crofts, Inc., 1949).