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

original Zalta, Edward N. (2010) "Frege's Logic, Theorem, and Foundations for Arithmetic".
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)
reprint Zalta, Edward N. (2014) "Frege's logic, theorem, and foundations for arithmetic". In Zalta, Edward N., The Stanford Encyclopedia of Philosophy, pp. : The Metaphysics Research Lab (2014)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,235

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.
Frege’s Theorem: An Introduction.Richard G. Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
A Logical Foundation of Arithmetic.Joongol Kim - 2015 - Studia Logica 103 (1):113-144.

Analytics

Added to PP
2009-01-28

Downloads
157 (#129,974)

6 months
14 (#340,905)

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.
Russell’s Paradox and Free Zig Zag Solutions.Ludovica Conti - 2020 - Foundations of Science 28 (1):1-19.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references