Amending Frege's "Grundgesetze der Arithmetik" to the Memory of Nhê (1925-2001)
Synthese 147 (1):3 - 19 (2005)
| Abstract | Frege's "Grundgesetze der Arithmetik" is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege's Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the "Grundgesetze" is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this extended system. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFernando Ferreira (2005). Amending Frege's Grundgesetze der Arithmetik. Synthese 147 (1).
Richard Heck (1996). The Consistency of Predicative Fragments of Frege's Grundgesetze der Arithmetik. History and Philosophy of Logic 17 (1):209-220.
Fernando Ferreira & Kai F. Wehmeier (2002). On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. Journal of Philosophical Logic 31 (4):301-311.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Kai F. Wehmeier (2004). Russell's Paradox in Consistent Fragments of Frege's Grundgesetze der Arithmetik. In Godehard Link (ed.), One Hundred Years of Russell’s Paradox. de Gruyter.
Richard Heck (1995). Definition by Induction in Frege's Grundgesetze der Arithmetik. In W. Demopoulos (ed.), Frege's Philosophy of Mathematics. OUP.
Richard Heck & George Boolos (1998). Die Grundlagen der Arithmetik §§82-83. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Kai F. Wehmeier (1999). Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects. Synthese 121 (3):309-328.
Richard Heck (1997). Grundgesetze der Arithmetik I §§29‒32. Notre Dame Journal of Formal Logic 38 (3):437-474.
G. Frege (1960). Grundgesetze der Arithmetik. Section 56ff. In P. Geach & M. Black (eds.), Translations From the Philosophical Writings of Gottlob Frege. Blackwell.
Gottlob Frege (1950). Frege Against the Formalists (II): A Translation of Part of Grundgesetze der Arithmetik. Philosophical Review 59 (2):202-220.
Gottlob Frege (1950). Frege Against the Formalists. III: A Translation of Part of Grundgesetze der Arithmetik. Philosophical Review 59 (3):332-345.
Richard Heck (1998). The Finite and the Infinite in Frege's Grundgesetze der Arithmetik. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Friedrich Ludwig Gottlob Frege (1903). Grundgesetze Der Arithmetik Vol. (Band 2). Jena: Verlag Hermann Pohle.
Friedrich Ludwig Gottlob Frege (1893). Grundgesetze Der Arithmetik Vol. (Band 1). Verlag Hermann Pohle.
Analytics
Monthly downloads |
Added to index2011-05-29Total downloads2 ( #232,684 of 550,917 )Recent downloads (6 months)1 ( #63,425 of 550,917 )How can I increase my downloads? |
My notes
Discussion
