Ramified Frege Arithmetic

Journal of Philosophical Logic 40 (6):715-735 (2011)
  Copy   BIBTEX

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

Categories

Keywords

DOI

10.1007/s10992-010-9158-y

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

Systems for a foundation of arithmetic.Andrew Boucher - manuscript
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.
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.
Frege on definitions.Sanford Shieh - 2008 - Philosophy Compass 3 (5):992-1012.
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.

Analytics

Added to PP
2009-01-28

Downloads
619 (#21,377)

6 months
75 (#36,632)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Kimberly Heck
Brown University

Citations of this work

Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.
Frege meets Brouwer.Stewart Shapiro & Øystein Linnebo - 2015 - Review of Symbolic Logic 8 (3):540-552.

View all 7 citations / Add more citations

References found in this work

Frege's conception of numbers as objects.Crispin Wright - 1983 - [Aberdeen]: Aberdeen University Press.
Logic, Logic, and Logic.George Boolos - 1998 - Cambridge, Mass: Harvard University Press. Edited by Richard C. Jeffrey.
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.
The Julius Caesar objection.Richard Heck - 1997 - In Richard G. Heck (ed.), Language, Thought, and Logic: Essays in Honour of Michael Dummett. Oxford University Press. pp. 273--308.

View all 20 references / Add more references