罗素的数学逻辑主义思想研究

被引量 : 0次 | 上传用户:ryterj45
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对伟大的数学家和逻辑学家伯特兰·罗素的数学逻辑主义思想进行了研究和探讨。 在前言中,简要地介绍了罗素的数学逻辑主义思想,认为它除了“将数学还原为逻辑”这一观点外,还包括了解决罗素悖论的工作。 第一章介绍了罗素形成数学逻辑主义思想的历史背景及其提出数学逻辑主义论题的情况。认为罗素形成数学逻辑主义思想的历史背景在于他对数学基础建立在数学理论的“算术化”的不满。他认为,数学的基础应是逻辑,从而提出他的数学逻辑主义论题:数学与逻辑等同,全部数学可以化归为逻辑。 第二章详细介绍了罗素对其数学逻辑主义论题的证明。罗素在弗雷格研究的基础上,提出逻辑类型论来解决罗素悖论,以非集合论理论为基础,以无穷公理和选择公理为前提,利用逻辑概念定义数学概念,并构造系统,通过逻辑演绎法从逻辑公理推导数学定理。 第三章对罗素的数学逻辑主义思想作出评论。认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标,因而是失败的。失败原因主要是由罗素本人哲学思想的错误决定的。但这种失败只是部分失败,其成功之处在于,罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。
其他文献
本文介绍了状态检修的国内外发展趋势和现状,结合“福建省电力设备状态检修系统”项目研发过程,利用粗糙集理论、人工神经网络和遗传算法等现代理论,提出了跨专业综合分析(即“电
近年来,固体表面的超疏水性研究一直备受瞩目,其应用前景广泛,制备方法众多,而模板法是最易实现工业化生产的一种方法。人们对超疏水材料的研究最先来源于对自然界动植物表面
随着社交媒体日益普及,人们获取信息、与他人交流、解决问题的方式都发生了重大变化,消费者能够轻松自主地获取各种信息,甚至可以成为信息的创造者。同时,对企业来说,社交媒
物流的思想对于我们并不陌生,而现代物流的理论则是近几十年在西方发达国家得到不断发展与完善,并在实际运作中产生了第三方物流的概念,第三方物流企业借助信息技术和先进的物流
农地分等定级与估价对农地保护和土地使用制度改革具有重要意义,这一工作目前在我国已经逐渐展开,但其中对农地价值构成的内涵尚缺乏统一完整的认识,对土地多限于经济价值的认识
<正>苏政办发[2015]50号各市、县(市、区)人民政府,省各委办厅局,省各直属单位:自国务院部署探索实行"三证合一"登记制度改革以来,我省高度重视,在全省积极开展"三证合一"改
公证最重要的特征就是公信力。公证作为法治社会建设的一条生命线,不仅在法治精神建设中占据重要的地位,而且在建设新型法治社会中指导各种社会实践,服务于基层社会和民生,建
<正>随着保险行业的发展,我国保险文化逐步成长繁荣。但相对于快速扩张的保险市场,保险文化的发展仍相对滞后。加强保险文化建设已经成为行业发展的关键问题。保险文化根植于
本文在以认知和测量相结合为核心的新一代测验理论的指导下,从瑞文标准推理测验项目刺激特征的角度,对项目认知难度的影响因素进行了认知分析,提取出四个因素:图块繁简度、图块布
<正>服务从沟通开始,沟通交流需要技巧,也要掌握相关话术。所以服务可以从简单的标准话术开始。图文快印店一般有门市客户、取件客户和网络客户,提供的文件格式各种各样,产品