Frege's Logic, Theorem, and Foundations for Arithmetic

Stanford Encyclopedia of Philosophy (2010)
  Copy   BIBTEX

Abstract

This entry explains Frege's Theorem by using the modern notation of the predicate calculus. Frege's Theorem is that the Dedekind-Peano axioms for number theory are derivable from Hume's Principle, given the axioms and rules of second-order logic. Frege's methodology for defining the natural numbers and for the derivation of the Dedekind-Peano axioms are sketched in some detail.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
On Translating Frege's Die Grundlagen der Arithmetik.Matthias Schirn - 2010 - History and Philosophy of Logic 31 (1):47-72.
Frege's logic, theorem, and foundations for arithmetic.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Gottlob Frege: Basic Laws of Arithmetic.Philip A. Ebert & Marcus Rossberg (eds.) - 1964 - Oxford, UK: Oxford University Press.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
Frege's theorem and his logicism.Hirotoshi Tabata - 2000 - History and Philosophy of Logic 21 (4):265-295.
Frege's Theorem and the Peano Postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
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.

Analytics

Added to PP
2014-03-30

Downloads
34 (#441,874)

6 months
6 (#403,662)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edward Zalta
Stanford University

Citations of this work

Russell’s Paradox and Free Zig Zag Solutions.Ludovica Conti - 2020 - Foundations of Science 28 (1):1-19.

Add more citations

References found in this work

No references found.

Add more references