發(fā)布時(shí)間：2018-04-04 19:35

  本文選題：《數(shù)學(xué)原則》　切入點(diǎn)：《數(shù)學(xué)原理》　出處：《學(xué)術(shù)論壇》2017年03期

【摘要】：《數(shù)學(xué)原理》(Principia Mathematica)是羅素和懷特海的著作,也是早期分析哲學(xué)的基石,它的公理系統(tǒng)與《數(shù)學(xué)原則》(Principles of Mathematics)的公理系統(tǒng)不同。通過(guò)研究羅素如何在《數(shù)學(xué)原理》中找到證明方法的過(guò)程,可以發(fā)現(xiàn)經(jīng)典命題邏輯公理形式化證明的一般方法�！稊�(shù)學(xué)原理》改變了《數(shù)學(xué)原則》中的初始命題,帶來(lái)了新的證明,一些定理和引理隨著論題的發(fā)展而被刪除了,但《數(shù)學(xué)原則》中盡量多的結(jié)果還是被保留下來(lái)�！稊�(shù)學(xué)原理》中的命題邏輯系統(tǒng)是一個(gè)逐步演化的結(jié)果。
[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.
【作者單位】： 加拿大阿爾伯特大學(xué)哲學(xué)系;北京師范大學(xué)哲學(xué)學(xué)院;
【基金】：國(guó)家社科基金一般項(xiàng)目“相對(duì)論的一階邏輯基礎(chǔ)研究”(14BZX078)資助
【分類號(hào)】：O14

【相似文獻(xiàn)】

相關(guān)期刊論文 前2條

1 鄭偉平;;論羅素《數(shù)學(xué)原則》中的聯(lián)結(jié)詞[J];哲學(xué)研究;2009年04期

2 ;[J];;年期

，

本文編號(hào)：1711372