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
如果需要考察的对象的数量明显是有限的，则亨佩尔的推理不必然导致悖论。假定宇宙中存在的全部东西就是七只密封的箱子。你不知道箱子里是什么，不过实际情况是：其中五只箱子各装着一只黑乌鸦，另外两只箱子中，一只装着一只白乌鸦，一只装着一枚绿山楂。在此情况下，如果打开一只箱子，发现其中是一枚绿山楂，你会很合理地认为这一发现确实证实了“所有乌鸦都是黑色的”。事实上，为了证明（或反驳）原假说，最迅速的方法就是调查所有非黑色的东西，因为乌鸦有六只，而非黑色的东西只有两个。当然，以上模型是人为设定的，需要假定预先知道要调查的东西的数量。实际情况是，我们很少知道要调查的东西的数量，尤其是在调查之初。
1701740340
1701740341
更常见的情况是，原假说涉及的对象的数量已知为有限，而其换质位命题则不然。为了确定“所有乌鸦都是黑色的”这个命题的真假，则需要耗费一定的时间、人力和财力，具体消耗取决于乌鸦的数量（或非黑色的东西的数量）。根据康奈尔大学鸟类学实验室的r·托德·恩斯特伦（R. todd Engstrom）的说法，世界上普通乌鸦的数量在50万左右。不过非黑色的东西的数量很难确定，那是一个天文数字。
1701740342
1701740343
假设有一天，我们发现尼斯湖怪兽确实存在，而且只有一只，声呐设备也证实这一物种仅此一只。我们需要检验这一假说：“所有尼斯湖怪兽都是绿色的。”我们可以乘潜艇接近这个怪兽，打开探照灯，通过舷窗向外看，观察结果是：此怪兽是绿色的。由于不存在其他的尼斯湖怪兽，“所有尼斯湖怪兽都是绿色的”这一假说由此已被证明。
1701740344
1701740345
在此例中，一个单独的检验对于假说的意义极为重大。这个假说被一只非绿色的怪兽驳倒的机会只有一次。如果用此假说的换质位命题进行检验，则显得比乌鸦的例子更荒唐。换质位命题是“所有非绿色的东西都是非尼斯湖怪兽”。假设我们找遍了世界上所有非绿色的东西，并且为其中的每一个配上编号。第42 990 276号是一只蓝色的草虫，它是非尼斯湖怪兽吗？是的！因而这是对假说的支持……
1701740346
1701740347
这是一条徒劳而迂回的路线。已经假定只有一只尼斯湖怪兽，于是潜在反例只有一个。用n表示所有非绿色的东西的数目，第42 990 276号是任选的一个非绿色的东西，它驳倒假说的概率不超过1/n。在可观察的宇宙中有大约1080个原子（这个数是在1后面加80个0），于是非绿色的东西的数目至少是1080，如果把抽象的东西（例如数）也算作非绿色的对象，那么非绿色的东西就有无穷多。
1701740348
1701740349
以上分析很有说服力，亨佩尔在20世纪40年代最早的沉思中已经有了这种思路。一条红鲱鱼可能确实证实了“所有乌鸦都是黑色的”，但是仅仅是在一个无穷小的程度上提供了证实，因为非黑色的东西太多了。相比之下，检查乌鸦的颜色显然是更有效率的证实假说的方法。哲学家尼古拉斯·雷谢尔（Nicholas Rescher）沿着这条思路，计算出以乌鸦或非黑色的东西为检验对象，在统计学上建立有效的样本分别需要花费的检验费用。他的结论是：以乌鸦为样本需1万美元，以非黑色的对象为样本需20亿美元。
1701740350
1701740351
现在还有一个矛盾需要解释：为什么一条红鲱鱼既可以证实“所有乌鸦都是黑色的”，又可以证实“所有乌鸦都是白色的”？这个问题可以转化为与数学中的无穷小类似的问题。一条红鲱鱼为“所有乌鸦都是黑色的”提供的证实相当于“1/无穷大”，分母表示非黑色的对象的数目是无穷大，分子表示一条红鲱鱼是这些对象中的一个。由于这条鲱鱼同时也属于非白色的对象，所以它同样为“所有乌鸦都是白色的”提供程度为“1/无穷大”的证实。根据定义，1除以无穷大的量等于无穷小，大于0但小于一切普通分数。
1701740352
[
上一页 ]
[ :1.701740303e+09 ]
[
下一页 ]