Predicative Frege Arithmetic and ‘Everyday’ Mathematics

Philosophia Mathematica 22 (3):279-307 (2014)
Authors
Richard Kimberly Heck
Brown University
Abstract
The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1093/philmat/nkt045
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,581
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Strict Finitism, Feasibility, and the Sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.
Consistency and the Theory of Truth.Richard G. Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.

Add more citations

Similar books and articles

Ramified Frege Arithmetic.Richard Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
Ramified Frege Arithmetic.Richard G. Heck Jr - 2011 - Journal of Philosophical Logic 40 (6):715 - 735.
Predicative Fragments of Frege Arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Predicative Arithmetic.Edward Nelson - 1986 - Princeton University Press.
Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
Frege on Definitions.Sanford Shieh - 2008 - Philosophy Compass 3 (5):992-1012.
Reading Frege's Grundgesetze.Richard G. Heck - 2012 - Oxford University Press.
Arithmetical Set Theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.

Analytics

Added to PP index
2011-03-09

Total downloads
185 ( #30,009 of 2,268,377 )

Recent downloads (6 months)
2 ( #211,892 of 2,268,377 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature