对我们这个定义的补充和证明

对我们这个定义的补充和证明

§70．定义由于富有成果而被证明是有效的。一些定义可以被完全省略，同时不给证明过程造成任何缺陷，应该把这样的定义作为完全无价值的予以抛弃。

因此让我们尝试一下，从我们对属于F这个概念的数的解释是不是能够推出数的已知性质。这里我们将满足于最简单的性质。

为此还必须更确切地把握等数性。前面我们借助相互一一对应解释它，现在应该说明我想如何理解这个表达，因为人们从中可能很容易猜测某种直观的东西。

让我们考虑下面的例子。如果一个饭店服务员想确信他在桌子上摆放的餐刀恰好与盘子一样多，那么他既不必数餐刀，也不必数盘子，他只要在每一个盘子的右边摆放一把餐刀，使得桌子上每一把餐刀都在一个盘子的右边。这样，盘子和餐刀就是相互一一对应的，而且这是通过相同的位置关系。如果我们在

“a放在A的右边”

这个句子中，考虑用不同的对象代入a和A，那么这里保持不变的内容部分就构成这种关系的本质。让我们概括和推广这一点。

当我们从涉及一个对象a和一个对象b的可判断内容把a和b分离出来时，我们就剩下一个关系概念，因而它需要以双重方式补充。如果我们在

“地球比月亮大”

这个句子中分离出“地球”，我们就得到“比月亮大”这个概念。反之，如果我们分离出“月亮”这个概念，我们就获得“小于地球的”这个概念。如果我们同时把“地球”和“月亮”都分离出去，则还剩下关系概念，这个概念本身就像一个简单概念那样没有意义：它总是需要得到补充才能成为可判断的内容。但是可以用不同的方式进行补充：例如，我可以不代入地球和月亮，而代入太阳和地球，而且由此同样产生出这种分离。

每对个别对应的对象——人们可以说成是主词——与关系概念之间的关系，类似于个别对象与它处于其下的那个概念之间的关系。这里主词是复合构成的。有时候，当关系是可逆的，这在语言上也表达出来，譬如在下面这个句子：“帕鲁斯和泰蒂丝是阿齐利斯的父母。”^[11]有些情况与此相反。例如，不大可能以这样的方式重新表述“地球比月亮大”这个句子的内容，使“地球和月亮”表现为复合构成的主词，因为“和”这个词总是指示某种相等位置。但是这不影响实质问题。

因此，关系概念同简单概念一样，属于纯逻辑。这里考虑的不是关系的特殊内容，而仅谈逻辑形式。而且关于这种逻辑形式可以谈论的是：它的真是分析的，并被看作先验的。这适合于其它概念，同样适合于关系概念。

正像

“a处于F这个概念之下”

是一个涉及一个对象a的可判断内容的普遍形式一样，也可以把

“a与b有φ关系”

看作一个涉及对象a和涉及对象b的可判断内容的普遍形式。

§71．如果现在每个处于F这个概念之下的对象都与一个处于G这个概念之下的对象有φ这种关系，而且如果一个处于F之下的对象与处于G这个概念之下的每个对象有φ关系，那么处于F和G下的对象就通过φ关系相互对应起来。

人们还可以问，如果F这个概念之下根本没有对象，那么

“每个处于F之下的对象都与一个处于G之下的对象有φ这种关系”

这个表达意谓什么。我把它理解为：无论a表示什么，

“a处于F之下”

和

“a与处于G之下的任何对象都没有φ这种关系”

这两个句子不能并存，因而要么前一个句子是假的，要么后一个句子是假的，要么两个句子都是假的。由此可知，如果不存在处于F之下的对象，那么“每个处于F之下的对象与一个处于G之下的对象都有φ这种关系”，因为在这种条件下，无论a可能是什么，总能够否定第一个句子

“a处于F之下”。

同样，

“一个处于F之下的对象与每个处于G之下的对象有φ这种关系”

这个句子意谓：无论a可能是什么，

a处于G之下”

和

“任何处于F之下的对象都与a没有φ这种关系”不能并存。

§72．现在我们已经看到，处于F和G这两个概念之下的对象什么时候通过φ这种关系相互对应。但是在我们这里，这种对应应该是相互一一对应。我的理解是，这说明下面两个句子都是有效的：

1．如果d与a有φ这种关系，并且如果d与e有φ这种关系，

那么一般来说，无论d、a和e可能是什么，a与e相同。

2．如果d与a有φ这种关系，并且如果b与a有φ这种关系，

那么一般来说，无论d、b和a可能是什么，d与b相同。

以此我们把相互一一对应的关系化归为纯逻辑关系。现在我们可以如下定义：

“F这个概念与G这个概念是等数的”

