形式逻辑的死穴：无穷问题.docx

《形式逻辑的死穴：无穷问题.docx》由会员分享，可在线阅读，更多相关《形式逻辑的死穴：无穷问题.docx（7页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、形式逻辑的死穴：无穷问题形式逻辑的死穴：无穷问题辩论是需要以思维带动语言的，思维是要遵循一定逻辑规律的，哲学就是研究这种规律性问题的学科，系统的理论的逻辑关系是指导辩论活动的基本内容。今天学习啦我给大家共享一些辩论中形式逻辑的死穴，希望对大家有所帮助。形式逻辑的死穴：无穷问题1.芝诺悖论跑得最快的阿基里斯永远追不上爬得最慢的乌龟。大意是讲甲跑的速度远大于乙，但乙比甲先行一段距离，甲为了赶上乙，须超过乙开场的A点，但甲到了A点，则乙已进到A1点，而当甲再到A1点，则乙又进到A2点，依次类推，直到无穷，两者距离虽越来越近，但甲永远在乙后面而追不上乙。古希腊的理性传统促生了柏拉图和亚里士多德这样的伟

2、大的思想家，但芝诺悖论却让古希腊理性传统遭到了致命的挑战，芝诺使得世人只能陷入这样的犹豫：逻辑，还是事实，这是个问题!2.根号2悖论毕达哥拉斯学派，这个曾今显赫一时的融数学、哲学、宗教于一体学派结果却是被一个名字叫作根号2的东西终结了。他们在做几何测量的时候发现一个问题：当等腰直角三角形的直角边等于1的时候，那么斜边是多少?绞尽脑汁推理计算也无法算出这个数来，但事实上这个由直角边为1的等腰直角三角形的斜边的存在是不可否认的。这个问题让迷信数字的毕达哥拉斯学派陷入了恐慌，为了保证学派的信仰的尊严，他们于是封锁消息，禁止成员向外泄露，据讲一个泄露了这个机密的人被无情地抛进了大海。在我们今天看来，其

3、实很好解释，把毕达哥拉斯学派送上归路的其实正是无穷问题。3.休谟悖论我们看到的天鹅都是白的，能否得到结论：所有的天鹅都是白的?太阳从来都是从东方升起，我们能否肯定明天太阳一定从东方升起?休谟以为，不能。我们所得到的结论只能在我们的经历范围内有效，超出了我们的经历，我们完全不敢保证。休谟从经历主义原则出发得到了这样的结论：由培根所创始的归纳法并没有充足的理由得到任何全称命题。归纳法破产了，经历主义破产，归纳法和经历主义为什么会破产，就是由于它们遭遇了无限的问题。4.贝克莱悖论十七世纪后期，牛顿、莱布尼兹创立微积分学，成为解决诸多问题的重要而有力的工具，并在实际应用中获得了宏大成功，然而，微积分学

4、产生伊始就遭到了怀疑，原因在于当时的微积分主要建立在无穷小分析之上，而无穷小后来证实是包含逻辑矛盾的。1734年，大主教贝克莱写了本（分析学家）的小册子，在这本小册子中，他特别有效地揭示了无穷小分析方法中所包含的这种逻辑矛盾。这就是所谓的贝克莱悖论。笼统地讲，贝克莱悖论能够表述为无穷小量究竟能否为零的问题就实际应用而言，它必须既是零，又不是零。而从形式逻辑角度而言，这无疑是一个矛盾。贝克莱悖论，动摇了人们对微积分正确性的信念，在当时数学界引起了一定混乱，进而导致了数学史上所谓的第二次数学危机。微积分产生后，一方面在应用中大获成功，另一方面其本身却存在着逻辑矛盾，即贝克莱悖论，也就是讲，正确的(

5、尤其是在几何应用上是惊人的)结果却是通过肯定不正确的数学途径得出的。这把数学家们推到了尴尬境地。5.傅立叶悖论微积分产生之初，对基础不牢的指责，以及由此引发的争论，一直就是微积分学奏出的光芒乐章中的不和谐音。然而在十八世纪，它被微积分应用中惊人的成功所博得的震耳掌声暂时掩盖了。经过数学发明的十八世纪后，数学建筑扩大了，房子盖得更高了，而基础却没有补充适当的强度。十八世纪粗糙的，不严密的工作导致错误越来越多的局面，不和谐音的刺耳开场震动了数学家们的神经。6.柯西与康托尔的努力柯西于1820年研究了极限定义，并创造性地用极限理论把微积分学中的定理加以严格的系统的证实，使微积分学有了较坚实的理论基础

