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

Similar books and articles

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

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