不可超越的无穷：关于直谓性和后继公理的关系

摘要：

本文首先将新弗雷格主义的发展划分为三个阶段：（1）弗雷格算术（由二阶逻辑和休谟原则构成的理论）的一致性和对于二阶皮亚诺算术公理的可推出性的证明,（2）对休谟原则和二阶逻辑的哲学辩护与反驳,（3）对休谟原则和二阶逻辑进行限制,并证明其一致性和可推出性。然后着重介绍：（1）直谓二阶逻辑和公理V的一致性,（2）直谓二阶逻辑和休谟原则不能推出皮亚诺算术的后继公理。这说明一致性和可推出性在弗雷格系统的直谓片段中不可兼得。最后在直观上做出简单的分析。

关键词：弗雷格定理、直谓性、概括公理、后继公理

所属期刊栏目：4

分类号：B81(逻辑学(论理学))

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

页数：共16页

页码：52-67