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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Analytics

Added to PP
2013-09-30

Downloads
23 (#684,863)

6 months
6 (#528,006)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Frege’s Conception of Numbers as Objects.Crispin Wright - 1983 - Critical Philosophy 1 (1):97.
Logic, Logic and Logic.George Boolos & Richard C. Jeffrey - 1998 - Studia Logica 66 (3):428-432.
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 13 references / Add more references