《人类的知识》第106章

谈论过。我现在要研究的只是他关于归纳的理论。他的理论的要点是：如果
他的归纳假定为真，那么预测就是可能的，否则预测就是不可能的。因此我
们唯一能够得到支持一种预测而不是另一种预测的概率的途径就是设想他的
假定为真。我并不是想否认要得到支持预测的概率就需要某种假定，我想否
认的是所需要的那种假定就是莱新巴哈的假定。
他的假定是：已知a　和B　两个类，并且已知a　的实例是按照时间顺序排
好的，如果我们在观察了充分数目的a　之后，发现a　为B　的比大体上永远是
m/n，那么不管以后可能观察到多少个a　的实例，这个比例将仍然继续保持下
去。
我们首先看到这个假定仅仅在表面上比那个应用到所有观察到的a　都是
B　的情况上的假定具有更大的普遍性。因为在莱新巴哈的假设中由a　组成的
系列的每一段落都具有大约M/n　的分子为B　的性质，并且我们可以把那个比
较狭义的假定应用到这些段落上去。因此我们可以只研究那个比较狭义的假
定。
因此莱新巴哈的假定和下面的话意义相同：在我们观察了大量的a，并
且发现所有的a　都是B　之后，我们就将假定所有的a　几乎可以都是B。这个
假定对于概率的定义，以及一切科学预测来说都是必要的（他这样认为）。
我认为这个假定可以证明是错误的。假定a1，a2，。。an是已经观察过
并且发现是属于某一类B　的a　的分子。假定an＋1　是要观察到的下一个a。如
果它是一个B，那么把不包括an＋1　在内的由B　组成的类来代替B。对于这个
类来说，这种归纳就无能为力。这种论证显然还可以推广。由此可以看出，
如果要让归纳具有正确有效的机会，a　和B　就不能是任意的类，而必须是具
有某些性质或关系的类。我的意思并不是说X　和B　之间存在着一种适当关系
时归纳就一定正确有效，我只是说在这种情况下归纳可能正确有效，而就它
的一般形式来讲，它却可以证明是错误的。
a　和B　一定不是可以叫作“制造出来”的类，这一点似乎是明显的。我
想把上面出现的不包括an＋1　在内的B　叫作一个“制造出来”的类。广义来讲，
我所说的一个“制造出来”的类是一个通过说出某某一项是或不是它的一个
分子而得出至少是它的一部分定义的。这样，“人类”就不是一个制造出来
①　《经验与预测》，第401　页。
的类，但是“不包括苏格拉底在内的全部人类”却是一个制造出来的类。如
果以a1，a2，。an＋1是a　的最先观察到的n＋1　个分子，那么a1，a2，。。an
就具有不是an＋1　的性质，但是我们一定不能用归纳的方法推论出an十1具有
这种性质，不管n　可能有多么大。a　和B　这些类必须通过内包，而不是通过
说出它们的分子来得到定义。任何为归纳提供合理根据的关系一定是一种概
念的关系，并且由于不同的概念可能给同一个类下定义，所以可能出现一对
在归纳上相关并分别替a　和B　下定义的概念，而另外一些成对的概念虽然也
替a　和B　下定义，在归纳上却不相关。例如，我们可以根据经验推论出无羽
毛的两足动物是有死的，但却不能推论出地球上居住的理性动物是有死的，
尽管存在着这两个概念碰巧替同一个类下定义这件事实。
数理逻辑就它迄今为止的发展来看，是以尽可能做到外延的处理为其目
的的。也许这是一个多少带有偶然性的特点，来自算术对于逻辑学家的思想
和意图所产生的影响。与此相反，归纳的问题却要求做到内包的处理。固然
在一个归纳推论中出现的a　和B　这些类，就观察到的实例a1，a2，。。an来
讲，是以外延方式表达出来的，但是超过了这一点，重要的却是这两个类直
到现在只以内包方式表达出来。举例来说，a　可能是血液中有某些杆状菌的
那一类人，而B　则可能是出现某些症状的那一类人。归纳的最重要的性质就
是人们事先并不知道这两个类的外延。在实际应用上，我们认为某些归纳值
得证实，而另外一些归纳则不值得证实，我们还似乎受着一种对于很可能具
有联系的那些种类的内包的觉察力的引导。
因此莱新巴哈的归纳假定不仅过于广泛而且还太偏重外延。如果莱新巴
哈的假定不想成为可以证明是错误的东西，我们就需要有某种范围较窄和偏
重内包的假定。
我们对于莱新巴哈关于不同等级频率的理论还要谈论一下，这些不同等
级频率最后导致一组“盲目假定”的概率。这是和他认为在逻辑中应该用概
卒来代替真理的学说分不开的。让我们通过一个实例来看这个理论，比方说
一个六十岁的英国人在一年内死去的机会。
第一阶段是简单明白的：把文件上的记载当作完全正确的东西，然后以
总人数去除去年死去的人数。但是我们现在记得统计中每一个项目都可能是
错误的。为了计算这个概率，我们必须得到某组经过仔细研究的类似的统计，
并且发现其中所含错误的百分比。我们还记得那些认为他们发现错误的也可
能弄错，于是我们就开始去统计关于错误的错误。在这种后退的某一阶段我
们势必停顿下来；不管我们在什么地方停顿下来，我们习惯上总会给它一种
“分量”，这种分量人们认为大概不是必然性就是我们猜想在后退的下一阶
段会出现的那种概率。
作为一种认识论来看，这种方法有着许多可以反对的理由。
首先，在后退中靠后的阶段通常比靠前的阶段要困难和不确定得多；我
们不大可能，比方说，在对于官方统计的错误所作的估计上，达到官方统计
本身所达到的正确性。
其次，那些我们必须当作出发点的盲目假定是一种想使心灵与肉体两个
世界取得调和的努力：盲目假定要完成的任务就是数据在我的体系中所要完
成的任务，数据可能是错误的，但是莱新巴哈想通过把它们叫作“假定”而
逃避开认它们为“真”所承担的责任。在选择一个假定而不是另一个假定的
时候，除了他认为这个假416　定更有可能为“真”以外，我看不出还有什么
别的理由；并且因为，照他自己的话来讲，这并不表示（当我们处在盲目假
定这个阶段时）存在着使这个假定具有概然性的某种已知的频率，所以他才
不得不凭借频率以外的某种其它标准来挑选假设。他并没有告诉我们这可能
是什么东西，因为他并没有觉察出它的必要性。
第三，如果我们为了结束无止境的后退而抛弃盲目假定完全属于实用方
面的需要，并且从纯粹理论方面观察莱新巴哈的概率可能表示的意思，我们
就会感到自己陷进了难以解决的复杂情况之中。在第一等级，我们说一个a
将为一个B　的概率是m1/n1；在第二等级，我们对于这个陈述给予概率m2/n2，。。
这是通过使这个陈述作为某一系列类似陈述当中的一个陈述而得到的；在第
三等级，我们对于认为有一个概率m2/n2支持我们的第一个概率m1/n1的那个
陈述给予概率m3/n3；这样一直继续下去。如果我们能够完成这种无止境的后
退的话，那么支持我们最初估计m1/n1的最后的概率会是一个无限乘积
m2　m3m4
××　。。
n2　n3n4
而我们可以预料这个乘积为零。因此看来在选择第一等级上概然性最大
的估计时，我们几乎肯定是会错的；但是一般来说这仍然是我们可以得到的
最精确的估计。在“概然的”定义中就存在的这种无止境的后退是今人难以
接受的。如果我们想避免这种无止境的后退，我们就必须承认我们原来统计
中每个项目不是真便是伪，并且承认我们得到的第一个概率的值m1/n1　不是
对便是错；事实上我们对于概然性判断必须和对其它判断一样完全使用真—
或—伪这种二分法。详尽来讲，莱新巴哈的立场有如下述：
有一个命题p1，比方说“这个a　是一个B”。
有一个命题P2，说p1具有概率x1。
有一个命题p3，说P2具有概率X2。
有一个命题p4，说p3具有概率x3。
这个系列是无尽止的，并且导致（人们要这样认为）一个极限命题，只有对
这个命题我们才有权力加以肯定。但是我却看不出怎样才能把这个极限命题
表达出来。困难在于：就这个系列中所有先于417　它的分子来说，根据莱新
巴哈的原理，我们没有理?