【摘 要】
：
《数学原理》(Principia Mathematica)是罗素和怀特海的著作,也是早期分析哲学的基石,它的公理系统与《数学原则》(Principles of Mathematics)的公理系统不同。通过研究罗素
【基金项目】
：
国家社科基金一般项目“相对论的一阶逻辑基础研究”(14BZX078)资助
论文部分内容阅读
《数学原理》(Principia Mathematica)是罗素和怀特海的著作,也是早期分析哲学的基石,它的公理系统与《数学原则》(Principles of Mathematics)的公理系统不同。通过研究罗素如何在《数学原理》中找到证明方法的过程,可以发现经典命题逻辑公理形式化证明的一般方法。《数学原理》改变了《数学原则》中的初始命题,带来了新的证明,一些定理和引理随着论题的发展而被删除了,但《数学原则》中尽量多的结果还是被保留下来。《数学原理》中的命题逻辑系统是一个逐步演化的结果。
其他文献
<正>患者,男性,58岁。主因"发热3d,发作性意识不清伴四肢僵直2d"由急诊入院。既往无抽搐、晕厥病史。入院后体格检查:体温38.3℃,心率128次/min,呼吸频率22次/min,血压108/79
目的:了解南京市区老年人膳食营养状况和膳食结构模式.方法:采用连续3天24 h回顾法获得食物摄入量.结果:南京市区老年人三餐热能早餐热能比(23.45%)偏低、晚餐热能比(36.07%)
高血压性左心室肥厚是心脏事件的独立危险因素,高血压药物治疗的目的不仅是控制血压的升高,更重要的是保护靶器官和逆转左心室肥厚.我们于1998年3月至1999年10月对22例高血压
隐私和个人信息保护是网络时代的焦点问题。欧盟、美国的司法实践选择了不同的回应方案,前者坚守隐私和个人信息作为公民基本权利的定位,后者采取更加灵活的策略,以实现权利
分析总结９７例急性梗阻性化脓性胆管炎急症手术的麻醉处理。本组采用静脉复合麻醉７１例，硬膜外阻滞２６例。除１例术后国大出血而死亡外，余均痊愈出院。作者认为麻醉处理的关键是循环管理，对
目的:探讨急性早幼粒细胞白血病(APL)纤溶异常及三氧化二砷(As2O3)对此异常的影响.方法:23例APL As2O3治疗前后,检测血浆中纤溶酶原活性(PL:A)、α2-纤溶酶抑制物活性(α2-PI
应用免疫组化（ＡＢＣ）法检测５１例膀胱移行细胞癌增殖细胞核抗原（ＰＣＮＡ）表达，并探讨其与病理分级、临床分期和预后的关系。结果显示，ＰＣＮＡ表达与分级、分期关系非常显著（Ｐ均〈０．０１）；复发组和死亡组之间ＰＣＮＡ表达明显
大学生价值观教育是高校思想政治教育的核心内容,是践行社会主义核心价值体系的重要途径,决定着高校思想政治教育的效果,关乎学生个人成长和发展,关系到国家人才培养质量和社