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

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