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

Other Versions

No versions found

Similar books and articles

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 Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
Plural Frege Arithmetic.Francesca Boccuni - 2022 - Philosophia Scientiae 26:189-206.
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.

Analytics

Added to PP
2009-01-28

Downloads
1,014 (#23,349)

6 months
161 (#30,633)

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.
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck, Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
The Basic Laws of Cardinal Number.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg, Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 1-30.

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, Language, Thought, and Logic: Essays in Honour of Michael Dummett. New York: Oxford University Press. pp. 273--308.

View all 19 references / Add more references