第一部数与量数学推理的性质一数学的科学的可能性本身好像.PDF

第一部数与量 第一章数学推理的性质 一 数学的科学的可能性本身好像是一种不可解决的矛盾。如果这种科学之 为演释不过是表面的，则它所有的这种严密而无疑的正确性何由而来的呢？ 反之，若说它的一切命题都可用形式逻辑的规则相互引出，则数学岂不变成 一种庞大的重复语么？三段能不能告人以真正新颖的事物，且如所有必来自 同一律，则所有亦必能归入其中。然则充满许多书中的定理的陈述将不过是 A即A的各种弯转的说法而已，这样说人们会同意吗？ 自然，所有的推理都可归根到几条公理上，因这是所有推理的起源。假 使有人断定这些推理不能化为矛盾律，又如人们也不原认为是一些不能参加 数学需要性的经验事实，则人们还有可能把那些推理列入先验的综合判断之 中。这样并非解决困难，不过加以洗礼而已。即使到了综合判断的性质对于 我们不再神秘的时候，然而那矛盾仍不会消减的，它不过退了一步。三段论 推理对于给与它的数据仍是无所添加的，这些数据化为一些公理，而在结论 中人们决不能找到别的东西。 无论什么定理，如在它的证明中不参加新的公理，则必不是新的，推理 只能借用直接的直觉法给我们直接明显的真理；它好像只是一个寄生的中 人，于是人们要不要问那所有三段论的工具是否单单用来遮蔽我们的借用品 的？ 我们随便展开一本数学书，便知道其中的矛盾令人更为惊奇；著者在每 一页里有推广已知的命题的意图。所以数学方法是否由特别而推及普遍，然 则何以又说它是演绎的呢？ 最后，如果数学是纯粹分析的，或可由少数综合判断分析出来的，则特 殊聪明的人一眼就可能看出所有的真理。再说吧，人们甚至可希望总有一天 会发明一种简单的言语，来叙述这些真理；使得常人也能一目了然。 人们如不承认这些结果，就要知数学推理的本身有一种创造性，因此它 与三段论实有区别。 两者的区别应该是深刻的。譬如将两相等数作同样的均匀运算，便有相 同的结果，我们实在不能解释这条常用规则的奥妙。 所有这些推理的形式，不问其可否归入真正的三段论，总保有分析性， 而其能力薄弱也正是这个缘故。 二 我们现在要讨论的，已是很陈旧的问题了；赖布尼兹已经想证明二加二 得四，我们试看他的证法如何。 我假定对数1已下定义，又知x＋1即加一单位于给定数x的运算。 这些定义，无论如何，与推理的进展没有关系。 其次我对2，3和4用下列等式规定： （1）1十1＝2， （2）2＋1＝3， （3）3＋1＝4， 同样，我用下列式规定x＋2 （4）x＋2＝ （x＋1）＋1。 因此我们有： 2＋2＝ （2＋1）＋1， （定义4） （2＋1）＋1＝3＋1， （定义2） 3＋1＝4， （定义8） 所以：2＋2＝4。 （即所欲证） 我们不能否认这个推理是纯分析的。但假使问数学家，他必答曰： “这 不是真的证明，这不过是一种核验而已”。人们仅将这两种纯粹公约性的定 义做了一种比较，才知道是相等的；至于新的东西，是一点没有得到核验之 所以不同于真的证明，实因它是纯粹分析的，是毫无效果的。其所以无效果， 正因其结论只是三段论的两前提之一种译语而已。反之，真正的证明是很丰 富的，因为里面的结论在某种意义上是比较前提普遍的。 因此2＋2＝4这个等式之所以能被核验，只因它是特例而已。所有数学 中的特别定理都可用这方法核验。然而数学如竟成为这样的一串的核验，那 它将不成为科学了。例如下棋的人并不显得因为赢了一盘，就发明一种科学。 唯有普遍性才成为科学。 人们甚至可说那些准确的科学的目的，正在于免去我们这种直接核验的 辛苦。 三 我们且看在工作时的几何家，而考察他们所用的方法。 这却不是容易的事；单单任意翻开一