- 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
First-order Frege theory is undecidable
Journal of Philosophical Logic 30 (6):613-616 (2001)
Abstract
The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidableAuthor's Profile
My notes
Similar books and articles
On the consistency of the Δ11-CA fragment of Frege's grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
The Π₃-Theory of the $\Sigma _{2}^{0}$ -Enumeration Degrees Is Undecidable.Thomas F. Kent - 2006 - Journal of Symbolic Logic 71 (4):1284 - 1302.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
A decidable variety that is finitely undecidable.Joohee Jeong - 1999 - Journal of Symbolic Logic 64 (2):651-677.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.
Analytics
Added to PP
2009-01-28
Downloads
91 (#184,038)
6 months
6 (#504,917)
2009-01-28
Downloads
91 (#184,038)
6 months
6 (#504,917)
Historical graph of downloads
Author's Profile
Citations of this work
What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
On the consistency of the Δ11-CA fragment of Frege's grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
On the Consistency of the Δ1 1-CA Fragment of Frege's Grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
Frege, Boolos, and logical objects.David J. Anderson & Edward N. Zalta - 2004 - Journal of Philosophical Logic 33 (1):1-26.
Russell's paradox in consistent fragments of Frege's grundgesetze der arithmetik.Kai F. Wehmeier - 2004 - In Godehard Link (ed.), One Hundred Years of Russell’s Paradox. de Gruyter.
References found in this work
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.
On the consistency of the first-order portion of Frege's logical system.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.
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-7c76586df8-pp8v9 uwo