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

　　辩论是需要以思维带动语言的，思维是要遵循一定逻辑规律的，哲学就是研究这种规律性问题的学科，系统的理论的逻辑关系是指导辩论活动的基本内容。今天学习啦小编给大家分享一些辩论中形式逻辑的死穴，希望对大家有所帮助。

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

　　1.芝诺悖论

　　跑得最快的阿基里斯永远追不上爬得最慢的乌龟。大意是说甲跑的速度远大于乙，但乙比甲先行一段距离，甲为了赶上乙，须超过乙开始的A点，但甲到了A点，则乙已进到A1点，而当甲再到A1点，则乙又进到A2点，依次类推，直到无穷，两者距离虽越来越近，但甲永远在乙后面而追不上乙。古希腊的理性传统促生了柏拉图和亚里士多德这样的伟大的思想家，但芝诺悖论却让古希腊理性传统受到了致命的挑战，芝诺使得世人只能陷入这样的犹豫：逻辑，还是事实，这是个问题!

　　2.根号2悖论

　　毕达哥拉斯学派，这个曾今显赫一时的融数学、哲学、宗教于一体学派结果却是被一个名字叫作“根号2”的东西终结了。他们在做几何测量的时候发现一个问题：当等腰直角三角形的直角边等于1的时候，那么斜边是多少?绞尽脑汁推理计算也无法算出这个数来，但事实上这个由直角边为1的等腰直角三角形的斜边的存在是不可否认的。这个问题让迷信数字的毕达哥拉斯学派陷入了恐慌，为了保证学派的信仰的尊严，他们于是封锁消息，禁止成员向外泄露，据说一个泄露了这个秘密的人被无情地抛进了大海。在我们今天看来，其实很好解释，把毕达哥拉斯学派送上归路的其实正是无穷问题。

　　3.休谟悖论

　　我们看到的天鹅都是白的，能否得到结论：所有的天鹅都是白的?太阳从来都是从东方升起，我们能否肯定明天太阳一定从东方升起?休谟认为，不能。我们所得到的结论只能在我们的经验范围内有效，超出了我们的经验，我们完全不敢保证。休谟从经验主义原则出发得到了这样的结论：由培根所开创的归纳法并没有充足的理由得到任何全称命题。归纳法破产了，经验主义破产，归纳法和经验主义为什么会破产，就是因为它们遭遇了无限的问题。

　　4.贝克莱悖论

　　十七世纪后期，牛顿、莱布尼兹创立微积分学，成为解决众多问题的重要而有力的工具，并在实际应用中获得了巨大成功，然而，微积分学产生伊始就遭到了怀疑，原因在于当时的微积分主要建立在无穷小分析之上，而无穷小后来证明是包含逻辑矛盾的。1734年，大主教贝克莱写了本《分析学家》的小册子，在这本小册子中，他十分有效地揭示了无穷小分析方法中所包含的这种逻辑矛盾。这就是所谓的“贝克莱悖论”。笼统地说，贝克莱悖论可以表述为“无穷小量究竟是否为零的问题”就实际应用而言，它必须既是零，又不是零。而从形式逻辑角度而言，这无疑是一个矛盾。贝克莱悖论，动摇了人们对微积分正确性的信念，在当时数学界引起了一定混乱，从而导致了数学史上所谓的第二次数学危机。微积分产生后，一方面在应用中大获成功，另一方面其自身却存在着逻辑矛盾，即贝克莱悖论，也就是说，正确的(尤其是在几何应用上是惊人的)结果却是通过肯定不正确的数学途径得出的。这把数学家们推到了尴尬境地。

　　5.傅立叶悖论

　　微积分产生之初，对基础不牢的指责，以及由此引发的争论，一直就是微积分学奏出的光辉乐章中的不谐和音。然而在十八世纪，它被微积分应用中惊人的成功所赢得的震耳掌声暂时掩盖了。经过数学发明的十八世纪后，数学建筑扩大了，房子盖得更高了，而基础却没有补充适当的强度。十八世纪粗糙的，不严密的工作导致谬误越来越多的局面，不谐和音的刺耳开始震动了数学家们的神经。

　　6.柯西与康托尔的努力

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

