Frege’s Theorem: AN INTRODUCTION

Manuscrito 26 (2):471-503 (2003)
  Copy   BIBTEX

Abstract

Frege's work was largely devoted to an attempt to argue that the'basic laws of arithmetic' are truths of logic. That attempt had both philosophical and formal aspects. The present note offers an introduction to both of these, so that readers will be able to appreciate contemporary discussions of the philosophical significance of 'Frege's Theorem'.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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 theorem and foundations for arithmetic.Edward N. Zalta - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
Reading Frege's Grundgesetze.Richard G. Heck - 2012 - Oxford, England: Oxford University Press UK.
Frege meets Brouwer.Stewart Shapiro & Øystein Linnebo - 2015 - Review of Symbolic Logic 8 (3):540-552.
Frege's Result: Frege's Theorem and Related Matters.Hirotoshi Tabata - 2012 - Frontiers of Philosophy in China 7 (3):351-366.
Frege: A Critical Introduction.Harold W. Noonan - 2001 - Malden, MA: Polity.
Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
Frege's logic, theorem, and foundations for arithmetic.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
Gottlob Frege: Basic Laws of Arithmetic.Philip A. Ebert & Marcus Rossberg (eds.) - 1964 - Oxford, UK: Oxford University Press.
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.
I. Frege's 'Kernsätze zur Logik'.Michael Dummett - 1981 - Inquiry: An Interdisciplinary Journal of Philosophy 24 (4):439-448.
Ramified Frege Arithmetic.Richard G. Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.

Analytics

Added to PP
2017-02-17

Downloads
97 (#174,820)

6 months
20 (#126,159)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.
Induction and comparison.Paul Pietrowski - 2007 - University of Maryland Working Papers in Linguistics 15:154-188.

Add more citations

References found in this work

Frege’s Conception of Numbers as Objects.Crispin Wright - 1983 - Critical Philosophy 1 (1):97.
The Julius Caesar objection.Richard Heck - 1997 - In Richard G. Heck (ed.), Language, Thought, and Logic: Essays in Honour of Michael Dummett. Oxford University Press. pp. 273--308.

View all 11 references / Add more references