


下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、罗素悖论简介1900 年前后 ,在数学的集合论 中出现了三个著名悖论 ,理发师悖论就是 罗素 悖论的一种通俗表达方式。此外还有康托尔悖论、布拉利 福尔蒂悖论。这些悖论特别是罗素悖论,在当时的数学界与逻辑界内引起了极大震动。触发了第三次数学危机。把所有集合分为2 类,第一类中的集合以其自身为元素,第二类中的集合不以自身为元素,假令第一类集合所组成的集合为 P,第二类所组成的集合为 Q,于是有: P=A A A Q=A A ?A 问, QP 还是 Q Q? 若 Q P,那么根据第一类集合的定义,必有Q Q,但是 Q 中任何集合都有A ?A 的性质, 因为 Q Q,所以 Q Q,引出矛盾。 若 QQ
2、,根据第一类集合的定义,必有 Q P,而显然 PQ=?,所以 Q?Q,还是矛盾。 这就是著名的“罗素悖论 ”。集合本身的概念就是一个没有限制性的概念,总的集合可任意分成若干集合,都是集合,确切地说我们不知道究竟是在那种意义前提限制下的集合。子集合中存在悖论,或与别的集合之间存在悖论,子母集合之间也还存在悖论,因为在每种具体的子集合中都有属于它自身的规定规则,只在自身范围有效。超越范围则失效,这是永远不可避免或取消的。除非取消类的集合层次之间的区别,那么又不符合对待具体事物的态度,无法满足实际应用要求。另外集合的本义与引申义常混合使用,有时与元素 意义混同,集合在低层次相当于元素,当上升时为集合
3、,当再次上升时又相当于元素,是累积式的。罗素悖论在当它们还没有进行相互联系时是有效的,当它们进行相互联系时即它们已经成为一个类或一个整体, 那么一个类或一个整体中是不允许或无法执行两种衡量标准或规定的,自我否定是和没说一个样,或等于没有规定一样。罗素悖论的例子在某个城市中有一位理发师,他的广告词是这样写的:“本人的理发技艺十分高超,誉满全城。我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸。我对各位表示热诚欢迎!”来找他刮脸的人络绎不绝,自然都是那些不给自己刮脸的人。可是,有一天,这位理发师从镜子里看见自己的胡子长了,他本能地抓起了剃刀,却不知道该不该给自己刮脸, 如果他不给自己刮脸 ,
4、他就属于“不给自己刮脸的人”,他就要给自己刮脸,而如果他给自己刮脸呢?他又属于“给自己刮脸的人”,他就不该给自己刮脸。1问题的解决罗素悖论提出,危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”解决这一悖论在本质上存在两种选择,theZermelo-Fraenkel alternative和 the von Neum ann-Bernaysalternative 。 1908 年,策梅罗(
5、Ernst Zermelo) 在自己这一原则基础上提出第一个 公理化集合论 体系,后来这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。这一公理系统在通过Abraham Fraenkel的改进后被称为ZF axioms 。在该公理系统中,由于限制公理:P(x)是 x 的一个性质,对任意已知集合 A,存在一个集合 B 使得对所有元素 x B 当且仅当 x A 且 P(x) ;因此 x x 是一个集合 并不能在该系统中写成一个集合,由于它并不是任何已知集合的子集;并且通过该公理,存在集合A=x x是一个集合 在 ZF 系统中能被证明是矛盾的。因此罗素悖论在该系统中被避免了。解决悖论的意义虽
6、然不能说逻辑类型论已经完全解决了上述悖论,但却可以说它极大地促进了逻辑的发展。人们试图解决悖论的意义,从数学上看,悖论迫使人们从逻辑和哲学的角度对数学基础问题重新进行了全面而深入的研究,给数学以相对更加牢靠的基础;从逻辑上看,单以二值逻辑来说,它的值必须或真或假,即不能即真又假,然而,逻辑悖论却使命题的值即真又假,无法确定,解决悖论的努力可以说是在企图维护形式逻辑的基本律;从哲学上看,人们解决悖论的努力能使自己的认识不断深化,从而对相对静止的思维形式和结构,以及它们之间错综复杂的层次和关系做更进一步的剖析。此外,上述努力对于反对诡辩论和相对主义也有一定的意义。近年来人类对于悖论虽然有了很深入的研究,但没有最终解决悖论问题。许多数学家和逻辑学家提出的方案基本上都是绕开悖论,而不是解决它, 甚至有人声称悖论永远也无法破解。 但悖论研究带给数学和逻辑的作用是巨大的。另外, 悖论更能反映人们思维中的逻辑矛盾,三大基本思维规律的矛
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025肿瘤护士层级考试试题及答案
- 2025证券专场测试题及答案
- 2025公务员路政考试题库及答案
- 2025公务员局面试题及答案
- 2025村干部公务员试题及答案
- 中国大学行政权力与学术权力的博弈与学术自治的实现
- 上市公司内部控制缺陷信息披露与公司绩效:关联机制与实证洞察
- BOT项目经营期限确定:基于风险因素的深度剖析与策略构建
- 2024年吉安市消防救援支队招聘政府专职消防员笔试真题
- 企业发展战略规划编制规则
- 安徽省高速公路施工标准化指南
- 国网超市化招标评标自动计算表(区间复合平均价法)
- GB/T 21218-2023电气用未使用过的硅绝缘液体
- 2023电赛综合测评报告
- 人教版九年级上册化学默写总复习
- 医院培训课件:《输血管理查房》
- 公开招聘事业单位工作人员政审表
- DB51∕T 2152-2016 实验室通风柜使用指南
- 项目经理负责制与项目管理实施办法范文2篇
- 2022-2023年医疗招聘药学类-西药学高频考点题库附加答案
- 珠宝设计服务合同
评论
0/150
提交评论