|
|||||
|
|
| 弗雷格定理:一个导言 | |
| 作者单位： | ;1.美国布朗大学;2.辽宁大学哲学与公共管理学院 |
| 摘 要： | 戈特洛布·弗雷格是现代数理逻辑的奠基人,也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学———逻辑主义:算术真理都是逻辑真理。长久以来,哲学家一直认为,罗素悖论彻底瓦解了弗雷格的工作。然而实际的情况是,在弗雷格那里隐藏着另一个证明:算术公理可以纯粹逻辑地从休谟原则推出。休谟原则是说,概念F的数和概念G的数相同当且仅当存在F和G之间的一一对应关系。这一结果被称为弗雷格定理,它引发了一种新的逻辑主义的兴起。 |
| 关 键 词： | 新逻辑主义 弗雷格定理 休谟原则 |
Frege's Theorem: An Introduction |
|
| Abstract: | |
| Keywords: | |