这个表达与

“存在一种关系φ，它使处于F这个概念之下的对象与处于G之下的对象相互一一对应”

这个表达具有相同的意谓。

我重复说一遍：

属于F这个概念的数是“与F这个概念等数的”这个概念的外延，

我还要补充说：

“n是一个数”

这个表达与

“存在一个这样的概念，n是属于它的这个数”这个表达具有相同的意谓。

以这种方式数这个概念得到解释，当然表面上是通过它自身得到解释的，但是实际上却没有错误，因为“属于F这个概念的这个数”已经得到解释。

§73．现在我们想首先说明，如果F这个概念是与G这个概念等数的，那么属于F这个概念的数就与属于G这个概念的数相等。当然，听上去这像是同语反复，但实际上不是，因为“等数的”这个词的意谓不是从这种复合构成得出的，而是从上面给定的解释得出的。

根据我们的定义应该表明，如果F这个概念与G这个概念是等数的，那么“与F这个概念等数的”这个概念的外延与“与G这个概念等数的”这个概念的外延相同。换句话说，必须证明，在这一前提下，

如果H这个概念是与F这个概念等数的，那么它与G这个概念也是等数的

和

如果H这个概念是与G这个概念等数的，那么它与F这个概念也是等数的

这两个句子是普遍有效的。第一个句子的结果是：如果存在一个关系φ，它使处于F这个概念之下的对象与处于G这个概念之下的对象相互一一对应，而且如果存在一个关系ψ，它使处于H这个概念之下的对象与处于F这个概念之下的对象相互一一对应，那么就存在一种关系，它使处于H这个概念之下的对象与处于G这个概念之下的对象相互一一对应。下面的字母排列将更清楚地表明这一点：

HφFφG。

实际上可以给出这样一种关系：它在下面这个句子的内容中

“存在一个对象，c与它有ψ这种关系，而它与b有φ这种关系”，

如果我们从中把c和b分离出来（看作关系点）。人们可以表明，这种关系是一种相互一一对应的关系，而且它使处于H这个概念之下的对象与处于G这个概念之下的对象相对应。

以类似的方式也可以证明另一个句子。^[12]但愿这些说明能够足以使人们认识到，这里我们不必以直觉作任何证明的依据，而且，我们的定义可以有一些用处。

§74．现在我们可以过渡到对个别的数的解释。

由于在“与自身不相等”这个概念之下没有任何东西，因此我解释说：

0是适合“与自身不相等”这个概念的这个数。

也许人们会提出异议，认为我在这里是谈论一个概念。也许人们会提出反对意见，认为这里包含一个矛盾，而且人们还会想起木质的铁和方形的圆这些老生常谈。我却认为，这些老生常谈根本没有人们说的那么糟糕。尽管它们不会直接有用处，但是它们也不会造成任何危害，只是不要假设一些东西处于它们之下；而且人们还没有由于仅仅使用这些概念就做出这样的假定。一个概念含有矛盾，这并非总是显而易见得不需要进行任何研究；为了进行研究，人们必须首先有这个概念，并且像对其它概念那样对它进行逻辑探讨。从逻辑的观点出发，而且为了证明过程的严格性，人们能够对一个概念提出的全部要求就是它要有鲜明的界限，使得对每个对象来说，它是否处于这个概念之下，都是确定的。而像“与自身不相等”这样包含矛盾的概念却完全满足这种要求。因为人们知道，任何对象都不处于这样一个概念之下。^[13]

我是这样使用“概念”一词的：

“a处于F这个概念之下”

是一种可判断的内容的普遍形式，这个内容涉及一个对象a，并且无论用什么替代a，这个内容依然是可判断的。而在这种意义下，

“a处于‘与自身不相等’这个概念之下”

与

“a与自身不相等”

或

“a不等于a”

是有相同意谓的。

我本可以用没有东西处于其下的别的任何概念来定义0，但是对我来说，重要的是选择这样一个概念，关于它能够用纯逻辑方法证明这一点；而“与自身不相等”这个概念最适合这一目的，这里，我赞同前面引用的莱布尼兹对“相等的”的纯逻辑的解释。

§75．现在，必须能够借助前面的规定证明，每一个没有东西处于其下的概念与其他每一个没有东西处于其下的概念是等数的，并且仅与这样一个概念是等数的，由此得出，0是属于这样一个概念的数，而且如果属于一个概念的数是0，那么就没有对象处于这个概念之下。

如果我们假定，一个对象既不处于F这个概念之下，也不处于G这个概念之下，那么为了证明等数性，我们必须有一种关系φ，对这种关系φ来说，下面的句子是有效的：

