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

逻辑学研究 2011 年第2 期，52–67 文章编号：1674-3202(2011)-02-0052-16 不可超越的无穷： 关于直谓性和后继公理的关系 刘靖贤 北京大学哲学系 liujingxian@ 摘 要：本文首先将新弗雷格主义的发展划分为三个阶段：（1）弗雷格算术（由二 阶逻辑和休谟原则构成的理论）的一致性和对于二阶皮亚诺算术公理的可推出性的证 明，（2）对休谟原则和二阶逻辑的哲学辩护与反驳，（3）对休谟原则和二阶逻辑进行 限制，并证明其一致性和可推出性。然后着重介绍：（1）直谓二阶逻辑和公理Ⅴ的一 致性，（2）直谓二阶逻辑和休谟原则不能推出皮亚诺算术的后继公理。这说明一致性 和可推出性在弗雷格系统的直谓片段中不可兼得。最后在直观上做出简单的分析。 关键词：弗雷格定理；直谓性；概括公理；后继公理 中图分类号：B81 文献标识码：A 一、背景 弗雷格是一个逻辑主义者，他认为数学可