Frege’s Theorem: An Introduction

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
Keywords Analytic Philosophy  Contemporary Philosophy  General Interest
Categories (categorize this paper)
ISBN(s) 1062-6239
DOI harvardreview1999717
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,385
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.

Add more citations

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.
Reading Frege's Grundgesetze.Richard G. Heck - 2012 - Oxford University Press.
Reading Frege's Grundgesetze. Heck Jr - 2012 - Oxford University Press UK.
Richard G. Heck, Jr.: Frege’s Theorem. [REVIEW]John P. Burgess - 2012 - Journal of Philosophy 109 (12):728-733.
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.
Frege's Theorem.Richard G. Heck - 2011 - Clarendon Press.
Frege’s Puzzle and Arithmetical Formalism. Putting Things in Context.Sorin Costreie - 2013 - History and Philosophy of Logic 34 (3):207-224.


Added to PP index

Total views
813 ( #4,348 of 2,291,106 )

Recent downloads (6 months)
11 ( #74,318 of 2,291,106 )

How can I increase my downloads?


My notes

Sign in to use this feature