Predicative Frege Arithmetic and ‘Everyday’ Mathematics

Philosophia Mathematica 22 (3):279-307 (2014)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkt045

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ramified Frege Arithmetic.Richard G. 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.
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Predicative arithmetic.Edward Nelson - 1986 - Princeton, N.J.: 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.
Geometry and generality in Frege's philosophy of arithmetic.Jamie Tappenden - 1995 - Synthese 102 (3):319 - 361.
Gottlob Frege: Basic Laws of Arithmetic.Philip A. Ebert & Marcus Rossberg (eds.) - 1964 - Oxford, UK: Oxford University Press.
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.

Analytics

Added to PP
2011-03-09

Downloads
483 (#40,095)

6 months
112 (#38,405)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Kimberly Heck
Brown University

Citations of this work

Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.
Strict finitism, feasibility, and the sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.

Add more citations

References found in this work

Frege's conception of numbers as objects.Crispin Wright - 1983 - [Aberdeen]: Aberdeen University Press.
Frege’s Conception of Numbers as Objects.Crispin Wright - 1983 - Critical Philosophy 1 (1):97.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.
Logic, Logic and Logic.George Boolos & Richard C. Jeffrey - 1998 - Studia Logica 66 (3):428-432.

View all 32 references / Add more references