research-article

Frege’s Result: Frege’s Theorem and Related Matters

  • Hirotoshi Tabata
Expand
  • University Education Center, Tottori University, Tottori 680-8551, Japan

Published date: 05 Sep 2012

Copyright

2014 Higher Education Press and Brill

Abstract

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.

Cite this article

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

Outlines

/