从《数学原则》到《数学原理》的命题逻辑  

作　　者：伯纳德.林斯基 陈磊[2] 王秀娟[2] 

机构地区：[1]加拿大阿尔伯特大学哲学系 [2]北京师范大学哲学学院

出　　处：《学术论坛》2017年第3期32-40,共9页Academic Forum

基　　金：国家社科基金一般项目"相对论的一阶逻辑基础研究"(14BZX078)资助

摘　　要：《数学原理》(Principia Mathematica)是罗素和怀特海的著作,也是早期分析哲学的基石,它的公理系统与《数学原则》(Principles of Mathematics)的公理系统不同。通过研究罗素如何在《数学原理》中找到证明方法的过程,可以发现经典命题逻辑公理形式化证明的一般方法。《数学原理》改变了《数学原则》中的初始命题,带来了新的证明,一些定理和引理随着论题的发展而被删除了,但《数学原则》中尽量多的结果还是被保留下来。《数学原理》中的命题逻辑系统是一个逐步演化的结果。

关 键 词：《数学原则》 《数学原理》 《蕴含理论》 皮亚诺 皮尔士 

分 类 号：O14[理学—数学]