悖论
出自 MBA智库百科(https://wiki.mbalib.com/)
目录 |
悖论是表面上同一命题或推理中隐含着两个对立的结论,而这两个结论都能自圆其说。悖论的抽象公式就是:如果事件A发生,则推导出非A,非A发生则推导出A。悖论是命题或推理中隐含的思维的不同层次、意义(内容)和表达方式(形式)、主观和客观、主体和客体、事实和价值的混淆,是思维内容与思维形式、思维主体与思维客体、思维层次与思维对象的不对称,是思维结构、逻辑结构的不对称。悖论根源于知性认识、知性逻辑(传统逻辑)、矛盾逻辑的局限性。产生悖论的根本原因是把传统逻辑形式化、把传统逻辑普适性绝对化。
悖论根源于知性认识、知性逻辑(传统逻辑)、矛盾逻辑的局限性。产生悖论的根本原因是把传统逻辑形式化、把传统逻辑普适性绝对化。
同时假定两个或更多不能同时成立的前提,是一切悖论问题的共同特征。
一般地说,由于悖论是一种形式矛盾,即是某些特殊的思想规定的产物,它们就不可能是事物辩证性质的直接反映;进而,我们也就不能把它们说成是“特殊的客观真理”,而只能说它们是“歪曲了的真理”。
因此,悖论实质上是客观实在的辩证性与主观思维的形而上学性及形式逻辑化的方法的矛盾的集中表现。具体地说,作为客观世界的一个部分或侧面,认识或理论(数学理论、语义学理论)的研究对象在本质上往往是辩证的,也就是诸对立环节的统一体;然而,由于主观思维方法上的形而上学或形式逻辑化的方法的限制,客观对象的这种辩证性在认识过程中常常遭到了歪曲:对立统一的环节被绝对地割裂开来,并被片面地夸大,以致达到了绝对、僵化的程度,从而辩证的统一就变成了绝对的对立;而如果再把它们机械地重新联结起来,对立环节的直接冲突就是不可避免的了,而这就是悖论。
悖论有三种主要形式。
1.一种论断看起来好像肯定错了,但实际上却是对的(佯谬)。
2.一种论断看起来好像肯定是对的,但实际上却错了(似是而非的理论)。
3.一系列推理看起来好像无法打破,可是却导致逻辑上自相矛盾。
悖论主要有逻辑悖论、概率悖论、几何悖论、统计悖论和时间悖论等。
罗素的悖论以其简单明确震动了整个数学界,造成第三次数学危机。但是,罗素悖论并不是头一个悖论。老的不说,在罗素之前不久,康托尔和布拉里·福蒂已经发现集合论中的矛盾。罗素悖论发表之后,更出现了一连串的逻辑悖论。这些悖论使人联想到古代的说谎者悖论。即“我正在说谎”,“这句话是谎话”等。这些悖论合在一起,造成极大问题,促使大家都去关心如何解决这些悖论。
头一个发表的悖论是布拉里·福蒂悖论,这个悖论是说,序数按照它们的自然顺序形成一个良序集。这个良序集合根据定义也有一个序数Ω,这个序数Ω由定义应该属于这个良序集。可是由序数的定义,序数序列中任何一段的序数要大于这段之内的任何序数,因此Ω应该比任何序数都大,从而又不属于Ω。这是布拉里·福蒂1897年3月28日在巴洛摩数学会上宣读的一篇文章里提出的。这是头一个发表的近代悖论,它引起了数学界的兴趣,并导致了以后许多年的热烈讨论。有几十篇文章讨论悖论问题,极大地推动了对集合论基础的重新审查。
布拉里·福蒂本人认为这个矛盾证明了这个序数的自然顺序只是一个偏序,这与康托尔在几个月以前证明的结果序数集合是全序相矛盾,后来布拉里·福蒂在这方面并没有做工作。
罗素在他的《数学的原理》中认为,序数集虽然是全序,但并非良序,不过这种说法靠不住,因为任何给定序数的初始一段都是良序的。法国逻辑学家茹尔丹找到—条出路,他区分了相容集和不相容集。这种区分实际上康托尔已经私下用了许多年了。不久之后,罗素在1905年一篇文章中对于序数集的存在性提出了疑问,策梅罗也有同样的想法,后来的许多人在这个领域都持有同样的想法。
只要运用对称逻辑,没有一个悖论无解。悖论是表面上同一命题或推理中隐含着两个对立的结论,而这两个结论都能自圆其说。悖论的抽象公式就是:如果事件A发生,则推导出非A,非A发生则推导出A。悖论是命题或推理中隐含的思维的不同层次、意义(内容)和表达方式(形式)、主观和客观、主体和客体、事实和价值的混淆,是思维内容与思维形式、思维主体与思维客体、思维层次与思维对象的不对称,是思维结构、逻辑结构的不对称。悖论根源于知性认识、知性逻辑(传统逻辑)、矛盾逻辑的局限性。产生悖论的根本原因是把传统逻辑形式化、把传统逻辑普适性绝对化。
用对称逻辑思维层次法解“说谎者悖论”这个悖论即“我在说谎”这句话中所蕴含的悖论。这个悖论表面上由“我在说谎”和“我说实话”这两个对立的“命题”组成,实际上这两个“命题”并不等价——前一个命题包含思维内容,后一个“命题”只是前一个命题的语言表达式,因此后一个“命题”不是严格意义上的命题。长期以来人们之所以把其看成悖论,是由于把两个“命题”看成等价,即都是思维内容和语言表达式统一的命题。只要把思维的两大层次:命题的思维内容和命题的语言表达式区别开来,“我在说谎”这个悖论即可化解。