大家好，我是 Senko。 本文将解读“亨佩尔的乌鸦（确证悖论）”。
想确认“所有乌鸦都是黑的”，去找黑乌鸦就行——理所当然。可按照逻辑学的推演，找到一个红苹果或一只白袜子，同样能成为“所有乌鸦都是黑的”的证据。听起来莫名其妙，但在逻辑上却是正确的。
悖论的结构
这个悖论由出生于德国的哲学家卡尔·亨佩尔在 1940 年代提出，由以下三步构成。
第 1 步：确证原理 找到某个假说的具体实例，就是该假说的证据。对于“所有乌鸦都是黑的”这一假说，每找到一只黑乌鸦，假说的可信度就上升一点。这是科学的基本方法论。
第 2 步：逻辑等值的命题 在逻辑学上，“所有乌鸦都是黑的”与“所有不黑的东西都不是乌鸦”意思相同（逆否命题）。就像“所有狗都是动物”和“不是动物的东西都不是狗”意思相同一样。
第 3 步：问题出现 “所有不黑的东西都不是乌鸦”的具体实例是什么？红苹果既是“不黑的东西”，又“不是乌鸦”，所以它正是这个命题的实例。
根据第 1 步的原理，这个实例是假说的证据；又根据第 2 步，它与原假说意思相同，于是红苹果也成了“所有乌鸦都是黑的”的证据。
直觉上明显不对劲
看红苹果就能得知乌鸦的颜色——直觉上这完全无法接受。
然而上面的逻辑乍看之下并无破绽。确证原理和逆否命题的逻辑等值性，单独来看都是正确的原理。仅仅把两者组合起来就冒出了古怪的结论，这正是悖论的核心。
如果承认这套逻辑，那么只要环视自己的房间，确认“蓝色的书”“白色的墙”“棕色的桌子”，不用出门观察乌鸦就能为“所有乌鸦都是黑的”收集证据。更进一步说，“所有天鹅都是白的”和“所有祖母绿都是绿的”，也都能用同一个红苹果的观察同时得到确认。
问题到底出在哪里
针对这个悖论，存在几种回应。
贝叶斯主义的解决
这是接受度最广的解决方案。它的立场是：红苹果确实是证据，但其作为证据的强度实际上无限接近于零。
数学上可以用贝叶斯定理来解释。世界上非乌鸦的物体（苹果、汽车、建筑……）多到不可计数，而乌鸦的数量相对很少。找到一只黑乌鸦，是在“乌鸦”这个小总体中确认假说的强证据；而一个红苹果，只是“非乌鸦”这个天文数字级总体中的一次确认，对假说可信度的改变微乎其微。
也就是说，红苹果是“不能说不是证据，但弱到极致的证据”。直觉之所以觉得“这不算证据”，是因为它作为证据的强度小到无法感知——这就是贝叶斯主义的解释。
修正确证原理的立场
这一立场认为确证原理本身有问题，假说的确证需要更严格的条件。具体来说，有人提议加上“只有与假说相关的观察才算有效证据”之类的限制。
限制逆否等值性的立场
这一立场认为，逻辑上等值不代表在认识论上就该同等对待。“所有乌鸦都是黑的”和它的逆否命题在逻辑上是同一主张，但确证它们的方式不必相同。
与绿蓝悖论的关系
亨佩尔的乌鸦与古德曼的绿蓝悖论一道，提出了直指归纳法根基的问题。
亨佩尔的乌鸦问的是“什么能成为假说的证据”，绿蓝悖论问的则是“归纳法应该应用于哪个假说”。两者都在动摇科学推理的地基，共同表明归纳法远没有我们想象的那么简单。
对科学方法论的启示
亨佩尔的乌鸦告诉我们：“证据是什么”这个问题比表面上深刻得多。
科学依靠观察和实验来确证假说，但对于“什么才算假说的证据”这个基本问题，其实至今没有完全清晰的答案。科学家日常进行的“检验假说”这件事，其逻辑基础远比想象中复杂而微妙。
归纳法相关的悖论
以下是与亨佩尔的乌鸦同样涉及归纳推理根基的相关悖论。
结语
本文解读了“亨佩尔的乌鸦”。
“红苹果能证明乌鸦的颜色”这个结论听起来荒唐，但它背后潜藏着关乎科学推理根基的深刻问题。这个悖论促使我们重新审视那个日常以为理所当然的概念——“证据”。
想返回悖论列表的读者请点击下方链接。
我们下一篇文章见。
📚 系列：世界经典悖论（9/57）
