论文部分内容阅读
戈特洛布·弗雷格是现代数理逻辑的奠基人，也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学---逻辑主义：算术真理都是逻辑真理。长久以来，哲学家一直认为，罗素悖论彻底瓦解了弗雷格的工作。然而实际的情况是，在弗雷格那里隐藏着另一个证明：算术公理可以纯粹逻辑地从休谟原则推出。休谟原则是说，概念F的数和概念G的数相同当且仅当存在F和G之间的一一对应关系。这一结果被称为弗雷格定理，它引发了一种新的逻辑主义的兴起。