论文部分内容阅读
众所周知，一阶逻辑与公理集合论是数理逻辑的两个组成部分，其中，一阶逻辑是数理逻辑的基础部分。但在数理逻辑刚刚出现的时候，逻辑不是一阶的，集合论也经历了由康托尔素朴集合论到公理集合论的发展。在数理逻辑发展的历史中，一阶逻辑的出现及其主导地位的确立与集合论的公理化，二者之间存在着密切的联系。
浅议一阶逻辑的发展与集合论公理化的关系
【摘 要】
：
众所周知，一阶逻辑与公理集合论是数理逻辑的两个组成部分，其中，一阶逻辑是数理逻辑的基础部分。但在数理逻辑刚刚出现的时候，逻辑不是一阶的，集合论也经历了由康托尔素朴集合论到
【机 构】
：
中国人民大学哲学院
【出 处】
：
自然辩证法研究
【发表日期】
：
2008年12期
其他文献
汶川地震将我们震醒，我们学会了从珍惜生命的角度去审视我们的生活环境。当自然灾害突然来临时，人口密度越大，伤亡越大。在世界上亚洲国家人口密度最大，所以同样的自然灾害，亚洲国
近日，湖南省株洲籍全国人大代表刘晓武高调召开新闻发布会，宣布自已的“全国人大代表刘晓武工作办公室”成立。据有关专家介绍，这在全国是一个先例。
《自然辩证法——在工程中的理论与应用》是在社会发展理念更新，STS研究不断深入以及工程硕士《自然辩证法》课程长期缺少合适教材这一背景下编写的。新教材以科学、技术和工
目的 探讨腹腔镜完整结肠系膜切除（complete mesocolic excision,CME）联合血管高位结扎（central vascular ligation,CVL）术治疗结肠癌的临床疗效.方法 回顾性分析2007年5月至2012
图书馆管理工作中应用数字化技术具有多重优势,不仅图书馆的藏书容量明显增加,而且馆藏资源能够得到科学存储和利用,图书馆管理效率相对更高,管理人员的工作强度有所减轻,是
空间不只是客观的物质存在形式，也是人的一种认识，具有历史、社会和实践的性质，是“属人的现实”。因此空间及宇宙万物也都是人所规定、创造和生产的产物。正是人类在不同的发展
目地调查泌尿外科尿培养病原菌分布及耐药性,为临床合理选用抗生素提供参考。方法收集龙岩市第二医院泌尿外科2019年检出的436株尿培养病原菌,使用VITEK-2 Compact全自动微生
牟宗三是现代新儒家的重要代表之一。他一方面重视科学的自主性，另一方面强调科学的从属地位。“良知自我坎陷产生科学”是他的科学观的关键论点之一，即体现了这两个方面。牟宗
2008年北京奥运会主体育场—国家体育场坐落于北京奥林匹克公园中央，整个体育场结构的组件相互支撑，形成网格状的构架，外观看上去如同树枝织成的鸟巢。它由瑞士赫尔佐格和德梅隆
目的 评估腹腔镜腹股沟疝修补术的疗效,分析其术后并发症的原因.方法 对2013年1～12月期间收治的581例（712例次）腹腔镜腹股沟疝修补术病例进行回顾性分析,其中经腹腹膜前补片植入