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

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