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

发布时间：2018-04-04 19:35

本文选题：《数学原则》　切入点：《数学原理》　出处：《学术论坛》2017年03期

【摘要】：《数学原理》(Principia Mathematica)是罗素和怀特海的著作,也是早期分析哲学的基石,它的公理系统与《数学原则》(Principles of Mathematics)的公理系统不同。通过研究罗素如何在《数学原理》中找到证明方法的过程,可以发现经典命题逻辑公理形式化证明的一般方法。《数学原理》改变了《数学原则》中的初始命题,带来了新的证明,一些定理和引理随着论题的发展而被删除了,但《数学原则》中尽量多的结果还是被保留下来。《数学原理》中的命题逻辑系统是一个逐步演化的结果。
[Abstract]:Principia Mathematica is the work of Russell and Whitehead and the cornerstone of early analytical philosophy. Its axiomatic system is different from that of principle of Mathematics.By studying Russell's process of finding proof method in Mathematical principle, we can find the general method of formal proof of axiom of classical propositional logic.Some theorems and lemmas have been deleted with the development of the thesis, but as many results as possible in the Mathematical principle have been preserved. The propositional logic system in the Mathematical principle is a result of gradual evolution.
【作者单位】：加拿大阿尔伯特大学哲学系;北京师范大学哲学学院;
【基金】：国家社科基金一般项目“相对论的一阶逻辑基础研究”(14BZX078)资助
【分类号】：O14

【相似文献】