Frontiers of Philosophy in China >
Frege’s Result: Frege’s Theorem and Related Matters
Published date: 05 Sep 2012
Copyright
One of the remarkable results of Frege’s Logicism is Frege’s Theorem, which holds that one can derive the main truths of Peano arithmetic from Hume’s Principle (HP) without using Frege’s Basic Law V. This result was rediscovered by the Neo-Fregeans and their allies. However, when applied in developing a more advanced theory of mathematics, their fundamental principles—the abstraction principles—incur some problems, e.g., that of inflation. This paper finds alternative paths for such inquiry in extensionalism and object theory.
Key words: Frege's Theorem; Neo-Fregeans; abstraction principles; extensionalism; object theory
Hirotoshi Tabata . Frege’s Result: Frege’s Theorem and Related Matters[J]. Frontiers of Philosophy in China, 2012 , 7(3) : 351 -366 . DOI: 10.3868/s030-001-012-0021-2
/
〈 | 〉 |