David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Notre Dame Journal of Formal Logic 46 (1):1-17 (2005)
Frege’s logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the “neologicist” approach of Hale & 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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
G. A. Antonelli (2010). Notions of Invariance for Abstraction Principles. Philosophia Mathematica 18 (3):276-292.
Similar books and articles
Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
G. Aldo Antonelli & Robert C. May (2005). Frege's Other Program. Notre Dame Journal of Formal Logic 46 (1):1-17.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
William Demopoulos (1994). Frege and the Rigorization of Analysis. Journal of Philosophical Logic 23 (3):225 - 245.
Dirk Greimann (2008). Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner. Mind 117 (466):403-425.
John MacFarlane (2002). Frege, Kant, and the Logic in Logicism. Philosophical Review 111 (1):25-65.
Edward N. Zalta, Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Added to index2009-01-28
Total downloads16 ( #100,924 of 1,098,599 )
Recent downloads (6 months)1 ( #285,544 of 1,098,599 )
How can I increase my downloads?