Frege's logic, theorem, and foundations for arithmetic

Stanford Encyclopedia of Philosophy (2008)
  Copy   BIBTEX

Abstract

In this entry, Frege's logic is introduced and described in some detail. It is shown how the Dedekind-Peano axioms for number theory can be derived from a consistent fragment of Frege's logic, with Hume's Principle replacing Basic Law V.

Categories

Keywords

Reprint years

Other Versions

reprint Zalta, Edward N. (2012) "Frege's logic, theorem, and foundations for arithmetic". In Zalta, Ed, Stanford Encyclopedia of Philosophy, pp. : Stanford Encyclopedia of Philosophy (2012)
reprint Zalta, Edward N. (2012) "Frege's theorem and foundations for arithmetic". In Zalta, Ed, Stanford Encyclopedia of Philosophy, pp. : Stanford Encyclopedia of Philosophy (2012)

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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

Frege's Logic, Theorem, and Foundations for Arithmetic.Edward N. Zalta - 2010 - Stanford Encyclopedia of Philosophy.
Comparing Peano arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
Frege's Result: Frege's Theorem and Related Matters.Hirotoshi Tabata - 2012 - Frontiers of Philosophy in China 7 (3):351-366.
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
A Logical Foundation of Arithmetic.Joongol Kim - 2015 - Studia Logica 103 (1):113-144.
Frege’s Theorem: An Introduction.Richard G. Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.

Analytics

Added to PP
2009-01-28

Downloads
221 (#122,864)

6 months
16 (#194,991)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edward Zalta
Stanford University

Citations of this work

From numerical concepts to concepts of number.Lance J. Rips, Amber Bloomfield & Jennifer Asmuth - 2008 - Behavioral and Brain Sciences 31 (6):623-642.

Add more citations

References found in this work

No references found.

Add more references