浅议一阶逻辑的发展与集合论公理化的关系
文献类型:期刊
作者:王辉[1]
机构:[1]中国人民大学哲学院
年:2008
期刊名称:自然辩证法研究
期:12
页码范围:27-30
增刊:增刊
收录情况:中文核心期刊要目总览
所属部门:哲学院
语言:中文
ISSN:1000-8934
关键词:数理逻辑;一阶逻辑;公理集合论;逻辑史
摘要:众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分。但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展。在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系。
作者其他论文
首届中国媒体微博大会嘉宾发言摘要.郑志;喻国明;邹建华,等.传媒.2012,28-31.
混合语言与时态逻辑.王辉.湖南科技大学学报(社会科学版).2009,12(2),32-35.
中西医结合早期治疗青年学生重度踝关节扭伤.王大立;王辉.黑龙江医药科学.2013,36(3),92.
中西医结合保守治疗轻度儿童臀肌挛缩症.王大立;王辉.黑龙江医药科学.2013,36(2),108.
关于党的价值观与执政能力建设的思考.韩华;王辉.湖北社会科学.2005,27-28.