每个处于F之下的对象与一个处于G之下的对象有φ这种关系；一个处于F之下的对象与每个处于G之下的对象有φ这种关系。

根据前面关于这些表达式的意谓的论述可以看出，根据我们这些假定，每个关系都满足这些条件，因而相等也满足这些条件，此外相等还是相互一一对应的；因为它对于上面为此提出的两个要求都是有效的。

相反，如果一个对象，譬如a，处于G之下，而没有任何对象处于F之下，那么

“a处于G之下”

和

“任何处于F之下的对象与a都没有φ这种关系”

这两个句子对各个φ关系共同成立；因为第一个句子依据第一个假定是正确的，第二个句子根据第二个假定是正确的。就是说，如果不存在任何处于F之下的对象，那么也就没有任何与a有任何关系的对象。因而就没有下面的关系，根据我们的解释，这种关系使处于F之下的对象与处于G之下的对象相对应，因此F这个概念和G这个概念不是等数的。

§76．现在我要解释自然数序列中每两个相邻项的相互关系。假定

“存在一个概念F和处于它之下的这样一个对象x，使得属于F这个概念的数是n，而属于‘处于F之下但不等于x’这个概念的数是m”

这个句子与

“n在自然数序列中紧跟m”

这个句子具有相同的意谓。

我避免用“n是跟在m后面的这个数”这个表达，因为为了证明这个定冠词的合理性，必须先证明两个句子。^[14]出于同样的原因，我在这里尚不说“n＝m＋1”；因为通过等号，（m＋1）也被表示成为对象。

§77．现在，为了达到1这个数，我们必须首先表明，存在某种东西，它在自然数序列中紧跟着0。

让我们考虑下面这个概念——或者，如果人们愿意的话，让我们考虑下面这个谓词——“与0相等”。0处于这个概念之下。却没有对象处于“与0相等但不与0相等”这个概念之下，因而0是属于这个概念的数。据此我们就有一个概念“与0相等”和一个处于它之下的对象0，对于它们来说，下面的句子是有效的：

属于“与0相等”这个概念的这个数与属于“与0相等”这个概念的这个数相等；

属于“与0相等但不与0相等”这个概念的这个数是0。

因此根据我们的解释，属于“与0相等”这个概念的这个数在自然数序列中紧跟0。

如果我们现在定义：

1是属于“与0相等”这个概念的这个数，

那么我们可以把上一句话表达为：

1在自然数序列中紧跟0。

为了1的客观合理性，对1的定义不假定任何观察的事实，^[15]说明这一点也许不是多余的；因为人们很容易混淆下面的情况：为了使我们可以做出这个定义，必须满足一定的主观条件；一些感觉经验促使我们作出这个定义。^[16]感觉经验毕竟可以是合乎实际的，同时推出的句子又不会不再是先验的。例如，这些条件也包含以下的情况：大量优质血液流经大脑——至少据我们所知是这样；但是我们上一个句子的真却不依赖于这种情况；即使不再发生这样的情况，它依然存在；而且即使有一天所有理性动物会同时进入冬眠，这个句子的真也不会随之中断，而是完全不受影响。一个句子的真恰恰不是这个句子的被思考的东西。

§78．这里我可以得出几个能够借助我们的定义证明的句子。读者将很容易看到如何进行证明。

1．如果a在自然数序列中紧跟0，那么a＝1。

2．如果1是属于一个概念的这个数，那么存在一个对象，它处于这个概念之下。

3．如果1是属于一个概念F的这个数；如果x这个对象处于F这个概念之下，并且如果y处于F这个概念之下，那么x＝y；即x是与y相同的。

4．如果一个对象处于一个概念F之下，并且，如果从x处于F这个概念之下并且y处于F这个概念之下可以普遍地推出x＝y，那么1就是属于F这个概念的这个数。

5．通过

“n在自然数序列中紧跟m”

这个句子确定的m与n的这种关系，是一种相互一一对应的关系。

在此还没有说，对每个数都存在另一个数，它在数序列中紧跟前者或者前者在数序列中紧跟它。

6．除0以外，每个数在自然数序列中都紧跟一个数。

§79．为了能够证明，对自然数系列的每一个数（n）都有一个数紧跟，人们必须指出一个这后一个数所属于的概念。我们选择

“属于以n结束的自然数序列的项”

作为这个概念，首先必须对此进行解释。

首先，我以一种稍有不同的方式重复我在《概念文字》中所综合的关于一系列推论的定义。

“如果x与之有φ关系的每个对象处于F这个概念之下，而且如果由d处于F这个概念之下普遍地得出，无论d是什么，d与之有φ关系的每个对象都处于F这个概念之下，那么y就处于F这个概念之下，无论F可能表示什么概念”

这个句子与

