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

Reprint years

DOI

10.1007/s10992-010-9158-y

Other Versions

No versions found

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 Jr - 2011 - Journal of Philosophical Logic 40 (6):715 - 735.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
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.
The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe & Fernando Ferreira - 2015 - Notre Dame Journal of Formal Logic 56 (1):61-79.
Plural Frege Arithmetic.Francesca Boccuni - 2022 - Philosophia Scientiae 26:189-206.
The Consistency of predicative fragments of frege's grundgesetze der arithmetik.Richard Heck Jnr - 1996 - History and Philosophy of Logic 17 (1 & 2):209-220.
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.
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