【摘 要】
:
19世纪末,以康托尔集合论为基础的数学进入了快速发展时期,但是随着集合论悖论被发现,尤其是罗素悖论的发现,在学界引起一片哗然,震动了整个数学界。当时罗素正在研究逻辑与数学的关系的问题,即逻辑主义,集合论悖论导致这个研究被迫中断。为了实现逻辑主义,为了解决集合论悖论,罗素构建了类型论。罗素类型论是较早解决集合论悖论的方案,它通过区分有意义的类或命题的逻辑类型来解悖,不同逻辑类型不能混淆。命题、意义、
论文部分内容阅读
19世纪末,以康托尔集合论为基础的数学进入了快速发展时期,但是随着集合论悖论被发现,尤其是罗素悖论的发现,在学界引起一片哗然,震动了整个数学界。当时罗素正在研究逻辑与数学的关系的问题,即逻辑主义,集合论悖论导致这个研究被迫中断。为了实现逻辑主义,为了解决集合论悖论,罗素构建了类型论。罗素类型论是较早解决集合论悖论的方案,它通过区分有意义的类或命题的逻辑类型来解悖,不同逻辑类型不能混淆。命题、意义、类型是类型论的基本概念。因发表时间、解悖方式等不同,类型论分为简单类型论和分支类型论。简单类型论的解悖方式是类分层,即通过确定类的各自层次来避免产生悖论。分支类型论是在恶性循环原则这一解悖原则的基础上采用命题分阶和命题函项分阶的方式来解决悖论。前者是借命题变项来确定命题的阶和逻辑类型,从而避免逻辑矛盾;后者是在命题分阶的基础上,对命题函项分阶来确定命题的逻辑类型,从而解决悖论。分支类型论可以分析所有的性质命题和关系命题,弥补了简单类型论研究对象有限的缺点。罗素类型论不仅解决了集合论悖论,还对逻辑学、哲学的发展产生了重要的影响。在逻辑学方面,类型论对维护传统二值逻辑、解决语义悖论和发展逻辑主义发挥了积极作用。在哲学方面,它推动了分析哲学和语言哲学的兴起和发展。它也有局限,主要体现在有争议的“恶性循环原则”和“可化归性公理”。
其他文献
习近平总书记关于扶贫工作重要论述坚持以人民为中心的发展理念,充分彰显了习近平总书记的人民观。扶贫工作的出发点是为了人民,以最广大人民根本利益为最高标准,满足人民美
水产码头是海南省商品批发的主要集散地,也是该省月饼馅料批发的主源地。中秋节前,海口工商局食品流动检测车进入批发市场抽检月饼馅料质量,被抽检的商家未发现月饼馅料有质量问
分析了我国目前城市环境基础设施制度设计的基本情况,提出了实施市场化的关键环节是投资体制改革.并提出了三峡库区及其上游地区实施市场化改革的紧迫性.
随着国际经济环境的不断恶化,国际船舶市场日趋低迷,船东都以较低的价格抛出订单,船厂为了生存只能承接订单。而造船的主要开支是物资采购和现场浪费这两方面的,因此以信息化
本文对网格的概念进行了阐述,重点介绍了我国的网格研究现状及网格的发展趋势,并在此基础上对我国网格技术的研究工作提出了一些建议。
对动物药理与毒理课程实验实训教学进行改革,以激发学生学习的积极性和主动性,增强学生的动手能力,培养学生具备一定的创新及协作能力,既能为学生走向工作岗位奠定基础,又可
目的:探讨运用聚焦超声治疗外阴尖锐湿疣患者的临床疗效。方法:经门诊治疗的外阴尖锐湿疣患者74例,在患者经期前后3d和非经期采用聚焦超声波治疗仪进行治疗,并观察患者术后病患变
办好中国的事情,关键在党。东明县作为山东省黄河滩区居民迁建的主战场,解决存在的困难挑战,对党的领导提出了新的更高标准和要求。为加强扶贫领域作风建设,必须加大对脱贫攻
目的:探讨采用常规血液检测在老年多器官功能不全综合征诊断中的应用。方法:选取50例老年多器官功能不全综合征患者为观察组及50名健康体检老人为对照组,均检测血液常规项目,比
中央政策研究室经济局局长李连仲在日前举行的“第四届中国上市公司董事会金圆桌奖颁奖典礼”上表示,目前中国的通货膨胀仍然是结构性的,而非全面通胀,完全可以实现全年4.8%的通胀