Ramified Frege Arithmetic
Journal of Philosophical Logic 40 (6):715-735 (2011)
| Abstract | Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn MacFarlane (2002). Frege, Kant, and the Logic in Logicism. Philosophical Review 111 (1):25-65.
Sanford Shieh (2008). Frege on Definitions. Philosophy Compass 3 (5):992-1012.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
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).
Richard Heck (1996). The Consistency of Predicative Fragments of Frege's Grundgesetze der Arithmetik. History and Philosophy of Logic 17 (1):209-220.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Richard Heck (1999). Frege's Theorem: An Introduction. The Harvard Review of Philosophy 7 (1):56-73.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads24 ( #51,635 of 549,090 )Recent downloads (6 months)1 ( #63,317 of 549,090 )How can I increase my downloads? |
My notes
Discussion
