Journal of Philosophical Logic

, Volume 28, Issue 6, pp 617–658

Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege"s Grundgesetze in Object Theory

  • Edward N. Zalta

DOI: 10.1023/A:1004330128910

Cite this article as:
Zalta, E.N. Journal of Philosophical Logic (1999) 28: 617. doi:10.1023/A:1004330128910


In this paper, the author derives the Dedekind–Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege"s Grundgesetze. The proofs of the theorems reconstruct Frege"s derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege"s conception of numbers and logical objects.

abstract objects cardinal numbers Dedekind Frege Hume"s Principle natural numbers Peano 

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Edward N. Zalta
    • 1
  1. 1.Center for the Study of Language and InformationStanford UniversityUSA

Personalised recommendations