Frege Arithmetic and "Everyday Mathematics"
| Abstract | The purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets some weak but non-trivial arithmetical theories. The weak theories in question are all related to Tarski, Mostowski, and Robinson's R. In saying that the interpretation is "natural", I mean that it relies only upon "definitions" of arithmetical notions that are themselves "natural", that is, that have some claim to be "definitions" in something other than a purely formal sense. | |||||||||
| 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,664 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesRichard Heck (2011). Ramified Frege Arithmetic. Journal of Philosophical Logic 40 (6):715-735.
Sanford Shieh (2008). Frege on Definitions. Philosophy Compass 3 (5):992-1012.
John MacFarlane (2002). Frege, Kant, and the Logic in Logicism. Philosophical Review 111 (1):25-65.
Ø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.
Jamie Tappenden (1995). Geometry and Generality in Frege's Philosophy of Arithmetic. Synthese 102 (3):319 - 361.
Tyler Burge (1998). Frege on Knowing the Foundation. Mind 107 (426):305-347.
Michael A. E. Dummett (1991). Frege: Philosophy of Mathematics. Harvard University Press.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
Richard Heck (1999). Frege's Theorem: An Introduction. The Harvard Review of Philosophy 7 (1):56-73.
Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
Patricia A. Blanchette (1994). Frege's Reduction. History and Philosophy of Logic 15 (1):85-103.
Marco Antonio Ruffino (1991). Context Principle, Fruitfulness of Logic and the Cognitive Value of Arithmetic in Frege. History and Philosophy of Logic 12 (2):185-194.
Analytics
Monthly downloads |
Added to index2011-03-09Total downloads26 ( #47,590 of 549,017 )Recent downloads (6 months)1 ( #63,261 of 549,017 )How can I increase my downloads? |
My notes
Discussion
