罗素《数学原理》的命题逻辑

摘要

尽管罗素和怀特海的《数学原理》是早期分析哲学的奠基性著作之一,但它很少被阅读甚至被认为是“难以读懂的”。《数学原理》第一卷于1910年出版之后,亨利 谢费和珍 尼可德已经表明,命题逻辑可以由一个连接词和使用这个连接词的公理进行形式化。尼可德和谢费是罗素的学生,他们认为,罗素早期曾经否定过《数学原理》中的初等逻辑系统。到了20世纪20年代中期,人们已经知道如何使用真值表证明命题逻辑的任意一个公理系统在语义上是完全的。然而,罗素关于初等逻辑的观点是逐步发展而来的。