“y在这个φ序列中跟着x”

和

“x在这个φ序列中在y之前”

是意谓相同的。

§80．对此做几点评述将不是多余的。由于φ这种关系可以是不确定的，因此不能以空间和时间对应的形式来考虑这种序列，尽管不排除这些情况。

人们也许会以为另一种解释更自然一些，例如：如果从x出发，把注意力总是从一个对象转移到它与之有φ关系的另一个对象上，而且如果以这种方式最终能够达到y，那就可以说，y在这个φ序列中跟着x。

这是研究这个问题的一种方式，而不是定义。我们在注意力游移时是否达到y，可能取决于主观上各种各样的附加情况，例如取决于供我们支配的时间，或取决于我们对事物的认识。y是否在这个φ序列中跟着x，一般来说与我们的注意力和转移注意力的条件没有任何关系，这是某种事实的东西，就像一片绿叶反映出某种光线，无论它现在是不是被我看见并唤起我的感觉，就像一粒盐在水里是可溶的一样，无论我是不是把它扔到水里并观察这个溶解过程，即使我根本不可能进行这样的尝试，它仍然是可溶的。

通过我的解释，这个问题从主观可能性的领域提高到客观确定性的领域。实际上：从一定的句子得出另一个句子，这是客观的东西，是不依赖于我们的注意力的活动规律的东西，我们得不得出这个结论都无所谓。这里我们有一个标志，凡是在可以提出这个问题的地方，都可以普遍地判定它，即使在个别的情况下，外在的困难阻碍我们不能判定这情况是否合适时，也是如此。对于问题本身，这是无关紧要的。

我们不必总是从头到尾审查从开始项到一个对象之间的所有中间项，以便确定这个对象跟着那个项。例如，如果看到在这个φ序列中b跟着a，c跟着b，就可以根据我们的解释推论，c跟着a，甚至不必知道其中间项。

仅通过对一个序列中后继的这种定义，就可以把n到（n＋1）这种表面上是数学固有的推理方式化归为普遍的逻辑规律。

§81．如果我们现在有这样一种关系作关系φ，即通过

“n在自然数序列中紧跟m”

这个句子建立起m到n的关系，我们就不说“φ序列”，而说“自然数序列”。

我进一步定义：

“y在这个φ序列中跟着x或者y与x相同”

这个句子与

“y隶属以x开始的这个φ序列”

这个句子和

“x隶属以y结束的这个φ序列”

这个句子是意谓相同的。

因此，a隶属以n结束的自然数序列，如果n要么在这个自然数序列中跟着a，要么n与a相等。^[17]

§82．现在应该表明，（在尚需要得到说明的条件下）属于

“隶属以n结束的自然数序列”

这个概念的这个数，在这个自然数序列中紧跟n。因此在这种情况下就证明，存在一个在自然数序列中紧跟着n的数；这个序列没有最后一个项。这个句子显然是无法用经验方法或归纳法建立起来的。

在这里若是给出这个证明本身，就会离题太远。可以仅仅简要提示一下证明过程。应该证明

1．如果a在自然数序列中紧跟d，而且如果对于d而言，属于

“隶属以d结束的这个自然数序列”

这个概念的这个数在这个自然数序列中紧跟d，这是有效的，那么对于a而言，属于

“隶属以a结束的这个自然数序列”

这个概念的这个数，在这个自然数序列中紧跟a，这也是有效的。

其次，应该证明，在刚才论述d和a的句子中所陈述的东西，对于0是有效的，然后应该得出，这对于n也是有效的。如果n属于以0开始的这个自然数序列。当必须把关于d和关于a，关于0和关于n的那个共同陈述当作概念F时，这种推论方式就是我关于

“y在这个自然数序列中跟着x”

这个表达式所给出的定义的应用。

§83．为了证明上一节1这个句子，我们必须表明，a是属于“隶属以a结束的这个自然数序列但不等于a”这个概念的数。而为了表明这一点，又必须证明，这个概念与“隶属以d结束的这个自然数序列”这个概念的外延相等。为此，人们需要下面这个句子：任何隶属以0开始的这个自然数序列的对象在这个自然数序列中都不能跟着自己。这一点也必须借助我们关于一个序列的后继的定义证明。^[18]

由此我们不得不为属于

“隶属以n结束的自然数序列”

这个概念的这个数在这个自然数序列中也紧跟着n的这个句子补充一个条件，即n隶属以0开始的自然数序列。为此通常用一种更简略的表达方式，我把这种方式解释为：

“n属于以0开始的自然数序列”

这个句子与

“n是一个有穷数”

这个句子是意谓相同的。

于是我们可以把最后这个句子表达如下：在自然数序列中任何有穷数都不跟着自己。