　　康托尔以其集合论的成就被誉为对20世纪数学发展影响最深的学者之一。他从研究“收敛的傅立叶级数所表示的函数存在不连续”这一事实，提出无穷集合的概念，并以一一对应关系为基本原则，寻求无穷集合的“多少”关系。他把两个能一一对应的集合称为同势，利用势他将无限集进行了分类，最小的无限集为可数集a，即指与自然数集等势的无穷集。进一步，康托尔证明实数集的势c>a，一切实函数的势f>c,并且对任何一个集合，均可造出一个具有更大势的集合，即是说没有最大的势。鉴于此，1896年康托尔根据无穷性有无穷多学说，制订了无限大算术，对各种无穷大建立了一个完整序列，他用希伯来字母表中第一个字母阿列夫来表示这些数。于是， 直至无穷。无穷集合自身又构成了一个无穷序列。这就是康托尔创立了超限数理论。康托尔的工作，在发表之初遭到许多人的嘲笑与攻击。克罗内克有句名言：上帝创造了自然数，其它都是人为的。他完全否认并攻击康托尔的工作，称“康托尔走进了超限数的地狱”，更有人嘲笑康托尔关于无穷的等级的超限数理论纯粹为“雾中之雾”。前后经过20余年，康托的工作才最终获世界公认，并赢得极大赞誉。罗素称赞说：“Cantor的工作可能是这个时代所能夸耀的最伟大的成就。”希尔伯特称其超限理论为“数学思想的最惊人的产物，在纯粹理性的范畴中人类智力的最美的表现之一。”康托集合论的提出标志了近代数学的开端。他的观点中，无穷集合是被看作一个现实的，完成的，存在着的整体，是可认识，可抓住的东西。

　　7.罗素悖论

　　“集合论是有漏洞的!”正当数学家们在无穷集合的伊甸园中优哉游哉，并陶醉于数学绝对严格性的时候，一个惊人的消息迅速传遍了数学界，这就是1902年罗素提出的罗素悖论。

　　危机正是由康托尔研究的无限集合引发的。罗素构造了一个集合U，U由所有不属于自身的集合组成，U显然存在，但U是否属于自身呢?无论回答是否都将导致矛盾，这就是著名的罗素悖论。罗素悖论相当简明，以致几乎没有什么可以辩驳的余地动摇了整个数学大厦的基石：集合论。“绝对严密”“天衣无缝”的数学，又一次陷入了自相矛盾与巨大裂缝的危机之中。

　　危机产生后，包括罗素本人在内的众多数学家投入到解决危机的工作中去。1908年，策梅罗提出公理化集合论，后经改进形成无矛盾的集合论公理系统，简称ZF公理系统，使原本直观的集合概念建立在严格的公理基础之上，从而避免了罗素悖论的产生，在表层上解决了第三次数学危机。

　　8.实无限与潜无限

　　认真考察无穷在数学中的发展历程，可以注意到在数学无穷思想中一直存在着两种观念：实无限思想与潜无限思想。所谓潜无限思想是指：“把无限看作永远在延伸着的，一种变化着成长着被不断产生出来的东西来解释。它永远处在构造中，永远完成不了，是潜在的，而不是实在。把无限看作为永远在延伸着的(即不断在创造着的永远完成不了的)过程。所谓实无限思想是指：把无限的整体本身作为一个现成的单位，是已经构造完成了的东西，换言之，即是把无限对象看成为可以自我完成的过程或无穷整体。数学中无限的历史实际上是两者在数学中合理性的历史。 在数学无穷发展历程中，我们已经看到征服无穷的路途中，悖论是一次次出现：芝诺悖论、贝克莱悖论、罗素悖论的出现即为例证。虽说，历经几百年，数代数学家的艰苦努力，建立的极限论、实数论、ZF公理系统解决了这些悖论及由此导致的危机。然而悖论的的清除，矛盾的回避也导致了数学确定性的一步步丧失。第三次数学危机只是于表面上解决了，实质上更深刻地以其它形式延续着。希尔伯特曾企图用形式主义“一劳永逸地消除任何对数学基础可靠性的怀疑。”然而其一揽子解决方案在1930年哥德尔发现不完备定理后宣告付之东流了。哥德尔的工作使人们对无穷的认识又上升了一个层次。人们开始更深刻地明白：任何想一劳永逸解决无穷问题的努力是乌托邦式工作不可能成功。认识无穷、征服无穷之途本身就是个极限过程。