Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege"s Grundgesetze in Object Theory
- Cite this article as:
- Zalta, E.N. Journal of Philosophical Logic (1999) 28: 617. doi:10.1023/A:1004330128910
- 66 Downloads
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.