按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
也看出这类问题使得他的结论不够令人满意①。
有一个简单的假设可以得出凯恩斯所需要的那种有限概率。让我们假定
宇宙中事物的数目是有限的，比方说是N。设β是一个由n 个事物组成的类；
并且设a 是一个由任意选取的m 个事物组成的类。
那么可能出现的的数目是
m N （
N！…
！
m）！
，并且这些可能出现的
a
n！
α包含在β内的数目是
m！（n …m）！
。所以“所有的α都是β的机会是
n！（N …m）！
，而这是个有限数。这就是说，我们对之没有任何证据的每个
N！（n …m）！
概括性命题为真的机会都是一个有限数。
① 我将在第六部分第二章里再来谈这个问题。
可是我却担心，如果N 象爱丁敦所认为的那样大，那么使得一个归纳概
括具有很高概率所需的有利实例的数目将会大大超过实际可能发现的有利实
例的数目。所以这种摆脱困难的方法从理论上看尽管很好，却不能用来为科
学实践找到合理的根据。
先进科学使用的归纳法与简单列举的归纳法有些不同。首先要有许多观
察到的事实，然后有一个与所有事实都相一致的一般理论，然后又从这个理
论引导出为以后的观察所证实或推翻的推论。这里的论证依靠反概率原理。
设P 为一个一般理论，h 为已经知道的数据，q 为有关p 的一个新的实验数
据。那么
（p /h）（q / ph）
p / qh =
q/h
在最重要的情况下，q 是从p 和h 得出的结果，所以q/ph＝1。因此，
在这种情况下，
p/h
p/ qh =
q/h
由此可以看出如果q/h 的值很小，q 的证实就大大增加了p 的概率。可
是这却不具有人们可能希望得到的那些结论。如果用“p”表示“非P”，我
们就有
q/h ＝pq /h ＋pq /q ＝p/h 十pq /h
pq / h
因为在已知h 的情况下，蕴涵，这样如果y＝
p/ h
，
pq
我们就有p / gh =
1＋
1y
。如果y 的值小，那么这将是一个很大的概率。现在
有两个条件可以使y 的值小：（1）如果P/h 的值大，（2）如果pq/h 的值小，
也就是p 伪而使q 变得不大可能的那种情况。计算这两个因子所遇到的困难
正和凯恩斯的讨论中所出现的困难一样。为了算出p/h，我们需要具有某种
在发现使我们想到p 的个别证据之前，计算p 的概率的方法，而这种方法却
是不容易找出来的。我们看得清楚的只是如果一个让我们想到的定律在发现
任何有利于它的证据之前就具有相当大的概率，那就一定要依靠一个大意是
说某种相当清楚的简单定律必然为真的原理。但这却是一个困难的问题，我
在以后还要谈到它。
在某些种类的情况下，对于pq / h 进行近似计算具有更大的可能。让我
们拿海王星的发现作例。就这个实例来讲，p 是万有引力定律，h 是海王星发
现以前关于行星运动的观察，而q 是海王星存在于计算表明它所应该存在的
地方。这样pq/h 就是在万有引力为伪的情况下，海王星出现于它所在的地
方的概率。这里我们必须对于我们所用的“伪”这个词的意思做出一条规定。
就这个词的适当意思来讲，认为爱因斯坦的理论证明牛顿的理论为“伪”是
不正确的。在肯定一切表示数量的科学理论时都应该保留误差范围；如果做
到了这一点，牛顿的万有引力学说对于行星运动来说就仍然为真。
下面的论证看来似乎今人抱有希望，但是在事实上却是不正确的。
就我们所举的实例来讲，脱离开p 或者某个一般定律，h 对于q 就是无
关的；这就是说，对于其它行星的观察不能使海王星的存在具有比原来更多
或更少的概率。至于其它定律，我们也许可能411 认为波得定律使得有一个
大体具有海王星轨道的行星存在从大体上看是可能的，但是它却不能指明在
某一特定日期行星已经走过的一段轨道。如果我们假定波得定律以及万有引
力以外的任何其它有关定律给予认为有一个大体沿着海玉星轨道运行的行星
的假定以概率X，并且假定对于海王星的视位置的计算带有误差范围，那J
么海王星在它所在的位置被发现的概率就将是J /2 。现在的值很小而的
pJ x
值也不能认为很大。所以pq / h ，这个值等于xxJ /2 p，就必然很小。假定
我们把X 作为1/ 10 ，J作为分钟，那么pq /h ＝1/ 10x ×3600＝1/ 36 ，
6
000。所以如果我们假定p/h＝1/36，我们就将有y＝1/1000 和
p / qh =
1000
。
1001
这样，即使在海王星被发现之前，万有引力定律象掷骰子出双六那样不
大可能，在发现之后它却具有1000 比1 的有利情况。
这个论证如果推广到所有观察到的有关行星运动的事实，显然表明如果
万有引力定律在最初被人提出来的时候即使具有很小的概率，它不久就几乎
成了带有必然性的东西。但是它却丝毫不能帮助我们估计这种最初的概率，
因此即使它真，也不能为我们从观察到理论中间所做的理论性质的推理提供
稳固可靠的基础。
另外，上面这种论证由于以下的事实也可以受到人们的反对，即万有引
力定律并不是使人预料海王星在它原来的地点出现的唯一定律。假定万有引
力定律在时间t 以前一直为真，这里t 是发现海王星之后的任何一个时刻；
那么我将仍然有q/p’h＝1，这里p'表示认为这个定律只是到t 以前一直为
真的假设。所以我们有比纯粹机会或者纯粹机会和波得定律加起来更多的理
由来预料海王星的发现。这个定律直到那时一直为真这件事已经成为具有很
大概然性的事情。推论它在将来有效就需要一个绝不能从数学的概率论中推
导出来的原理。这种想法破坏了建设一般理论的归纳论证的全部力量，除非
这种论证受到某种类似人们所认为的自然的齐一性的原理的支援。在这里我
们又一次看到归纳需要某种超出逻辑范围、不依靠经验的普遍原理的支持。
D。莱新巴哈的理论
莱新巴哈的概率论的特点在于归纳就包含在概率的定义之中。这个理论
有如下述（略加简化）：
已知一个统计上的系列——例如生死统计上的系列——并且已知包含该
系列中某些分子的部分重合的两个类a 和B，我们常常发现当项目数大时，a
的分子为B 的分子的百分数大体上保持不变。假定当项目超过了比方说10，000 时，人们发现记录下来的a 为B 的比例永远不能大大超过或不及m/n，
并且这个有理分式比任何其它分式都更加接近平均观察到的比例。这样我们
就“假定”不管这个系列怎样扩展，比例将永远接近M/n。我们把一个a 为
一个B 的概率定义为在观察次数无限增加时观察到的频率的极限，借着我们
的“假定”，我们认为这个极限是存在的并且就在m/n 的邻域中，这里m/n
是可能得到的最大实例中所观察到的频率。
莱新巴哈明确断言任何命题都不带必然性；所有命题都只具有不同程度
的概然性，并且每个概率都是一个频率的极限。他承认，根据这种理论，计
算频率所用的那些项目本身也只具有概然性。拿死亡率作例来看：当我们判
断一个人死了之后，他可能仍然活着；因此死亡统计中每一项都是可以怀疑
的。根据定义，这就表示一次死亡的记录一定是一系列记录当中的一个，而
这个系列中有些记录是正确的，有些则是错误的。但是那些我们认为正确的
记录也只具有概然的正确性，并且必定是某种新的系列的分子。这一切他都
承认，但是他说到了某个阶段我们就结束了这种无止境的后退，而采取一种
他所谓的“盲目假定”①。一个“盲目假定”是认某个命题为真的一次决定，
尽管我们并没有这样做的充分理由。
在这个理论中有两种“盲目的假定”，也就是：（1）在这个统计系列中
我们选取当作基本项目的那些最终项目；（2）认为在有限次数的观察中发现
的频率，不管观察次数怎样增加，大体上会保持不变的那个假定。莱新巴哈
认为他的理论是完全属于经验范围的，因为他并不断言他的“假定”为真。
我现在并不是要研究莱新巴哈的一般理论，这种理论已经在前面一章里
谈论过。我现在要研究的只是他关于归纳的理论。他的理论的要点是：如果
他的归纳假定为真，那么预测就是可能的，否则预测就是不可能的。因此我
们唯一能够得到支持一种预测而不是另一种预测的概率的途径就是设想他的
假定为真。我并不是想否认要得到支持预测的概率就需要某种假定，我想否
认的是所需要的那种假定就是莱新巴哈的假定。
他的假定是：已知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 这些类必须通过内包，而不是通过
说出它们的分子来得到定义。任何为归纳提供