(2)我们的经验虽然不明确和零碎,但却说明了现实最奥妙的深处,(3)事物的细节仅只是为了要恢复它们的本来面目就必须放在整个事物的系统中一起观察,(4)这种事物体系包含着逻辑理性的谐和与审美学成就的谐和,(5)逻辑谐和在宇宙中是作为一种无可变易的必然性而存在的,但审美的谐和则在宇宙间作为一种生动的理想而存在着,并把宇宙走向更细腻、更微妙的事物所经历的残缺过程熔合起来。
32纯粹数学这门科学在近代的发展可以说是人类性灵最富于创造性的产物。另外还有一个可以和它争这一席地位的就是音乐。一切争雄问题我们都可以略而不谈,而要考察一下我们有什么理由承认数学应占有这个地位。数学的创造性就在于事物在这一门科学中显示出一种关系,这种关系不通过人类理性的作用,便极不容易看出来。因此,所有能够直接从感官感觉中得到的概念,除开现存数学知识所引起和引导的知觉以外,其余的都和当代数学家心中所存在的概念风马牛不相及。
我们不妨回溯到几千年以前,看看当时的人甚至连最伟大的贤哲的脑筋都是多么简单。某些抽象概念在我们看来也许一眼就能看清,但他们却认为只能作大概的理解。就拿数字来当例子吧。我们认为“5”这个数字可以应用到任何适当的一群实念上去,如5条鱼、5个小孩、5个苹果、5天等。
因此,在考虑数字“5”与数字“3”的关系时,我们所想的便是两群东西,一群有5个个体,另一群有3个个体。我们决不会去考虑组成两群的任何个别的实有,甚至也不会去考虑其中的某一类实有。我们所考虑的两群之间的关系与两群中任何个体本身的本质完全无关。这便是抽象推理中非常显着的功绩。人类要达到这一步必然花去了不少的岁月。在漫长的时间中,一堆堆的鱼必须互相比出一个多少,作为思想史要素之一的数学日子也要作出一个比较。但首先注意到7条鱼和7天之间的共同点的人必然使思想史进了一大步。他是第一个具有纯数学观念的人。当时他一定还不可能看出有待发现的抽象数学观念的复杂性与微妙性,也一定料想不到这些观念会在往后的每一个世纪中发生广泛的吸引力。学术界有一个错误的传统,认为对数学的爱好是一种怪癖,每一个时代只有少数的怪人才有这种怪癖。情形尽管是这样,但抽象思维在古代的社会里是找不到类似例子的。因此,从这里面所能得到的乐趣也是难以估计的。第三,数学知识对人类的生活、日常事务、传统思想以及整个的社会组织等等都将发生巨大的影响,这一点更是完全出乎早期思想家的意料之外了。甚至一直到现在,数学作为思想史中的一个要素来说,实际上应占什么地位,人们的理解也还是摇摆不定的。假如有人说;编着一部思想史而不深刻研究每一个时代的数学概念,就等于是在“汉姆雷特”
这一剧本中去掉了汉姆雷特这一角色。
这种说法也许太过份了,我不愿说得这样过火。但这样做却肯定地等于是把奥菲莉这一角色去掉了。这个比喻是非常确切的。奥菲莉对整个剧情来说,是非常重要的,她非常迷人,同时又有一点疯疯癫癫。我们不妨认为数学的研究是人类性灵的一种神圣的疯癫,是对咄咄逼人的世事的一种逃避。
当我们想到数学时,心里便出现一种专门探讨数、量、几何等等的科学。近代数学还包括许多更抽象的序数概念以及纯逻辑关系的类似型式的研究等等。数学的特点是:我们在这里面可以完全摆脱特殊事例,甚至可以摆脱任何一类特殊的实有。
因此并没有只能应用于鱼、石头或颜色的数学真理。
52当你研究纯数学时,你便处在完全、绝对的抽象领域里。你所说的一切不过是:理性坚信任何实有如果具有能满足某某纯抽象条件的关系,就必然也具有能满足另一件纯抽象条件的关系。
数学被认为是在完全抽象的领域里活动的科学,它和自身所研究的任何特殊事例都脱离了关系。这种数学观还不太明确,所以我们可以相信,一直到现在这种看法还不能为一般人所了解。举个例来说,一般人在习惯上都认为我们对实际宇宙空间的几何知识的肯定性所根据的理由就是数学的肯定性。这一幻觉在过去曾引起过许多哲学思维,到现在也仍然能引起一些哲学思维。
几何问题是一个相当重要的测验。
对于许多群未定的实有说来,有好几套不同的纯抽象条件都可以成为这些群之间的关系。我把这些条件称为几何条件。我们在自身对于自然界的直接感觉中可以观察到事物之间具有某种几何关系。上述的抽象条件中有某些条件被认为是可以适用这种特殊几何关系的。而其他各种抽象条件一般说来又都类似这种条件,因此我便通称之为几何条件。但我们这种观察还不够准确。
所以关于我们在自然界中所见到的事物,究竟受着什么样的条件控制,也知道得不够确切。但我们只要把假说稍微引伸一下,就能使这些被观察到的条件符合某一套完全抽象的几何条件。这类未定实有原先在抽象科学中本只是一些单纯的叙述。但这样一来,我们就对它作出了某种特殊的决定。在关于几何关系的纯数学中,如果任何一群实有在本群各单位之间所具有的任何关系能满足某一套抽象的几何条件,则某种性质的附加抽象条件一定也能符合这种关62系。但当我们讨论物理空间时,便会说某群被确定地观察到的物理实有在本群各实有之间具有某种被确定地观察到的关系,这种关系能满足上述的一套抽象几何条件。因此我们就作出结论说:如果某种附加关系被认定能符合任何这类情形,就一定能符合这一特殊情形数学的肯定性建筑在它完全抽象的一般性上。我们相信实际世界中被观察到的实有能成为我们普遍推理过程中的一个特殊事例,但我们并没有先天的肯定性可以认为这种信念是对的。不妨再举一个算术中的例子来看:纯数学中有一条普遍的抽象真理,认为任何包含40个实有的一群可以分为包含20个实有的两群。
因此我们便有根据认为,如果某堆苹果包含40个个体,便可以分成两堆,每堆中包含20个个体。
第8章