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）哦，等一下，乌鸦悖论是怎么说的？对了，这是一个“非黑色的东西”……
1701740323
1701740324
（d）……而且它不是一只乌鸦。
1701740325
1701740326
（e）于是它证实了“所有非黑色的东西都是非乌鸦”这一命题。
1701740327
1701740328
（f）……而这一命题等价于“所有乌鸦都是黑色的”。
1701740329
1701740330
在第一个例子中，在步骤（a）和步骤（b）之间，我们已经意识到这个对象是乌鸦，而尚未考虑其颜色。在这一刻，原假说面临考验。在这个瞬间，乌鸦有可能是其他颜色的，即有可能推翻原命题。但是在第二个例子中，“所有非黑的东西都是非乌鸦”这一命题则从来没有真正地面临考验：在达到（c）以后，我们已经意识到对象是红色的（“它是非黑色的”这个结论是根据“它是红色的”这个已知条件推出的），并且它是一条鲱鱼（你很可能一直知道）。
1701740331
1701740332
为什么“乌鸦”是一个合理的概念而“非乌鸦”不是呢？这是因为诸乌鸦有许多一致的特征，而“非乌鸦”则是一个包罗甚广的词，一切不符合乌鸦的特征的东西都可以放进来。“乌鸦”这个概念代表一种身份，而“非乌鸦”这个概念只是一个背景。有个笑话说，某个雕刻家把所有雕得不像原型的作品统统敲碎。雕刻家不用负概念思考，科学家亦然。
1701740333
1701740334
从数字的角度对比这两个概念，则有另一个惊人之处。下面我们对最初的观点做进一步的探究：这个悖论与乌鸦和非乌鸦的相对数量有关。
1701740335
1701740337
无穷小的证实
1701740338
1701740339
如果需要考察的对象的数量明显是有限的，则亨佩尔的推理不必然导致悖论。假定宇宙中存在的全部东西就是七只密封的箱子。你不知道箱子里是什么，不过实际情况是：其中五只箱子各装着一只黑乌鸦，另外两只箱子中，一只装着一只白乌鸦，一只装着一枚绿山楂。在此情况下，如果打开一只箱子，发现其中是一枚绿山楂，你会很合理地认为这一发现确实证实了“所有乌鸦都是黑色的”。事实上，为了证明（或反驳）原假说，最迅速的方法就是调查所有非黑色的东西，因为乌鸦有六只，而非黑色的东西只有两个。当然，以上模型是人为设定的，需要假定预先知道要调查的东西的数量。实际情况是，我们很少知道要调查的东西的数量，尤其是在调查之初。
[
上一页 ]
[ :1.70174029e+09 ]
[
下一页 ]