｜亨普尔的乌鸦悖论｜
卡尔·亨普尔（1905—1997）是20世纪很有影响力的一位哲学家，主要研究领域为科学哲学。正如你可能猜测的，他的乌鸦悖论最初提出时是以乌鸦为例，尽管如果我们用一个不同的例子，可能会更容易看到这个悖论的意义。为了说明亨普尔的乌鸦悖论，假设你我都是天文学家，我们的主要研究项目就是收集类星体的信息。在这里，我要简要介绍一下背景知识：类星体是相对较新的发现，首次被发现是在大约40年前，即使经过了40年的研究，人们对类星体仍然知之甚少（尽管近期出现了一些关于类星体的理论，它们很有趣而且相当合理）。无论如何，关于类星体的一些基本事实是，它们似乎释放出巨大能量，而且看起来都在距离地球非常遥远的地方。
最初被探测到的几个类星体都在距离地球十分遥远的地方，而我们所感兴趣的是，是不是所有类星体都在距离地球十分遥远的地方。一年又一年，我们（以及其他天文学家）持续发现更多类星体，并且注意到所发现的每一颗类星体都在距离地球十分遥远的地方。到目前为止，一切都很好。我们所面对的似乎是一个非常常见的情形，也就是我们的观察结果为“所有类星体都距离地球十分遥远”的观点提供了归纳支撑。
到目前为止，关于前面描述的情形，并没有什么特别令人感到困惑之处。在我们思考一个概括性观点（就像前面提到的关于类星体的观点）时，我们又观察到了大量实例与这个观点相一致，并没有一个与之相悖，我们就会倾向于把这些实例作为这个观点的归纳支撑。
亨普尔指出，当我们试图找出概括性观点的逻辑结构时，困惑就产生了。以“所有类星体都距离地球十分遥远”的观点为例，像这样的概括性观点，从逻辑上说，与其逆反命题是等价的，也就是说在这个例子中，前面提到的观点与“所有距离地球不遥远的物体都不是类星体”的观点是等价的。换句话说，观点（1）：
（1）所有类星体都在距离地球十分遥远的地方。
与如下观点（2）：
（2）所有距离地球不遥远的物体都不是类星体。
从逻辑上来说，是等价的观点。
我们在前面提到过了，我们所观察到的类星体全都在距离地球十分遥远的地方（同样假设我们没有观察到与这个观点相悖的实例），每个观察结果都有助于支撑“所有类星体都距离地球十分遥远”的观点。那么，为了保持一致性，每次我们观察到一个物体距离地球不那么遥远时，这个物体就不是类星体。我们得承认这个观察结果可以支撑观点（2），也就是“所有距离地球不是非常遥远的物体都不是类星体”的观点。
同样地，这个陈述本身并不必然是问题或困惑。但是，现在回忆一下我们在前面提到过的，也就是观点（1）和观点（2）是等价的。如果观点（1）和观点（2）是等价的，那么任何观点（1）的支撑都应该同等地算作观点（2）的支撑，同样地，任何观点（2）的支撑也都应该同等地算作观点（1）的支撑。困惑的核心此时就出现了：只要我们得到了一个可以支撑观点（2）的观察结果，那么似乎这个结果肯定也同等地支撑了观点（1）。
举个例子，在你手里的这本书是一个距离地球并不遥远的物体，所以不是一个类星体，所以对这本书的观察结果就支撑了观点（2）。基于前一段提到过的原因，这个观察结果应该同等地支撑观点（1）。然而，这个想法似乎有点疯狂，显然对于手里这本书的观察结果微不足道，对确认关于类星体的重要科学论断并不能起到什么作用。
与休谟的问题一样，也不要误解亨普尔的观点。亨普尔当然不是说对于你面前这本书的微不足道的观察结果实际上帮助证明了关于类星体的一个重要科学论断。他所指出的是在归纳推理中一个看似非常基本的模式，其实包含了某些奇特之处。同样，正如前面提到过的，亨普尔的乌鸦悖论并没有构成实际问题，因此，它通常并不是一个会影响科学研究发展的问题。然而毫无疑问，归纳推理可以支持像“所有类星体距离地球都十分遥远”一类的概述性观点，这是科学的重要组成部分。同时，亨普尔的乌鸦悖论意味着像这样的推理，其本质中存在某些让人深感困惑之处。
