- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Frege's logic, theorem, and foundations for arithmetic
Stanford Encyclopedia of Philosophy (2008)
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.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Finitude and Hume's Principle.Richard G. Heck Jr - 1997 - Journal of Philosophical Logic 26 (6):589 - 617.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Analytics
Added to PP
2009-01-28
Downloads
147 (#127,343)
6 months
7 (#421,763)
2009-01-28
Downloads
147 (#127,343)
6 months
7 (#421,763)
Historical graph of downloads
Author's Profile
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.
Nosological Diagnosis, Theories of Categorization, and Argumentations by Analogy.Francesco Gagliardi - 2022 - Journal of Medicine and Philosophy 47 (2):311-330.
Russell’s Paradox and Free Zig Zag Solutions.Ludovica Conti - 2020 - Foundations of Science 28 (1):1-19.
Don't throw the baby out with the math water: Why discounting the developmental foundations of early numeracy is premature and unnecessary.Kevin Muldoon, Charlie Lewis & Norman Freeman - 2008 - Behavioral and Brain Sciences 31 (6):663-664.
Analysis and Interpretation in the Exact Sciences: Essays in Honour of William Demopoulos.Melanie Frappier, Derek Brown & Robert DiSalle (eds.) - 2011 - Dordrecht and London: Springer.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-b9rvg uwo