弗雷格定理的再发现、证明及其哲学意义

摘要：

弗雷格定理是弗雷格的研究者试图修正和重构弗雷格的不一致的逻辑-算术系统的结果。弗雷格定理表明，撇开弗雷格关于数的显式定义，从其系统中清除“外延”和“值域”的术语，直接从休谟原理出发，把它作为唯一的非逻辑公理加入到标准的二阶逻辑系统中，可得到一个一致的系统且二阶皮亚诺算术公理在此系统中是可证明的。本文讨论弗雷格定理的再发现和证明并以此反观弗雷格的逻辑主义，研究能否纯逻辑地回答数是什么这一问题。

关键词：二阶算术、弗雷格定理、逻辑主义

所属期刊栏目：22

分类号：B085(哲学流派及其研究)

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：23-29,22