1701740273
1701740274
经以上分析我们意识到，问题的关键在于非黑色的乌鸦。亨佩尔的命题仅在一种情况下为假——在某处存在一只非黑色的乌鸦；仅在一种情况下为真——非黑色的乌鸦不存在。为了最终确定真假，精灵必须搜寻非黑色的乌鸦。如果它发现了非黑色的乌鸦，哪怕只发现了一只，就说明原命题毫无疑问为假；如果它找遍整个宇宙，搜索过一切非黑色的乌鸦可能出现的地点，但没有发现非黑色的乌鸦，则说明原命题无懈可击地为真。
1701740275
1701740276
从实用主义的角度看，“所有乌鸦都是黑色的”似乎仅讨论了黑乌鸦；但是把它翻译成精灵可理解的操作性定义，它的实际含义是“不存在非黑色的乌鸦”。
1701740277
1701740278
下面我们命令精灵检验换质位命题：“所有非黑的东西都是非乌鸦。”从精灵的角度看，这又是一个虚无缥缈的、不可理解的概括陈述。我们这样对精灵解释：“‘所有非黑的东西都是非乌鸦’这一命题仅在一种情况下为假——至少存在一只非黑色的乌鸦；仅在一种情况下为真——在任何地方都找不到非黑色的乌鸦。”
1701740279
1701740280
其实这也就是我们对原命题的解说。证明（或反驳）“所有乌鸦都是黑色的”所需的操作，完全等同于证明（或反驳）“所有非黑色的东西都是非乌鸦”所需的操作，于是我们有确切的理由断言：这两个命题是等价的。
1701740281
1701740282
也许你会质疑，二者还是有一个细微的差别——从“所有乌鸦都是黑色的”为真可以推出至少存在一只黑乌鸦，不是吗？
1701740283
1701740284
再比如要论证“所有半人马都是绿色的”这一假说。精灵搜索非绿色的半人马，没有找到，于是报告说此命题为真。当然，任何类型的半人马都是不存在的，因而，判定此命题为真会显得有些滑稽。
1701740285
1701740286
要点还是在于语义。对于逻辑学家来说，“所有半人马是绿色的”和“如果是一头半人马，则是绿色的”之类的命题是可以接受的。出于各种考虑，接受该命题为真是最便利的。因而，对于逻辑学家而言，一个命题和它的换质位命题并无差别。
1701740287
1701740288
你当然可以持相反意见，坚持认为若“所有半人马都是绿色的”为真，则要求至少存在一头绿色的半人马。这种观点使得亨佩尔的原命题和换质位命题之间出现了微妙的不对称性：对于原命题而言，我们必须要求精灵确保至少存在一只黑乌鸦，而后才能判定命题为真；对于换质位命题而言，精灵必须确保至少存在一只非黑色的非乌鸦（例如一条红鲱鱼）。在我看来，这个差别不足以影响两个命题之间本质上的等价关系。发现一只黑乌鸦或一条红鲱鱼的要求只是走个形式，精灵在两个任务中的实际工作还是确保非黑色的乌鸦不存在。
1701740289
1701740291
绝不要说绝不
1701740292
1701740293
一个“否定性假说”是在断言某物不存在。证明一个否定性假说是极其困难的。（绝不要说绝不。）一个精灵可以检查非黑色的乌鸦可能出现的每一个地点，从而证明非黑色的乌鸦不存在，但是我们人类不行。
1701740294
1701740295
假定你开始一次搜索乌鸦的历险。你见到了很多黑乌鸦，没有发现非黑色的乌鸦。最终你对整个任务感到厌倦。你所有的朋友都说，你绝对不会发现一只非黑色的乌鸦。可什么时候停止搜索是恰当的呢？
1701740296
1701740297
从实际角度来说，停止搜索是迟早的事。此后你会对不存在非黑乌鸦充满信心。然而，这并没有从逻辑上严格地证明所有乌鸦都是黑色的。为了达到逻辑上的严格性，实际上你不得不检查乌鸦在宇宙中所有可能的藏身之处。显然这是一个不切实际的要求。
1701740298
1701740299
哲学家有一个专门的词：“超级任务”，这个词表示一个过程需要无穷多的行动。有些哲学家认为，如果断定某事需要无穷多的行动，则此事根本是不可知的。达米特（Michael Dummett）给出一个例子：“在北极绝不会有城市。”为了检验这个命题，你可以钻进一台时间机器，调到一个确定的年份，旅行到那一年，检查一下北极是否有城市。如果没有，你再把时间机器调到另一个年份，再做一次检查。你可以知道在任何一个具体的时刻，北极是否有城市，但是这不等于知道北极会（或绝不会）有城市。判定后者需要建立无穷多的事实，完成无穷多的探查。
1701740300
1701740301
如果宇宙是无限的，则“不存在非黑色的乌鸦”同样是一个需要无穷多观察记录的命题。我们的精灵有能力完成经验方面的超级任务，但我们不能。在验证“所有乌鸦都是黑色的”这个命题时，我们之所以聚焦于发现黑乌鸦，而不是发现非黑色的乌鸦的失败尝试，实际原因就在于此。在实际上以搜寻反例为目的的过程中，已发现的黑乌鸦的数量成为“记录得分”的方法。在未发现非黑色的乌鸦的前提下，已发现的黑乌鸦的数量越大，我们对“不存在非黑色的乌鸦”的信心越充分。尼柯德标准主张，在寻求证实的过程中，以“记录得分”为目的，“黑乌鸦”是比“非黑色的乌鸦”更好的途径。为了解决亨佩尔悖论，我们必须探究其原因。
1701740302
1701740304
意识流
1701740305
1701740306
换一个分析角度。“非乌鸦”和“非黑色的东西”之类的概念是不自然的。在大多数场合，我们首先意识到某物是一只乌鸦、一条鲱鱼或是一把餐刀，我们不会自然地把对象当作“非乌鸦”“非鲱鱼”“非餐刀”。在亨佩尔悖论中，只有命题的最初形式（“所有乌鸦都是黑色的”）与人们实际的思考方式相符。
1701740307
1701740308
在分别面对亨佩尔的命题的两种形式时，我们的思维过程迥然不同。当我们见到一只乌鸦时，我们的思维会自然地如此运转：
1701740309
1701740310
（a）瞧，那是一只乌鸦。
1701740311
1701740312
（b）它是黑色的。
1701740313
1701740314
（c）这证实了“所有乌鸦都是黑色的”这一命题。
1701740315
1701740316
当我们面对一条红鲱鱼时，为了使观察和亨佩尔的假设关联起来，需要更加复杂曲折的意识流：
1701740317
1701740318
（a）这是一条红鲱鱼。
1701740319
1701740320
（b）它是红色的。
1701740321
1701740322
（c）哦，等一下，乌鸦悖论是怎么说的？对了，这是一个“非黑色的东西”……
[
上一页 ]
[ :1.701740273e+09 ]
[
下一页 ]