- 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
Other Versions
No versions found
My notes
Similar books and articles
Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
The Consistency of predicative fragments of frege's grundgesetze der arithmetik.Richard Heck Jnr - 1996 - History and Philosophy of Logic 17 (1 & 2):209-220.
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.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
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.
Analytics
Added to PP
2009-01-28
Downloads
109 (#201,131)
6 months
7 (#469,699)
2009-01-28
Downloads
109 (#201,131)
6 months
7 (#469,699)
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.
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, One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy. Berlin and New York: 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-6d47b8f9f5-xlg7j uwo