Frege's logic, theorem, and foundations for arithmetic

In The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab (2014)
  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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Frege's theorem and foundations for arithmetic.Edward N. Zalta - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. 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 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-05-24

Downloads
3 (#1,728,269)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edward Zalta
Stanford University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references