The consistency of predicative fragments of Frege's Grundgesetze der Arithmetik
History and Philosophy of Logic 17 (1):209-220 (1996)
| Abstract | As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell?s Paradox being derivable in it.This system is, except for minor differences, full second-order logic, augmented by a single non-logical axiom, Frege?s Axiom V. It has been known for some time now that the first-order fragment of the theory is consistent. The present paper establishes that both the simple and the ramified predicative second-order fragments are consistent, and that Robinson arithmetic, Q, is relatively interpretable in the simple predicative fragment. The philosophical significance of the result is discussed | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| 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 articlesG. Frege (1960). Grundgesetze der Arithmetik. Section 56ff. In P. Geach & M. Black (eds.), Translations From the Philosophical Writings of Gottlob Frege. Blackwell.
Richard Heck & George Boolos (1998). Die Grundlagen der Arithmetik §§82-83. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Richard Heck (1995). Definition by Induction in Frege's Grundgesetze der Arithmetik. In W. Demopoulos (ed.), Frege's Philosophy of Mathematics. OUP.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Kai F. Wehmeier (1999). Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects. Synthese 121 (3):309-328.
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.
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.
Fernando Ferreira (2005). Amending Frege's "Grundgesetze der Arithmetik" to the Memory of Nhê (1925-2001). Synthese 147 (1):3 - 19.
Fernando Ferreira (2005). Amending Frege's Grundgesetze der Arithmetik. Synthese 147 (1).
Analytics
Monthly downloads |
Added to index2010-08-17Total downloads23 ( #53,940 of 549,699 )Recent downloads (6 months)4 ( #19,337 of 549,699 )How can I increase my downloads? |
My notes
Discussion
