弗雷格定理：一个导言
戈特洛布·弗雷格是现代数理逻辑的奠基人，也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学---逻辑主义：算术真理都是逻辑真理。长久以来，哲学家一直认为，罗素悖论彻底瓦解了弗雷格的工作。然而实际的情况是，在弗雷格那里隐藏着另一个证明：算术公理可以纯粹逻辑地从休谟原则推出。休谟原则是说，概念F的数和概念G的数相同当且仅当存在F和G之间的一一对应关系。这一结果被称为弗雷格定理，它引发了一种新的逻辑主义的兴起。
新逻辑主义、弗雷格定理、休谟原则
B51/56(欧洲各国哲学)
2014-05-13（万方平台首次上网日期，不代表论文的发表时间）
共17页
69-85
