乌鸦悖论

提出者：国逻辑学家卡尔·古斯塔夫·亨佩尔（Carl Gustav Hempel）

乌鸦悖论，也叫做亨佩尔的乌鸦、亨佩尔悖论、确证悖论、亨普尔悖论，是二十世纪四十年代德国逻辑学家卡尔·古斯塔夫·亨佩尔（Carl Gustav Hempel）为了说明归纳法违反直觉而提出的一个悖论。

什么是乌鸦悖论

几千年以来，无数人观察了许多事务，比如地心引力法则，人们趋于相信其极可能是真理。这种类型的推理可以总结成“归纳法原理”：

如果实例X 被观察到和论断 T 相符合，那么论断 T 正确的概率增加。

亨佩尔给出了归纳法原理的一个例子：“所有乌鸦都是黑色的”论断。我们可以出去观察成千上万只乌鸦，然后发现他们都是黑的。在每一次观察之后，我们对“所有乌鸦都是黑的”的信任度会逐渐提高。归纳法原理在这里看起来合理的。

现在问题出现了。“所有乌鸦都是黑的” 的论断在逻辑上和“所有不是黑的东西不是乌鸦”等价。如果我们观察到一只红苹果，它不是黑的，也不是乌鸦，那么这次观察必会增加我们对“所有不是黑的东西不是乌鸦”的信任度，因此更加确信“所有的乌鸦都是黑的”！

这个问题被总结成：

我从未见过紫牛，I never saw a purple cow

但若我见到一头，But if I were to see one

更加可能是一么？Have a better chance to be one?