几何方面有什么好写的毕业论文吗

我看微分几何

摘要 :穆勒的算术哲学包含两个方面的内容 :一方面是对先天论几何观和唯名论算术观的批判 ;另一方面是对数的性质和数的形成方式的阐明。尽管这种算术哲学通常被认为具有一种“极端的”或“狭隘的”经验主义特征而受到弗雷格和胡塞尔等人的严厉批判 ,但这些批判本身也都面临着各自的困难 ,而这使得穆勒的算术哲学至今都不能被彻底抛弃。

第25卷 第2期自然辩证法研究Vol. 25, 年2月Studies in Dialectics of NatureFeb. , 2009文章编号:1000 -8934 (2009) 02 -0025 -05穆勒的算术哲学宋 伟(湖北大学哲学学院,武汉430062)摘要:穆勒的算术哲学包含两个方面的内容:一方面是对先天论几何观和唯名论算术观的批判;另一方面是对数的性质和数的形成方式的阐明。尽管这种算术哲学通常被认为具有一种“极端的”或“狭隘的”经验主义特征而受到弗雷格和胡塞尔等人的严厉批判,但这些批判本身也都面临着各自的困难,而这使得穆勒的算术哲学至今都不能被彻底抛弃。关键词:穆勒;算术哲学;数中图分类号:B5504 文献标志码:A收稿日期:2008 -10 -27哥德尔( Kurt Gêdel)在《数学是语言的语法吗?》一文中指出:“经验主义数学观的信条显然是说,归根结底一切知识都是基于(外在的或内在的)感观知觉,我们并不具有一种对某个抽象数学对象领域的直观,而且既然由于数学的先天确定性,这样一个抽象对象领域并不能由经验上得知,所以必须假定它根本不存在”〔1〕335n。穆勒(Jo hn S. Mill)的数学观就具有哥德尔所指出的这种经验主义信条的典型特征,而且由于穆勒坚持认为归纳是一切科学的基础,因而他还进一步否认了数学具有任何的“先天确定性”。这种通常被称为“极端或狭隘的经验主义”的特征在穆勒的数的观念中得到了充分的体现,为了表明这一点让我们首先看看他是如何针对“先天论”的观点对两种先天论几何观进行批判的。1 对先天论几何观的批判先天论的几何观通常存在着两种反对经验论观点的论证。第一种论证:如果有人认为“两条直线不能围成一个空间”这一命题可由感观知觉得到,那么他就必须要实际观察到或感觉到两条直线无论延伸到多远都不会相交这一事实,但他怎么能跟随两条直线到无限远的地方呢?因此,除非人们对这一命题有不同于感观知觉的证明方式,否则就根本没有相信这一命题的理由。第二种论证:几何公理都是普遍必然真的命题,因为人们无法想象它们的反面,对它们的否定不仅是假的而且是不可能的。经验不可能使任何几何命题具有普遍必然真的特征,因为一方面,经验总是有限范围内的经验,并不适用于普遍的情况;另一方面,经验只是观察并记录所发生的什么,并不保证必然要发生什么。因而,对普遍必然真的命题的证明必须依赖于一种与经验无关的更高层次的方式。针对第一种论证,穆勒认为,人们关于几何形式的观念与引起它们的感觉完全相似,几何形式可以与实在一样被描绘在人们的想像中,只要这些几何图像足够精确,它们就可以显示出与实在同样的特征,因而,只要思考直线的观念而不用实际观察到或感觉到它们,人们就能够认识到“两条直线不能围成一个空间”〔2〕154。按照这种看法,似乎可以想像当两条直线在彼此分离又再次接近时,不管这发生在多么远的地方,人们一定会在感观知觉上产生出一种“曲线”而不再是“直线”的印象。只是这里要注意,穆勒并不是说人们可以通过想像的直观(imaginaryint uition)来认识“两条直线不能围成一个空间”这一命题,而是说想像的直线与真实的直线相似,人们可以从想像的直线得出有关真实的直线的结论,这一命题仍是一个来自观察的归纳结果。对于第二种论证,穆勒主要针对普遍必然真的命题的否定或反面的不可想像(inco nceivableness)进行了批判。穆勒认为,并不存在什么人类天性所普遍承认的事实,不可想像只是人们很难想像与长期形成的熟悉的经验以及古老的思维习惯相矛盾的东西,如当人们常常看到和想到两个东西在一起而从没有分别看到和想到它们时,由心理的联想律就作者简介:宋伟(1973 —),安徽临泉人,湖北大学哲学学院讲师,主要研究方向为科学哲学。自然辩证法研究 第25卷 第2期产生了一种可能永远无法超越的分别想像两个东西的困难〔2〕157。显然,在穆勒看来,将普遍必然性归之于某些几何命题仅仅是人们心理联想律的作用,这种普遍必然性并不是什么先天的东西,而是一种来源于经验归纳的现象。在对先天论几何观进行了上述批判后,穆勒认为有必要将这种批判带向另一个领域,因为“我们现在所断定的并不能被认为对于演绎或证明科学普遍成立,除非将它们运用于所有科学中最卓越的数的科学以及运算理论、算术和代数而得到证实”〔2〕166。所以,接下来我们就来看看穆勒如何将其经验论的认识运用于数的科学。2 对唯名论算术观的批判在对数的认识中,存在着一种唯名论的或符号论的观点,这种观点认为:数的科学的命题仅仅是言语(verbal)表达式,数的运算过程仅仅是一个表达式代入另一个表达式的简单语言转换。根据这种观点,“2加1等于3”这一命题并不是一个真理,也不是对一种实际存在的事实的断定,而是“3”这个符号的一个定义,是一个人们同意用“3”这个符号来作为“2加1”的记号的命题,以便用后者这一较长的短语称呼的东西也能用前者来称呼。同样,在这一观点看来,代数中最长的运算过程只是用等值表达式一个代入另一个的一系列术语变化过程,或者说是同一个事实从一种语言到另一种语言的翻译过程。针对这种观点,穆勒指出:仅仅通过语言的人为操作来发现事实和探究自然的隐秘过程是与常识相悖的,而当用代数证明一个新的几何定理时如何解释事实本身的变化正是这种观点的致命困难〔2〕166。不过,唯名论者或符号论者可能会认为,人们在使用算术或代数符号进行运算时并不带有任何观念(i2deas) ,因为符号a、b等并不表示某个确定的线、角或量,所以在人们的思想中就只有符号而没有观念。对此,穆勒指出:这种情况只是反映了算术或代数运算高度综合的本质及其语言的极端概括性,事物和符号在其中相互转换的归纳过程在人们的思想中仅仅是被隐藏起来了〔2〕167。针对另外一种认为算术和代数命题仅仅是言语符号的观点,即认为“2加1等于3”这类命题只是断定了两个名称之间的指示( signification)相同,穆勒反驳说,尽管“2加1”和“3”这两个名称指谓( de2note)相同的东西,但它们的涵谓(co nnotation)却可以不同,3个石子分成两堆和3个石子放在一堆在人们的感官上会留下不同的印象,所以“2加1等于西”〔9〕167。在穆勒看来,数都是对象或事物的名称,“10”意味着10个东西或10种声音或10次心跳等等,并没有脱离对象或事物的抽象的“10”存在。不623”这一命题仍是人们根据以往的经验归纳出的一个关于数的真理〔2〕168。当然,穆勒进一步认为,要是人们愿意,人们可以称命题“3是2加1”为数3的定义并且象断定几何那样断定算术是一门建立在定义上的科学,只是这些定义是几何意义上的而不是逻辑“意义上的定义,其所断定的不只是一个项的意指(meaning) ,而且还有与这个项一起的一个被注意到的事实”〔2〕168。3 数的性质基于以上这些认识,穆勒得出结论说:“所有的数都必须是某种东西的数,没有抽象的数这样的东过,由于一切东西都有量(quantity) ,都由可以被计数的部分构成,因而都具有一种可以被称作数的性质,所以,数虽然必须是某种东西的数,但却可以是任意东西的数,人们只需要想像一个被分成了10等份的东西就可以用“10”这个数的性质来谓述它。对此,穆勒认为代数作了进一步的概括,即“每个数都表示事物的一种无区分的特殊性质,而每个代数符号则表示一切无区分的数”〔2〕167。具体来说,只要人们想像一个东西被分成了若干等份但并不确定是几等份的时候,就可以称这个“几”为a或x并且可将其用于每一个代数公式而不会有犯错误的危险,如“2( a + b) =2 a +2 b”就是一个在一切情况下都为真的命题,只是这一命题的真并不是由于其中言语符号自身性质的缘故,而是由于其与事物的性质相符合从而可由事物的性质来谓述的缘故。在求解一个代数方程时,其中连续进行的推论也是关于事物而不是关于符号的推论,因为像“等量加上等量其和相等”和“等量减去等量其差相等”以及其他以这两个命题为基础的命题虽然运用于a、b、x、y等符号上,但它们所说的是事物的性质而不是那些符号的性质,其中的每一步只有在与事物而不是与符号相关时有关的证据才不会失效。通过以上的论述可以看出,穆勒坚决反对对数作符号的和逻辑的这些抽象意义上的解释,坚持认为数有经验的根源,这种认识显然与其几何观相一致。也正因为如此,穆勒试图进一步表明数的科学在更多的情况下类似于几何学,即算术中同样不存在普遍必然真的命题,归之于算术命题的必然性和确定性同样是虚构的和假定的,它们仅仅是在那些命题从假设为真的前提合法推出的意义上来说的。穆勒的算术哲学在穆勒看来,算术中的归纳命题可以分成两类:一类是“1加1等于2”、“2加1等于3”等等这类可以从几何学的意义上被看做定义的命题;另一类是“等量加上等量其和相等”和“等量减去等量其差相等”这两个算术公理。这两类命题似乎对一切对象都成立,而从中推出的其他命题似乎也都具有绝对的确定性。不过,穆勒认为,“只要再作进一步的思考就会发现,在所有这些关于数的命题中都隐藏着这样一个假设,即所有的数都是相同或相等单位的数,也即是说1 = 1。但因为实际上的1磅①重与另1磅重并不完全相等,1英里②与另1英里也不完全相等,所以,包含无条件真和绝对精确性这两重概念的数学确定性并不是所有数学真理的性质,而只是在不假设数是实际量的准确标记(index)的情况下在更广泛的意义上与量相区别的纯粹数(p ure Number)的真理的性质”〔2〕169。正是基于这一认识,穆勒得出结论说:“一切演绎科学的方法都是假设的方法”〔2〕169。这一结论的得出显然是穆勒坚持其经验主义几何观和算术观的一个必然结果。4 数的形成方式在论述了数的性质之后,穆勒认为:“在所有已知的现象中,在最严格的意义上,惟独数的性质是所有一切东西的性质。并不是所有的东西都有颜色、重量和广延,但所有的东西都有数( numera2ble) ”〔2〕146。在穆勒看来,数的定义与别的定义一样由名称的说明与事实的断定两部分构成,在2、3、4等数中每个数都各自指谓一组对象或一种物理现象并涵谓那组对象或那种物理现象的一种物理性质。对于这种物理性质,穆勒认为:“它是一种我们用数的名称所称呼的对象的聚合(t he agglomeration oft hings)的性质,这种性质是对象的聚合构成和分解的特有方式”〔2〕400。具体来说,当一组对象被人们称为2、3或4时,它们所涵谓的是单个对象为了产生特殊的聚合( aggregate)而必须放在一起的方式。以石子为例,如果人们称一堆石子的聚合为2 ,那么这就意味着一个石子必须与另一个石子放在一起;而如果称它为3 ,则意味着必须把一个石子加一个石子再加一个石子放在一起,或者把一个石子与已经存在的某个被称为2的石子聚合放在一起;对于人们称为4的一堆石子聚合则有更多的形成方式,可以把石子一个加一个地放在一起,也可以将两个被称为2的石子聚合放在一起,或者将一个石子与一个被称为3的石子聚合放在一起。依此类推,每一个上升序列中的后继数都可以通过不断增多的方式与较小的数相结合而形成。除此之外,还可以不通过较小聚合的结合而是通过较大聚合的分解来得到一个新的聚合,如3个石子可以从一个4的聚合中去掉一个石子来形成;2个石子可以由一个4的聚合的平分来形成,如此等等。由此可见,一个数的形成方式可以有许多种,而且当一些数的形成彼此关联时,人们完全可以根据它们的一种形成方式推演出它们的其他形成方式,如当人们知道a从b和c形成、b从c和d形成、c从e和f形成时,从中就可以推演出a从c和d的形成方式、a从d、e、f的形成方式以及b从d、e、f的形成方式。在此认识的基础上,穆勒进一步认为:“每个算术命题和每个算术运算的结果都是关于某个数的某种形成方式的陈述”〔2〕400。对此穆勒举例进行了说明,如当人们说“12的立方是1728”时,其中所断定的是:如果有足够多的石子或别的什么东西,就可以把它们放在一起形成一种被称为“12”的特殊的包(parcel)或聚合,然后把以这种方式得到的多个被称为“12”的特殊的包或聚合以相同的方式放在一起形成新的聚合,最后再由12个这样的聚合构成一个更大的聚合,最后的这个聚合就是一个人们称之为“1728”的聚合。而相反的命题“1728的立方根是12”则可以通过相反的方向分解出构成“1728”这一聚合的被称为“12”的包或聚合。显然,对于包含特殊的数的命题都可以进行类似的说明。不过,由于代数学命题对所有的数都成立或者说对一切可以以任意方式划分的东西都成立,那么对这类命题该如何进行说明呢?对于这一问题,穆勒认为,考虑到不同的数可以由相同的方式来形成,如9可以通过3的“自身相乘”来形成,16可以通过4的“自身相乘”来形成等等,所以可以通过对形成方式或者说函数进行分类的方法来说明代数学命题〔2〕403。在穆勒看来,任何一个由别的某个数形成的数都可以被称为前者的一个函数,而有多少种形成方式就有多少种函数,如通常的简单函数有加、减、乘、除、指数函数、开方函数、对数函数、正弦函数、反正弦函数等,而其他函数则由这些简单函数组合而成。在对函数问题进行一般运算时,只要有一种能够用名称表达任意数的命名法( nomenclat ure) ,就可以在不必指出那些数具体是什么数的情况下而表明它们是其他数的72①1磅=014536千克。②1英里=11 6093公里自然辩证法研究 第25卷 第2期何种函数,或者说表明它们由其他数的形成方式,如表达式a和2 a + 3 a分别指谓了任意一个数和由这个数以一种特定方式所形成的另一个数;表达式a、b、n和( a + b) n分别指谓了任意3个数和由这3个数以一种特定方式所形成的第4个数。在数的科学中,不同的形成方式可以得到相同的结果,如( a +b) n既可以由( a + b)自身相乘n次来形成也可以通过二项式定理由a、b、n直接形成,而“已知一个函数,它是某个别的函数的何种函数?”则成了代数运算的一般问题和目标。5 弗雷格和胡塞尔的异议对于穆勒的数的观念,弗雷格一方面认为穆勒有一种合理的想法,即不是从分析的或综合的、后天的或先天的角度来看待数的定律和数的公式,而是象莱布尼兹( Gottf ried W. Leibniz)一样对单个的数进行定义并进而希望将数的科学建立在定义的基础上;但另一方面,弗雷格认为由于穆勒坚持一种先入之见即所有知识都是经验的而使得上述那种合理的想法遭到了破坏〔3〕9。通过对“数的公式是可证的吗?”、“算术定律是归纳真理吗?”、“算术定律是先天综合的还是分析的?”以及“数是外在事物的性质吗?”这些问题的讨论,弗雷格在其《算术基础》一书中对穆勒算术观中的一切经验因素进行了全面、深入的批判并讥笑这种算术观为“小姜饼或小石子的算术”〔3〕xix。在从集合的角度通过对“概念”(con2cept)、“等同”(identity)、“一一对应”的讨论定义出从0到∞的全部自然数并满怀信心地认为有理数、复数也都可以还原为纯粹逻辑之后,弗雷格得出结论说:“..数既不是一堆东西也不是这堆东西的一种性质,同时也不是心理过程的一种主观产物,我们的结论是:数的命题断定了概念所具有的某种客观的东西。..很清楚,算术所研究的数绝不能被认为是一种依附的性质,而是实体性的。这样,数作为对象才能被反复认识到,尽管这不是作为物理的甚或仅仅空间的对象,也不是作为我们通过想象而形成的图像的对象”〔3〕115 -116。显然,弗雷格表明了一种与穆勒完全相反的数的观念:穆勒认为数必须是某种东西的数,是对象或事物的一种物理性质,没有独立、客观的存在;而弗雷格则认为数是“概念”的数(如属于“等于0又不等于0”这一概念的数是0) ,有独立的存在。正是由于弗雷格和穆勒数的观念的这种基本差异,导致两人对数的定律的认识也全然不同。穆勒坚持认为数的定律是自然定律,象其他科学定律一样是归纳的结果,因而可应用于外界事物;而弗雷格则认为:“数的定律并不应用于外界事物,它们不是自然定律。它们只应用于对外界事物有效的判断:它们是自然定律的定律。它们并不断定现象之间的联系,而是断定判断之间的联系,自然定律就包含在判断之中”〔3〕99。总的来看,弗雷格的算术观是与其所坚持的“把心理的和逻辑的东西、主观的和客观的东西区别开来”、“把概念和对象区别开来”以及“只在命题的语境中而不是孤立地探讨语词的意指”这三条基本原则相一致的,也完全表明了弗雷格希望在算术中彻底摆脱一切心理的和经验的因素而仅仅由合乎逻辑的纯粹理性来建立起整个数的科学的一种努力。只是遗憾的是,在罗素悖论被发现之后,弗雷格不得不承认他的这种努力彻底失败了。在其后期的一篇文章《算术基础的新尝试》中,尽管弗雷格仍然坚持算术证明中不需要求助于感观知觉并且坚持数的命题包含对概念的断定,但却放弃了认为算术证明中不需要求助于直观(int uition)的观点,同时希望能为算术重新找到一种先天的几何学基础〔4〕278。只是这样一来,弗雷格就不得不重新面对穆勒对先天论几何观的批判了。胡塞尔( Edmund Husserl)在其《算术哲学》一书中对穆勒的数的观念也提出了异议。针对穆勒认为数的定义中所断定的事实都是物理事实而象2、3、4等等这样的数都各自指谓不同的可感知的物理现象并涵谓那些现象的一种物理性质这种观点,胡塞尔认为:“这种观点显然是错误的,人们肯定疑惑一个穆勒级水平的思想家怎么会对此感到满意。无疑,两个苹果与三个苹果可以在物理上区分开来,但两个判断与三个判断或两种不可能性与三种不可能性等等肯定不能进行这样的区分。因而,这些情况下数的差别不可能是一种看得见摸得着的物理差别。只要一提到完全可以象物理的东西一样被进行计数的心理的行为或状态,穆勒的理论就被驳倒了”〔5〕18。显然,胡塞尔在指责穆勒的数的观念只局限于物理现象而忽视了同样可被计数的人的心理行为或状态,因为一个明显的事实是,当人们谈论“两个判断与三个判断”或“两种不可能性与三种不可能性”时,其中的“判断”和“不可能性”并不是什么物理现象而“两个”和“三个”也并不涵谓什么物理现象的物理性质。确实,尽管穆勒认为“数可以是一切东西的数”、“一切东西都有量”,但这似乎主要是针对物理现象来说的,而对于心理行为或状态的可计数性穆勒似乎并没有作出更多的说明。不过,通过上述对穆勒数的观念的讨论,我们可以看出,穆勒虽然不承认数有抽象的存在,但他似乎并不反对数有抽象82穆勒的算术哲学的即“语言的极端概括性”意义上的应用,只是要求人们知道归根结底数有归纳的来源就行了。针对穆勒认为数的命题中隐藏着一种假设即所有的数都是相同或相等单位的数或者说1=1这一观点,胡塞尔认为:“轻而易举就能反驳这种错误的观点,要求算术预设1=1这一命题完全是弄错了算术的意思。算术作为数的理论与具体的对象无关,而是与一般的数有关”〔5〕156。胡塞尔进一步解释说:“由我们的心理分析而来的单元的相同显然是一种绝对的相同。事实上,只要想到近似就会是荒谬的。因为这是关于它们有具体内容这一事实的具体内容的同一问题,否认这种相同就是否认内在感知的明证性(evidence) ”〔5〕158。显然,胡塞尔反对穆勒认为们构造这样那样一些并不直接明了的数的特征时的实际行为说什么。..相反,它们只关心具有抽象纯粹性和理想性的绝对的数和数的组合。..所有这些命题没有一个可以还原为具有经验普遍性并且能够毫无例外地应用于整个实际世界的命题,即使是在普遍性最宽泛的意义上也不行”〔6〕110。与弗雷格相比,胡塞尔也承认算术是一门先天的科学,只是在追求对数进行基于纯粹逻辑的理解上胡塞尔远远没有弗雷格走得那么远。较小的数的理解应当基于对“同一”(identity)、“某个东西”( some2t hing)、“多元”(multiplicity)等这些更为直观的初始概念的理解,但是这些概念不可定义而只能进行心理分析。正是基于这种认识,胡塞尔在其《算术哲学》一书中不仅对穆勒的数的观念进行了批评而且也对弗雷格按照“一一对应”来定义数的做法进行了批评。不过,在接受了弗雷格批评他将概念和表象(presentation)混为一谈以及在对数的解释中求助于抽象(abstrac2tion)的做法之后,胡塞尔就彻底转向了致力于消除其算术观中的心理主义因素的方向,这一点在其对心理主义进行大力批判的《逻辑研究》一书中有充分的体现:算术命题与那些理想的单元有关,..它1=1是一种假设的观点,而是认为1=1是可以通”么?这一问题的争论提供一些更为丰富的历史背过心理分析而得到的一种无可置疑的结果。在胡塞景,同时为理解现代各种具有经验主义特征但却不尔看来,人们对各种抽象的数的理解尤其是对一些“单元”( unity)、同于极端经验主义特征的数学观提供一种可供对比通过以上对穆勒算术哲学的论述,我们希望能够详尽地展现一种极为朴素的数的观念或一种归纳的数的解释理论或者说一种极端经验主义的算术观以及这种观念或理论所面临的挑战,从而为“数是什“们并不告诉我们任何实际的东西,既不对被计数的实际东西说什么,也不对计数那些东西时或者为我的参照。参考文献〔1〕Gêdel K. IsMathematicsSyntaxofLanguage?[M]//Col2lected Works : Vol. 3. New York :Oxford University Press ,1995.〔2〕Mill J S. A System of Logic [M]. London: Longmans,Green , And Co. , 1886.〔3〕Frege G. The Foundationsof Arithmetic[M]. New York:Happer & Brothers , 1960.〔4〕Frege G. A New Attempt at A Foundation for Arithmetic[M]// Posthumous Writings. Chicago: The University ofChicago Press , 1979 :278.〔5〕Husserl E. Philosophyof Arithmetic[M]. Dordrecht: Klu2wer Academic Publishers , 2003.〔6〕Husserl E. Logical Investigation:[M]. New York:Routledge , ’s Philosophy of ArithmeticSON G Wei(Faculty of Philosophy , Hubei University , Wuhan 430062 , China )Abstract :Mill’s philosophy of arithmetic consists of two parts: one is his critique of a priori views of geometry and that of nominalist views ofarithmetic,andtheotherishiselucidationonthenatureofnumberandthewaysofconstructionofnumbers. Itisordinarilybelievedtobepro2videdwitha’narrow’or’extreme’empiricistcharacteristic. ButalthoughmanywritersincludingFregeandHusserlhavecriticizeditheavily,Mill’s philosophy of arithmetic cannot yet been thoroughly put away , since the criticisms themselves have respectively encountered some words : Mill; philosophyof arithmetic; number(本文责任编辑 费多益)