作业帮 > 综合 > 作业

什么是“悖论”?

来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:综合作业 时间:2024/04/28 14:43:09
什么是“悖论”?
什么是“悖论”?
概念
[编辑本段]
bèilùn (paradox,也称逆论,反论)
逻辑学和数学中的“矛盾命题”,是指一种导致矛盾的命题.
悖论的定义可以这样表述:由一个被承认是真的命题为前提,设为B,进行正确的逻辑推理后,得出一个与前提互为矛盾命题的结论非B;反之,以非B为前提,亦可推得B.那么命题B就是一个悖论.当然非B也是一个悖论.我们可以按照某些制定或约定的公理规则去判定或证明某一命题的真假,但是我们按照制定或约定的公理规则去判定或证明有些命题的真假时,有时却出现发生了无法解决的悖论问题,这种情况说明了什么问题?
自然在整体上是包含多样性的,而我们却置这些情况于不顾,而专门关注属于我们感兴趣的那一种特殊情况,当特殊情况与其它相反的情况或普遍性存在的一般情况相遇时必然产生某种相悖的结论.不是数学悖论对数学基础产生大的危机影响,而是对逻辑和认识产生重大影响.
无限集合本身就是一个模糊不清的概念规定,有限是可以称为集合,无限是不能称为集合的.集合是指表示在某一个范围内无限则是指范围为无限大的,否则就不应该称为无限而称有限.无限不应该成为一个任意性选择或适用的范围,一个数量当超过人类所能达到或认识的程度便进入无限的范围之中.到现在为止,人类还没有完全清楚地知道我们所能认识到的半径有多大,所以无法准确精确地规定无限与有限它们之间的界限究竟在那里.
集合本身的概念就是一个没有限制性的概念,总的集合可任意分成若干集合,都是集合,确切地说我们不知道究竟是在那种意义前提限制下的集合.
子集合中存在悖论,或与别的集合之间存在悖论,子母集合之间也还存在悖论,因为在每种具体的子集合中都有属于它自身的规定规则,只在自身范围有效.超越范围则失效,这是永远不可避免或取消的.除非取消类的集合层次之间的区别,那么又不符合对待具体事物的态度,无法满足实际应用要求.另外集合的本义与引申义常混合使用,有时与元素意义混同,集合在低层次相当于元素,当上升时为集合,当再次上升时又相当于元素,是累积式的.
罗素悖论在当它们还没有进行相互联系时是有效的,当它们进行相互联系时即它们已经成为一个类或一个整体,那么一个类或一个整体中是不允许或无法执行两种衡量标准或规定的,自我否定是和没说一个样,或等于没有规定一样.
哥德尔关于一阶逻辑完全性定理与不完全性定理的本身就是悖论,已经暴露出逻辑导致发生的问题.哥德尔不完全性定理是缺乏评判,以决定的主导方面为衡量标准,或衡量标准过多而引起的悖论.所谓的标准也是一种规定.失效以后还可以根据实际需要再次进行新的规则规定,反正原来的规则也是规定,为什么出现发生悖论以后不可以再次重新进行规定规则,以满足实际应用的目的的需要呢?明明是自己的规定,可是自己又制造新的规定来破坏原来的规定,如果这样来干活,那么将永远有活干了,永远有干不完的活.
类是人为区分出来的,但类是根据需要人为任意性制造的,若分类,故类有所不同.在整体上却不存在类同与不同,由于类不同,故数也有所不同,有些不同相悖是很正常必然的.然而人们又想进行类与数之间变换,那么又不得不重新再作新的规定.
证明也只是按照预先所设置和认为的规定去操作,必然会符合规定,我们只管按规定操作执行好了,证明又有什么作用或意义呢?类的悖论问题不是通过进行证明就所能解决得了的.
悖论是属于领域广阔、定义严格的数学分支的一个组成部分,这一分支以“趣味数学”知名于世.这就是说它带有强烈的游戏色彩.然而,切莫以为大数学家都看不起“趣味数学”问题.欧拉就是通过对bridge-crossing之谜的分析打下了拓扑学的基础.莱布尼茨也写到过他在独自玩插棍游戏(一种在小方格中插小木条的游戏)时分析问题的乐趣.希尔伯特证明了切割几何图形中的许多重要定理.冯·纽曼奠基了博弈论.最受大众欢迎的计算机游戏—生命是英国著名数学家康威发明的.爱因斯坦也收藏了整整一书架关于数学游戏和数学谜的书.
悖论(paradox)来自希腊语“para+dokein”,意思是“多想一想”.这个词的意义比较丰富,它包括一切与人的直觉和日常经验相矛盾的数学结论,那些结论会使我们惊异无比.悖论是自相矛盾的命题.即如果承认这个命题成立,就可推出它的否定命题成立;反之,如果承认这个命题的否定命题成立,又可推出这个命题成立 如果承认它是真的,经过一系列正确的推理,却又得出它是假的;如果承认它是假的,经过一系列正确的推理,却又得出它是真的.古今中外有不少著名的悖论,它们震撼了逻辑和数学的基础,激发了人们求知和精密的思考,吸引了古往今来许多思想家和爱好者的注意力.解决悖论难题需要创造性的思考,悖论的解决又往往可以给人带来全新的观念.
最早的悖论被认为是古希腊的"说谎者悖论".
原理
[编辑本段]
同时假定两个或更多不能同时成立的前提,是一切悖论问题的共同特征.