论二阶算术的理论解释

直观而言,自然数有无穷多个,每一个都可从初始元(设为0)出发,通过有限步后移而达到(有限可达性),自然数全体构成一个良序集。从结构的角度刻画自然数集所遇到的最大困难是如何既表征自然数集的无穷性又表征每一个自然数的有限可达性。

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

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