6、，同时柯西也因之成为加固微积分学基础的第一位巨匠。但柯西工作中仍存在着两点主要的缺乏。其一，他的极限定义用了描绘性语言无限的趋近随意小，不够准确。这一点由德国数学家魏尔斯特拉斯给出准确描绘数列极限的ε-方法和函数极限的ε-方法，把微积分奠基于算术概念的基础上，获得了圆满解决。其二，他对单调有界定理的证实借助了几何直觉。魏尔斯特拉斯、戴德金、康托尔各自经过本人独立深化的研究，都将分析基础归结为实数理论，并于七十年代各自建立了本人完好的实数体系，这样数学分析的无矛盾性问题归纳为实数论的无矛盾性，进而使微积分学这座人类数学史上空前宏伟的大厦建在了牢固可靠的基础之上。康

7、托尔以其集合论的成就被誉为对20世纪数学发展影响最深的学者之一。他从研究收敛的傅立叶级数所表示的函数存在不连续这一事实，提出无穷集合的概念，并以逐一对应关系为基本原则，寻求无穷集合的多少关系。他把两个能逐一对应的集合称为同势，利用势他将无限集进行了分类，最小的无限集为可数集a，即指与自然数集等势的无穷集。进一步，康托尔证实实数集的势ca，一切实函数的势fc,并且对任何一个集合，均可造出一个具有更大势的集合，即是讲没有最大的势。鉴于此，1896年康托尔根据无穷性有无穷多学讲，制订了无限大算术，对各种无穷大建立了一个完好序列，他用希伯来字母表中第一个字母阿列夫来表示这些数。于是，直至无穷。无穷集合

8、本身又构成了一个无穷序列。这就是康托尔创立了超限数理论。康托尔的工作，在发表之初遭到很多人的嘲笑与攻击。克罗内克有句名言：上帝创造了自然数，其它都是人为的。他完全否认并攻击康托尔的工作，称康托尔走进了超限数的地狱，更有人嘲笑康托尔关于无穷的等级的超限数理论纯粹为雾中之雾。前后经过20余年，康托的工作才最终获世界公认，并博得极大赞誉。罗素称赞讲：Cantor的工作可能是这个时代所能夸耀的最伟大的成就。希尔伯特称其超限理论为数学思想的最惊人的产物，在纯粹理性的范畴中人类智力的最美的表现之一。康托集合论的提出标志了近代数学的开端。他的观点中，无穷集合是被看作一个现实的，完成的，存在着的整体，是可认识

9、，可捉住的东西。7.罗素悖论集合论是有漏洞的!正当数学家们在无穷集合的伊甸园中优哉游哉，并沉醉于数学绝对严格性的时候，一个惊人的消息迅速传遍了数学界，这就是1902年罗素提出的罗素悖论。危机正是由康托尔研究的无限集合引发的。罗素构造了一个集合U，U由所有不属于本身的集合组成，U显然存在，但U能否属于本身呢?无论回答能否都将导致矛盾，这就是著名的罗素悖论。罗素悖论相当简明，以致几乎没有什么能够辩驳的余地动摇了整个数学大厦的基石：集合论。绝对严密天衣无缝的数学，又一次陷入了自相矛盾与宏大裂缝的危机之中。危机产生后，包括罗素本人在内的诸多数学家投入到解决危机的工作中去。1908年，策梅罗提出公理化集

10、合论，后经改良构成无矛盾的集合论公理系统，简称ZF公理系统，使本来直观的集合概念建立在严格的公理基础之上，进而避免了罗素悖论的产生，在表层上解决了第三次数学危机。8.实无限与潜无限认真考察无穷在数学中的发展历程，能够注意到在数学无穷思想中一直存在着两种观念：实无限思想与潜无限思想。所谓潜无限思想是指：把无限看作永远在延伸着的，一种变化着成长着被不断产生出来的东西来解释。它永远处在构造中，永远完成不了，是潜在的，而不是实在。把无限看作为永远在延伸着的(即不断在创造着的永远完成不了的)经过。所谓实无限思想是指：把无限的整体本身作为一个现成的单位，是已经构造完成了的东西，换言之，即是把无限对象看成为

11、能够自己完成的经过或无穷整体。数学中无限的历史实际上是两者在数学中合理性的历史。在数学无穷发展历程中，我们已经看到征服无穷的路途中，悖论是一次次出现：芝诺悖论、贝克莱悖论、罗素悖论的出现即为例证。虽讲，历经几百年，数代数学家的艰辛努力，建立的极限论、实数论、ZF公理系统解决了这些悖论及由此导致的危机。然而悖论的的去除，矛盾的回避也导致了数学确定性的一步步丧失。第三次数学危机只是于外表上解决了，本质上更深入地以其它形式延续着。希尔伯特曾企图用形式主义一劳永逸地消除任何对数学基础可靠性的怀疑。然而其一揽子解决方案在1930年哥德尔发现不完备定理后宣告付之东流了。哥德尔的工作使人们对无穷的认识又上升了一个层次。人们开场更深入地明白：任何想一劳永逸解决无穷问题的努力是乌托邦式工作不可能成功。认识无穷、征服无穷之途本身就是个极限经过。