Frege’s Theorem: An Introduction

The Harvard Review of Philosophy 7 (1):56-73 (1999)
  Copy   BIBTEX

Abstract

A brief, non-technical introduction to technical and philosophical aspects of Frege's philosophy of arithmetic. The exposition focuses on Frege's Theorem, which states that the axioms of arithmetic are provable, in second-order logic, from a single non-logical axiom, "Hume's Principle", which itself is: The number of Fs is the same as the number of Gs if, and only if, the Fs and Gs are in one-one correspondence

Categories

Keywords

Reprint years

ISBN(s)

10626239

DOI

10.5840/harvardreview1999717

Links

PhilArchive



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

External links

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

Through your library

My notes

Chapters

A Logic for Frege's Theorem.Richard Heck

Similar books and articles

Frege's Result: Frege's Theorem and Related Matters.Hirotoshi Tabata - 2012 - Frontiers of Philosophy in China 7 (3):351-366.
Frege meets Brouwer.Stewart Shapiro & Øystein Linnebo - 2015 - Review of Symbolic Logic 8 (3):540-552.
Frege's theorem and foundations for arithmetic.Edward N. Zalta - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
The Contemporary Interest of an Old Doctrine.William Demopoulos - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:209 - 216.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
Reading Frege's Grundgesetze.Richard G. Heck - 2012 - Oxford, England: Oxford University Press UK.
Critical Notice of Michael Dummett's Frege: Philosophy of Mathematics.Crispin Wright - 1995 - Philosophical Books 1995 (2):89-102.
Frege's theorem.Richard G. Heck - 2011 - New York: Clarendon Press.
Critical Notice of Richard Heck's Frege's Theorem.Bob Hale - 2014 - Mind 123 (490):437-456.
Frege’s Theorem by Richard G. Heck, Jr. [REVIEW]John P. Burgess - 2012 - Journal of Philosophy 109 (12):728-732.
Richard G. Heck, Jr.: Frege’s Theorem. [REVIEW]John P. Burgess - 2012 - Journal of Philosophy 109 (12):728-733.
Frege's theorem and the peano postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
Frege's logic, theorem, and foundations for arithmetic.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.

Analytics

Added to PP
2011-01-09

Downloads
1,744 (#5,319)

6 months
33 (#98,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Kimberly Heck
Brown University

Citations of this work

Cardinality and Acceptable Abstraction.Roy T. Cook & Øystein Linnebo - 2018 - Notre Dame Journal of Formal Logic 59 (1):61-74.
Composition as Abstraction.Jeffrey Sanford Russell - 2017 - Journal of Philosophy 114 (9):453-470.
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
Abstractionism and Mathematical Singular Reference.Bahram Assadian - 2019 - Philosophia Mathematica 27 (2):177-198.
Abstraction and Four Kinds of Invariance.Roy T. Cook - 2017 - Philosophia Mathematica 25 (1):3–25.

View all 45 citations / Add more citations

References found in this work

No references found.

Add more references