按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
上排中每有一项，下排中就有相应的一项；所以，两排中的项数必定一般多，固然下排只是由上排中各项的一半构成的。
莱布尼兹注意到了这一点，认为这是一个矛盾，于是他断定，虽然无穷集团是有的，却没有无穷数。反之，盖奥尔克·康托大胆否定了这是矛盾。他做得对；这只是个奇特事罢了。
盖奥尔克·康托把“无穷”集团定义成这样的集团：它具有和整个集团包含着一般多的项的部分集团。他在这个基础上得以建立起一种极有意思的无穷数的数学理论，从而把以前委弃给神秘玄想和混乱状态的整个一个领域纳入了严密逻辑的范围。
下一个重要人物是弗雷格，他在1879年发表了他的第一部著作，在1884年发表了他的“数”的定义；但是，尽管他的各种发现有划时代的性质，直到1903年我引起大家对他的注意时为止，他始终完全没得到人的承认。值得注意的是，在弗雷格以前，大家所提出的一切数的定义都含有基本的逻辑错误。照惯例总是把“数”和“多元”当成一回事。但是，“数”的具体实例是一个特指的数，譬如说3，而3的具体实例则是一个特指的三元组。三元组是一个多元，但是一切三元组所成的类——弗雷格认为那就是3这个数本身——是由一些多元组成的一个多元，而以3为其一实例的一般的数，则是由一些多元组成的一些多元所组成的一个多元。由于把这个多元与一个已知的三元组的简单多元混淆起来，犯了这种基本的语法错误，结果弗雷格以前的全部数的哲学成了连篇废话，是最严格意义上的“废话”。
由弗雷格的工作可以推断，算术以及一般纯数学无非是演绎逻辑的延长。这证明了康德主张的算术命题是“综合的”、包含着时间关系的理论是错误的。怀特海和我合著的《数学原理》（Princi－piaMathematica）中详细讲述了如何从逻辑开展纯数学。
有一点已经逐渐明白了：哲学中有一大部分能化成某种可称作“句法”的东西，不过句法这个词得按照比迄今习用的意义稍广的意义来使用。有些人，特别是卡尔纳普，曾提出一个理论，认为一切哲学问题实际都是句法问题，只要避开句法上的错误，一个哲学问题不是因此便解决了，就是证明是无法解决的。我认为这话言过其实，卡尔纳普现在也同意我的看法，但是毫无疑问哲学句法在传统问题方面的效用是非常大的。
我想简单解释一下所谓摹述理论，来说明哲学句法的效用。我所说的“摹述”是指像“美国的现任总统”一类的短语，不用名字来指明一个人或一件东西，而用某种据假定或已知他或它特有的性质。这样的短语曾造成很多麻烦。假定我说“金山不存在”，再假定你问“不存在的是什么？”如果我说“是金山”，那么就仿佛我把某种存在归给了金山。很明显，我说这话和说“圆正方形不存在”不是一样的陈述。这似乎意味着金山是一种东西，圆正方形另是一种东西，固然两者都是不存在的。摹述理论就是打算应付这种困难以及其他困难的。
根据这个理论，一个含有“如此这般者”（theso－and－so）形式的短语的陈述，若加以正确分析，短语“如此这般者”便没有了。例如，拿“司各脱是《威弗利》的作者”这个陈述来说。摹述理论把这个陈述解释成是说：
“有一个人、而且只有一个人写了《威弗利》，那个人是司各脱。”或者，说得更完全一些就是：
“有一个实体c，使得若x是c，‘x写了《威弗利》’这个陈述便是真的，否则它是假的；而且c是司各脱。”
这句话的前一部分，即“而且”二字以前的部分，定义成指“《威弗利》的作者存在（或者曾存在，或者将存在）的意思。”因而，“金山不存在”的意思是：
“没有一个实体c，使得当x是c时，‘x是金的而且是山’是真的，否则它就不是真的。”
有了这个定义，关于说“金山不存在”是指什么意思的难题就没有了。
根据这个理论，“存在”只能用来给摹述下断言。我们能够说“《威弗利》的作者存在”，但是说“司各脱存在”却不合语法，更确切地讲，不合句法。这澄清了从柏拉图的《泰阿泰德篇》开始的、两千年来关于“存在”的思想混乱。
以上所谈的工作的一个结果是，剥夺了自从毕达哥拉斯和柏拉图以来数学一直占据的崇高地位，并且打破了从数学得来的那种反对经验主义的臆断根据。的确，数学知识不是靠由经验进行归纳获得的；我们相信2加2等于4，其理由并不在于我们凭观察极经常发现到两件东西跟另外两件东西合在一起是四件东西。在这个意义上，数学知识依然不是经验的知识。但也不是关于世界的先验知识。其实，这种知识仅仅是词句上的知识。“3”的意思是“2＋1”，“4”的意思是“3＋1”。由此可见（固然证明起来很长）“4”和“2＋2”指一个意思。因而数学知识不再神秘。它和一码有三呎这个“天经地义”完全属同样的性质。
不仅纯数学，而且物理学也为逻辑分析哲学供给了材料；
尤其是通过相对论和量子力学供给了材料。
相对论里面对哲学家重要的事情是以空时来代替空间和时间。据常识，认为物理世界是由一些在某一段时间内持续、而且在空间中运动的“东西”组成的。哲学和物理学把“东西”概念发展成“物质实体”概念，而把物质实体看成是由一些粒子构成的，每个粒子都非常小，并且都永久存留。爱因斯坦以事素代替了粒子；各事素和其他各事素之间有一种叫“间隔”的关系，可以按不同方式把这种关系分解成一个时间因素和一个空间因素。这些不同方式的选择是任意的，其中哪一种方式在理论上也不比其他任何方式更为可取。设在不同的区域内已知两个事素A和B，那么满可能是这种情况：按照一种约定，两者是同时的，按照另一种约定，A比B早，再按照另外一种约定，B比A早。并没有任何物理事实和这些不同的约定相当。
从这一切似乎可以推断，事素应当是物理学的“素材”，而粒子不是。向来认为的粒子，总得认为是一系列事素。代替粒子的这种事素系列具有某些重要的物理性质，因此要求我们予以注意；但是它并不比我们可能任意选出的其他任何事素系列具有更多的实体性。因而“物质”不是世界的基本材料的一部分，只是把种种事素集合成束的一个便利方式。
量子论也补证了这个结论，但是量子论在哲学上的重要意义主要在于把物理现象看成可能是不连续的。量子论指出，在一个（如上解释的）原子内，某种事态持续一段时间，然后突然换成一种有限不同的事态。已往一贯假定的运动连续性，似乎自来不过是一种偏见。可是，量子论特有的哲学还没有充分发展起来。我想量子论恐怕比相对论会要求更根本地背离传统的空间时间学说。
物理学一直在使物质的物质性减弱，而心理学则一直在使精神的精神性减弱。在前面一章中，我们曾有机会把观念联合与条件反射作了比较。后者的生理学色彩显然重得多，它已经代替了前者。（这只是一个例证；我不想夸大条件反射的范围。）因此物理学和心理学一直在从两端彼此靠拢，使得威廉·詹姆士对“意识”的批判中所暗示的“中性一元论”之说更有可能成立了。精神与物质的区别是从宗教转到哲学中来的，尽管在过去一段长时间内这种区别似乎还有确实的理由。我以为精神和物质都仅是给事素分组的便当方式。我应当承认，有些单独的事素只属于物质组，但是另外一些事素属于两种组，因此既是精神的，又是物质的。这个学说使我们对于世界构造的描绘有了重大简化。
近代物理学和生理学提出了有助于说明知觉这个古老问题的新事实。假若要有什么可以称作“知觉”的东西，知觉在某种程度上总要是所知觉的对象的效果，而且知觉假若要可能是关于对象的知识的来源，总要或多或少跟对象相似。只有存在着与世界其余部分多少有些无关的因果连环，头一个必要条件才能得到满足。根据物理学，这种连环是存在的。光波从太阳走到地球上，这件事遵守光波自己的定律。这话只是大体上正确。爱因斯坦已证明光线受重力的影响。当光线到达我们的大气层时要遭受折射，有些光线比其他光