［美］理查德•赫克 刘靖贤/译：弗雷格定理：一个导言

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

关键词： 新逻辑主义； 弗雷格定理； 休谟原则