Frege's Other Program

Robert May
University of California, Davis
G. Aldo Antonelli
University of California, Davis
Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of the so-called Hume's Principle and its connections to the root of the contradiction in Frege's system.
Keywords Frege   arithmetic   logicism   neologicism   Hume's Principle
Categories (categorize this paper)
DOI 10.1305/ndjfl/1107220671
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,566
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.

Add more citations

Similar books and articles

Frege and the Rigorization of Analysis.William Demopoulos - 1994 - Journal of Philosophical Logic 23 (3):225 - 245.
Neo-Logicism and its Logic.Panu Raatikainen - forthcoming - History and Philosophy of Logic.
The Ins and Outs of Frege's Way Out.G. Landini - 2006 - Philosophia Mathematica 14 (1):1-25.
Ramified Frege Arithmetic.Richard Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
Gottlob Frege and the Interplay Between Logic and Mathematics.Christian Thiel - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 196--202.
Finitude and Hume's Principle.Richard G. Heck - 1997 - Journal of Philosophical Logic 26 (6):589-617.
Finitude and Hume's Principle.Richard G. Heck Jr - 1997 - Journal of Philosophical Logic 26 (6):589 - 617.


Added to PP index

Total views
937 ( #2,252 of 2,325,884 )

Recent downloads (6 months)
7 ( #216,649 of 2,325,884 )

How can I increase my downloads?


My notes

Sign in to use this feature