正文 第三十一章 逻辑分析哲学

在哲中,从毕达哥拉斯代,一向存在着两派人的一立局面:一派人的思主是在数的启产生的,另一派人受经验科的影响比较深。柏拉图、托马斯·阿奎那、斯宾诺莎康德属不妨叫数派的那一派,德谟克特、亚士德、及洛克降的近代经验主义者属相反一派。在现代兴了一哲派别,着手消除数原理中的毕达哥拉斯主义,并且始经验主义注意人类知识中的演绎部分结合。派的目标不及数哲的目标堂皇壮观,但是它的一些就却像科的就一牢靠。

数着手消除了己科的谬误粗率的推理,述派哲的根源便在数所取的那些绩。十七世纪的数是很乐观的,急求速决的结果;因此,他听任解析几何与无穷算法停留在不稳固的基础。莱布尼兹相信有实际的无穷,但是信念虽适合他的形,在数是有确实根据的。十九世纪中叶不久,魏尔施特拉斯指明何不借助无穷建立微积分,因终使微积分从逻辑讲稳固了。随又有盖奥尔克·康托,他展了连续无穷数的理论。“连续”在他定义前向是含混字眼,黑格尔流形的混浊法弄进数的哲是很方便的。康托赋予词一精确含义,并且说明了他所定义的那连续正是数物理需的概念。通手段,使量的神秘玄,例柏格森的神秘玄,变陈旧了。

康托克服了关无穷数的那些长期存在的逻辑难题。

拿从1的整数系列说,些数有少呢?很明显,数目不是有穷的。一千止,有一千数;一百万止,有一百万数。无论你提一什有穷的数,显有比更的数,因从1该数止,整整有那数目的数,又有别的更的数。所,有穷整数的数目必定是一无穷数。是现在了一奇妙实:偶数的数目必定全体整数的数目一般。试两排数:

1,2,3,4,5,6,……

2,4,6,8,10,12,……

排中每有一项,排中就有相应的一项;所,两排中的项数必定一般,固排是由排中各项的一半构的。

莱布尼兹注意了一点,认是一矛盾,是他断定,虽无穷集团是有的,却有无穷数。反,盖奥尔克·康托胆否定了是矛盾。他做;是奇特罢了。

盖奥尔克·康托“无穷”集团定义的集团:它具有整集团包含着一般的项的部分集团。他在基础建立一极有意思的无穷数的数理论,从前委弃给神秘玄混乱状态的整一领域纳入了严密逻辑的范围。

一重人物是弗雷格,他在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早。并有任何物理实些不同的约定相。

从一切似乎推断,素应是物理的“素材”,粒子不是。向认的粒子,总认是一系列素。代替粒子的素系列具有某些重的物理质,因此求我予注意;但是它并不比我任意选的其他任何素系列具有更的实体。因“物质”不是世界的基本材料的一部分,是素集合束的一便利方式。

量子论补证了结论,但是量子论在哲的重意义主在物理现象是不连续的。量子论指,在一(解释的)原子内,某态持续一段间,突换一有限不同的态。已往一贯

(本章未完)

第三十章 约翰·杜威目录+书签-->