【精选】从《数学原则》到《数学原理》的命题逻辑(伯纳德 林斯基).pdfVIP

2017 ! 3 # 从《数学原则》到《数学原理》的命题逻辑 伯纳德·林斯基 著 陈 磊，王秀娟 译 摘 要 《数学原理》（ ）是罗素和怀特海的著作，也是早期分析哲学的基石，它的 [ ] Principia Mathematica 公理系统与《数学原则》（Principles of Mathematics ）的公理系统不同。 通过研究罗素如何在《数学原理》 中找 到证明方法的过程，可以发现经典命题逻辑公理形式化证明的一般方法。 《数学原理》 改变了《数学原则》 中的初始命题，带来了新的证明，一些定理和引理随着论题的发展而被删除了，但《数学原则》 中尽量多的 结果还是被保留下来。 《数学原理》 中的命题逻辑系统是一个逐步演化的结果。 关键词 《数学原则》；《数学原理》；《蕴含理论》；皮亚诺，皮尔士 [ ] 作者简介 伯纳德·林斯基，加拿大阿尔伯特大学哲学系教授，加拿大 埃德蒙顿；陈磊，北京师范大 [ ] 学哲学学院副教授；王秀娟，北京师范大学哲学学院硕士研究生，北京 100875 [中图分类号]B81 [文献标识码]A [文章编号]1004- 4434(2017)03- 0032 -09 一、引 言 要反映在 1925 年的PM 第二版《 导言》里，《导言》 给人的印象是：罗素早期曾经否定过PM 中的初等 逻辑系统。 到了 世纪 年代中期，人们已经知 人们有时会说，尽管罗素和怀特海（1910） 的 20 20 《 数学原理》（Principia Mathematica ， 下文简写为 道如何使用真值表证明命题逻辑的任意一个公理 ③ PM ）是早期分析哲学的奠基性著作之一，但它很少 系统在语义上是完全的 。 研究早期分析哲学的学 被阅读甚至被认为是“难以读懂的”① 。 除了 第 者们发现，维特根斯坦在《逻辑哲学论》 中最先提 PM 14 章中定性的讨论之外，当代哲学家已经不会再 出：命题逻辑的公理形式是不必要的。 而且，重言 去研究PM 了。 其部分原因既在于其过时的观点， 式的概念可以取代定理的概念成为逻辑真的解 也在于它已经被逻辑学的后续进展所取代。 当代 释。 因此，在PM 出版时，其中的命题逻辑就被认为 逻辑学家可能把关于命题逻辑的前几章（2-5 章） 已经过时并且与哲学几乎无关。 然而，探寻PM 在 看作是从公理中毫无目的地选择出来的近两百条 皮亚诺逻辑和罗素早期研究的踪迹，将帮助我们 理解 之后的逻辑学中许多看似困惑的特征。 基本定理的堆砌。 PM 第一卷于 1910 年出版之后， PM 亨利·谢费（Henry Sheffer ，1913）和珍·尼可德（Jean 罗素于 1900 年在巴黎数学大会听到朱塞佩· Nicod ，1917） 已经表明，命题逻辑可以由一个连接 皮亚诺（Giuseppe Peano ）和他学生的报告，他把这 词（“谢费竖”）和使用这个连接词的公理进行形式 个报告描述为在“我理智生命的最重要一年中的最 ② 重要的事件”（罗素，1944）。 正是这次与新符号逻辑 化 。 尼可德和谢费