第七章概率与归纳法
A.问题的提出
归纳的问题是一个复杂的问题，它有着不同的方面和分支。我将从叙述
单纯列举的归纳法这个问题开始。
1.那个与它比较起来其它都是次要的基本问题是：已知一个类a 中许多
实例都已发现属于一个类β，那么这种情况使得（a）下一个a 将是一个β，
或者（b）所有的a 都是β，具有概然性吗？
2.如果这两者之一并不普遍为真，那么对于a 和β有没有可以发现使它
为真的限制？
3.如果加以适当限制这两者之一都为真，那么在这样的限制下，它是一
个逻辑的定律还是一个自然界的定律？
4.它可以从某个其它原理推导出来吗？例如自然界的种类，凯恩斯的有
限变异说，法则的支配，自然界的齐一性，或者其它原理。
5.归纳原理应当用一种不同形式说出来吗？也就是说：已知一个假设h
具有许多已知的真的后果并且没有已知的假的后果，这件事实能使h 具有概
然性吗，如果在一般情况下不能，在适当情况下它能做到这一点吗?
6.在归纳公设为真的情况下将使已被公认的科学推论正确有效的归纳公
设的最低限度形式是什么？
7.有没有任何理由，并且如果有的话是什么理由，使得我们认为这个最
低限度的公设为真？或者，如果没有这类理由，是否还有按照假定它为真来
行动的理由，在这些讨论中我们需要记住一般所用的“概然的”这个词在意
义上的含混不清。当我说在某些情况下，“大概”下一个a 将是一个β时，
我希望能够按照有限频率说来解释这个现象，但是如果401 我说归纳原理“大
概”是真的，我一定是在用“大概”这个词来表示高度的可信性。如果不把
“概然的”这个词所具有的这两种意义适当划分开来，就很容易发生混淆。
我们将要进行的这个讨论具有一段可以认为是从休谟开始的历史。就很
多次要问题来说，我们已经取得了确定的看法；有时这些次要的问题人们当
初并没有看出来。但是我们现在进行的研究已经使我们看得相当清楚：得出
成果的技术上的讨论对于主要问题的阐明并没有起多大作用，这个主要问题
大体上仍然和休谟留下来的情况一样。
B.单纯列举的归纳法
单纯列举的归纳法就是下面这个原理：“已知有n 个数目的a 已经发现
为β，并且没有a 已经发现不是β，那么这两个陈述：（a）‘下一个a 将是
一个β’，（b）‘所有的a 都是β’就都具有一种随着n 的增加而增加的概
率，并且当n 接近无限大时接近必然性而以它为极限”。
我将把（a）叫作“特殊归纳”，而把（b）叫作“一般归纳”。这样（a）
将根据我们关于过去人类都有死的知识推断某某先生也有死，而（b）则将推
断大概所有的人都有死。
在我们还没有接触到较难或有疑问的论点之前，某些比较重要的问题却
可以比较容易地得到解决。这些问题是：
1.如果归纳要完成我们期望它在科学中所完成的任务，“概率”的解释
就必须使得一个概率陈述断言一件事实；这就要求所涉及的那种概率应当从
真与伪推导出来，而不是一个不能下定义的概念；而这一点又能使有限频率
的解释或多或少成为不可避免的解释。
2.归纳在应用到自然数列的时候显然是无效的。
3.归纳作为一个逻辑原理是无效的。
4.归纳要求它所根据的实例是一个级数，而不仅仅是一个类。
5.为了使这个原理有效，不管需要规定什么限制，必须通过给a 和β这
些类下定义的内包的说法表达出来，而不是通过外延的说法。
6.如果宇宙中的事物数目是有限的，或者只有某个有限类对于这种归纳
有关，那么就一个足够大的n 来说，归纳就成为可以证明的东西；但是在实
际应用上这一点并不重要，因为这里所说的n 比任何实际研究中可能遇到的
一定更大。
我现在就来证明这些命题。
1.如果我们把“概然性”当作一个不可下定义的概念，我们就不得不承
认不大可能的事也可能发生，因此一个概率命题关于自然界的进程并没有向
我们提供任何知识。如果我们采取这个看法，归纳原理就可能是正确有效的，
然而每个符合这个原理的推论却可能证明为伪；这是不大可能，但并非不可
能的事。因此，一个使归纳为真的世界在经验界中是不能与一个使归纳为伪
的世界区别开来的。由此可以看出永远不可能找出任何支持或反对这个原理
的证据，并且它也不能帮助我们推论将要发生的事。如果这个原理要达到它
的目的，我们就必须把“概然”的意思解释为“实际上通常发生的事物”；
这就是说，我们必须把一个概率解释为一个频率。
2.算术中的归纳在算术中我们容易找出导致正确结论的归纳实例，也容
易找到其它导致错误结论的归纳实例。耶方斯举出两个实例：
5，15，35，45，65，95
7，17，37，47，67，97
在第一行中，每个以5 结尾的数都可以被5 整除；这就使人推想每个以
5 结尾的数都可以被5 整除，而这是对的。在第二行中，每个以7 结尾的数
是一个质数；这也可能使人推想每个以7 结尾的数都是质数，而这却是错误
的。
或者让我们看：“每个为偶数的整数是两个质数的和”。每个试过的实
例都说明这是对的，而这样的实例在数量上是很大403 的。然而人们对于它
是否永远为真这一点却一直抱着合理的怀疑。
作为算术归纳的一个明显失败的例，让我们看下面这个实例①：使π（x）
≤x 的质数的数目
li x
dt
t o
x
( )
log
= ò
我们知道当x 数大时，π（x）和li（x）几乎相等。我们还知道对于每
个已知的质数来说，π（x）＜li（x）
高斯推想过这个不等式永远为真。人们试过所有107 以下的质数以及许
① 看哈代的《腊玛努赞》第16，17 页。
多超过 107 的质数，都没有发现不能成立的个别情况。然而里脱伍德在1912
年却证明对于无限数目的质数来说这个不等式不能成立，斯古士（伦敦数学
学会通报，1933 年）也证明这个不等式对于某个小于
34
10
10
10
的数不能成立。我们将看到高斯的推想尽管已经证明是错误的，它却具有甚
至比我们最坚信不移的关于经验界的概括所依靠的要好得多的归纳证据。
我们很容易无限制地得出算术中的错误归纳，而无需过多地涉及数论。
举例来说，小于n 的任何数都不能被n 整除。我们可以使n 任意增大，这样
就为“任何数目都不能被n 整除”这个概括找到尽可能多的有利的归纳证据。
显然任何n 个整数一定具有大多数整数所不具有的许多共同性质。举一
件事情来说，如果m 是其中最大的数，它们就都具有不比m 大这个无限罕见
的性质。所以如果应用到整数上来，无论一般的还是特殊的归纳都不是正确
有效的，除非在它身上应用归纳的那种性质具有某些限制。我不知道怎样说
出这种限制，然而任何一个有能力的数学家关于那种可能得出一个后来证明
正确有效的归纳的性质都具有一种类似常识的觉察力。如果你看到l＋3＝
22，1＋3＋5＝32，1＋3＋5＋7＝42，你就会容易推想到
1＋3＋5＋..＋（2n—1）＝n2
并且我们可以很容易证明这个想法是正确的。同样，如果你看到13＋23
＝32，13＋23＋33＝62，13＋23＋33＋43＝102，你就会推想到靠前面的n 个立
方的和永远是一个平方数，而这又是很容易加以证明的。对于这类归纳来讲，
数学的直观并不是永远可靠的，但是有能力的数学家运用直观时对的次数似
乎比错的次数要多。但是我不知道怎样讲明白在这类情况下指导数学直观的
那种东西。另外，我们只能够说还没有任何已知的限制能使应用到自然数上
的归纳有效。
3.归纳作为一个逻辑原理是无效的显然如果我们可以任意选择我们
的类β，我们就可以很容易地确信我们的归纳将要失败。设a1，a2，..an
为a 中直到现在已经观察过的分子，并已发现它们都是β的分子，另外设an
＋1 为a 的下一个分子。就纯粹逻辑的范围而论，β也许只由a1，a2，..an
这些项目组成；或者它也许是由把an+1除外的宇宙中所有事物组成；或者它
也许是由任何介乎这两者之间的任何类组成。就这类情况中无论哪一种情况
来说，推论到an+1的归纳都是错误的。
显然（反对的人可能说）β必须不是一个也许可以叫作“制造出来的”
类，即一个部分地由外延得到定义的类。在归纳推论中所研究的那类例子中，
β永远是一个通过内包而不是通过外延来知道的类，除了那些被观察到的分
子a1，a2，..an以及那些不同时是a 的分子而又碰巧可能被观察到的β的
分子。
我们很容易做出显然错误的归纳。一个乡下人可能说会说：所有我曾看
到的牛都在希尔福郡内；所以大概所有的牛都在这个郡内。或者我们可以提
出：所有现在活着的人都没有死去，所以大概所有现在活着的人都不会死。
这类归纳中的谬误是很明显的，但是如果归纳是一个纯粹逻辑的原理，这些
就不是谬误。
因此显然如果要归纳不能证明为伪，β这个类必须具有某些特点，或者
必须与a 这个类具有某种特殊关系。我并不是主张有了这些限制这个原理就
一定为真；我所主张的是没有这些限制这个原理就一定为伪。
4.在经验界的素材中，事例都是按照时间顺序发生的，因而它们永远是
成系列的。当我们研究归纳是否可以在算术中应用的时候，我们自然想到按
照大小排列起来的那些数字。但是如果我们可以任意排列它们，我们就可以
得到奇怪的结果；例如，象我们已经看到的那样，我们可以证明一个任意选
取的数不为质数的可能是无限小的。
在表述特殊归纳时重要的是应当有下一个例，这就要求排成系列。
要让普遍归纳具有说服力，我们就必须知道a 的前n 个分子发现是β的
分子，而不仅知道a 和β具有n 个共同分子。这也要求排成系列。
5.假定我们承认如果要归纳推论正确有效，在a 和β之间就必须有着某
种关系，或者它们当中一个必须有着某个特点，由于这种关系或这个特点它
才正确有效，那么显然这种关系必须是介乎内包之间的——例如介乎“人”
和“有死的”之间或者介乎“反刍动物”和“分蹄的”之间。我们打算推论
出一种外延关系，但是在我们处理经验界中不断发现新的分子的一些已知类
时，我们起初并不知道a 和β的外延。每个人都会承认“狗吠”是一个正确
的归纳；我们预料到一种动物的视觉外形与它做出的声音之间的相互关联。
这种预料当然也是另一种范围更大的归纳的结果，但这并不是目前我所要谈
的问题。我所要谈的是介乎都是内包的一种形状与一种声音之间的相互关连
以及某些内包看来好象比某些其它内包更可能具有归纳上的关系这件事实。
6.这一点是明显的。如果宇宙是有限的，完全的列举在理论上就是可能
的，在完成这项工作之前一般的概率计算表明归纳大概是正确有效的。但是
在实际应用上这种想法并没有什么重要性，这是因为我们能够观察的事物与
宇宙中事物在数量上过分悬殊的缘故。
让我们回到那个一般原理上来，记住我们必须找出某些使它406 可能正
确有效的限制。让我们先看特殊归纳。特殊归纳说，如果我们发现任意选出
的属于a 的n 个分子完全由β的分子组成，那么下一个a 将是一个β就是可
能的；换句话说，大多数剩下的a 是β。这句话本身只需要具有概然性。我
们可以假定a 是一个有限类，比方说包括N 个分子。我们知道其中至少有n
个是β的分子。如果同时为β的分子的a 的分子总数是m，
N!
那么选择个项目的方法总数是n
n!(N -n)!
①13602100_0486_0 ，而选择个为
n
m!
a的项目的方法总数是
n!(m -n)!
。因此一个完全由组成的选择机会是
a
m!(N -n)!
。
N!(m -n)!
如果pm 是m 作为a 和β的共同项目数的先验可能性，那么在经验后出现
的可能性就是
m!(N -n)!
. N
Pm·
m!(N -n)!
Pm·
N!(m -n)
N!(m -n)!
1
让我们把它叫作qm。
如果a 和β的共同分子数是m，那么取出n 个为β的a 之后，还有m—n
个β和N—m 个非β。所以，根据a 和β有m 个共同分子的假设，我们得出另
一个β的概率。因此总的概率是
N
.qm ·
m -n
N -n
m=n
这个式子的值完全要看pm 的值来定，而pm 的值并没有正确有效的计算
方法。如果我们和拉普拉斯一样，假定m 的每个值具有相同的概率，我们就
得到拉普拉斯的结果，即下一个是β的机会是
nn
+
+
21
。如果我们先验地假定
a
每个a 为β和不为β是同样可能的，那么我们就得到1/2
的值。即使我们有拉普拉斯的假设，普遍归纳也只有
Nn +
+
11
的概率，通常这是
个较小的值。
因此我们需要某种在m 接近N 时使得pm 为大数的假设。这将必须依靠a
和β两类的性质，如果我们要让它具有正确有效机会的话。
C.归纳的数学处理
从拉普拉斯那时以来，为了证明归纳推论的概然真理来自数学的概率
论，人们曾经做过各种不同的尝试。现在大家认为这些尝试都不成功，并且
认为如果要使归纳论证正确有效，就必须借助于不是属于逻辑学家所可能想
到的在逻辑上可能的各个不同的世界，而是属于现实世界的某种超出逻辑范
围的特点。
这类论证中第一个就是由拉普拉斯提出的。它的正确的纯数学形式有如
下面所说：
有n＋l 个外形相似的口袋，每个口袋里有n 个球。第一个口袋里的球都
是黑球；第二个口袋里有一个白球，其余是黑球；第（r＋1）个口袋里有r
个白球，其余是黑球。我们选择其中一个不知包含什么的口袋，并从中取出
m 个球。结果发现这些球都是白球。那么（a）下一个取出的球是白球，和（b）
我们已经选出其中都是白球的口袋的概率是多少？
m + 1
答案是：（）下一个球为白球的机会是am + 2
；（ ）我们已经选出其中
b
都是白球的口袋的机会是
mn +
+
11
。
根据有限频率说这个正确的结果有一种简单明确的解释。但是拉普拉斯
推论出如果已经发现个为，那么下一个AB ABm +1
，而所有的A
m 为的机会是
m +1
m +1
都为B 的机会是
n +1
。他是通过假定给出个我们对之一无所知的客体，其
n
中0，1，2，..n 个为B 的概率都相等而得出这个结果的。当然这是一个荒
谬的假定。如果我们换用一个荒谬程度稍小的假定，即认为每个客体为B 或
不为B 的机会相等，那么下一个A 为B 的机会仍然是1/2，尽管已经发现许
多A 为B。
即使我们接受他的论证，如果n 比m 大得多的话，普遍归纳仍然不大可
能，虽然特殊归纳可能变得具有很大的概然性。事实上他的论证已经成了只
有历史兴趣的东西。
凯恩斯在他的《概率论》中对于归纳做出了纯粹数学可能做出的最好处
理，并且最后认为归纳是不充分的。他得出下面的结果
设g 是一个概括性命题，x1，x2，..是有利于这个命题的观察到的实
例，h 是在有关范围内的一般外界条件。
假定x1/h=x2/h=等等。
使pn=g/h x1x2..xn。
这样pn 就是普遍归纳在有了个有利的实例之后的概率。写出表示g
ng
的否定，p0表示g/h，即这个概括命题的先验概率。
那么Pn =
P + xx ..
Px0
/ gh(1 -P)
。
12n 0
当n 增加时，它就接近于1 而以1 为极限，如果
x x 2 ..xh
1
P0
接近于0 而以0 为极限的话；如果有着有限量ε和η使得对于所有足够
大的r 来说，
x /xx ..xh＜1-ε 并且P ＞η，
r 12 r-1 g 0
那么上面那种情况就会发生。wrshǚ.сōm
让我们研究一下这两种情况。第一种情况说有一个小于1 的量1-ε，在
这个概括性命题为伪的情况下，使得在出现一定数目的有利实例之后，出现
下一个有利于这个概括的概率永远小于这个量。让我们看它的一个失败的
例，即“所有的数都不是质数”这个概括。当我们顺着数列看下去时，质数
越来越少，在出现r 个非质数之后下一个数本身为非质数的机会就会增加，
并且在r 保持不变的情况下接近必然性而以它为极限。所以这种情况可能失
败。
但是第二种情况，即g 在归纳开始之前就必须具有一个大于某个有限概
率的概率，却更为困难。一般来说，我们很难看出有什么方法计算这种概率。
对于一个从来没有见过天鹅或听说过天鹅是什么颜色的人来说，“天鹅都是
白色的”具有多大的概率呢？这类问题是既不清楚而又意思含糊的，凯恩斯
也看出这类问题使得他的结论不够令人满意①。
有一个简单的假设可以得出凯恩斯所需要的那种有限概率。让我们假定
宇宙中事物的数目是有限的，比方说是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 这些类必须通过内包，而不是通过
说出它们的分子来得到定义。任何为归纳提供合理根据的关系一定是一种概
念的关系，并且由于不同的概念可能给同一个类下定义，所以可能出现一对
在归纳上相关并分别替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 它的分子来说，根据莱新
巴哈的原理，我们没有理由认为它们为真的可能性比为伪的可能性大；事实
上它们并不具有我们可以估计的概率。
我的结论是：想不用“真”和“伪”这些概念的努力是个失败，并且概
然性的判断和其它判断并没有本质上的不同，而是同样包含在完全的真—伪
二分法的范围之内。
E.结论
自从休谟以来，在科学方法的讨论中归纳一直起着非常重大的作用，所
以弄清楚上面的论证所得出的结论（如果我没有弄错的话）是很重要的。
第一：数学的概率论并没有任何东西可以使我们有理由认为不管是一个
特殊归纳还是一个普遍归纳具有概然性，不管有利于它的实例的确定数目有
多么大。
第二：如果对于一个归纳中所涉及的A 和B 这些类的内包定义的性质不
如什么限制，那么我们就能证明归纳原理不仅可以怀疑而且是虚妄的。这就
是说，已知某一个类A 的n 个分子属于另外某一个类B，那么使A 的下一个
分子不属于B 的那些“B”的值比起使下一个分子属于B 的值更多，除非n
不太小于宇宙中事物的总数。
第三：在一般所谓的“假言归纳”中，由于迄今为止所有它的观察到的
后果都得到证实而使我们认为某一普遍理论具有概然性，这种归纳与单纯列
举的归纳并没有什么重要的不同。因为如果P 是所说的那种理论，A 是由有
关现象组成的类，而B 是由P 的后果组成的类，那么P 和“所有的A 都是B”
就具有相同的意思，P 的证据就是通过单纯列举得到的。
第四：如果一个归纳论证可以正确有效的话，那么归纳原理的叙述就必
须加上某种迄今尚未发现的限制。在实际应用上，科学的常识在各种不同的
归纳面前畏缩不前，这一点我认为是对的。但是那种指导科学的常识的东西
到现在却一直没有得到明确的表述。
第五：如果科学的推理一般来说正确有效的话，它们之所以正确有效必
然是借助于自然界的某个或某些定律，而这个或这些定律说出了现实世界的
一种或几种综合性质。肯定这类性质的一些命题的真实性靠着来自经验的论
证是连概然性也得不到的，因为这类论证一旦超出了迄今记载下来的经验的
范围，它们的正确性就要依靠我们所说的那些原理。
这些原理是什么，并且如果有意义的话，那么又是在什么意义上。我们
能够名符其实地认识这些原理，仍然是有待我们探讨的问题。