In Frege's Theorem. Oxford University Press (2011)
It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic".
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Frege on Sense Identity, Basic Law V, and Analysis.Philip A. Ebert - 2016 - Philosophia Mathematica 24 (1):9-29.
Introduction to Special Issue: Reconsidering Frege's Conception of Number Dedicated to the Memory of Aldo Antonelli.Erich H. Reck & Roy T. Cook - 2016 - Philosophia Mathematica 24 (1):1-8.
Is Frege's Definition of the Ancestral Adequate.Richard G. Heck - 2016 - Philosophia Mathematica 24 (1):91-116.
Similar books and articles
Finitude and Hume's Principle.Richard G. Heck Jr - 1997 - Journal of Philosophical Logic 26 (6):589 - 617.
Frege's Logic, Theorem, and Foundations for Arithmetic.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects.Kai F. Wehmeier - 1999 - Synthese 121 (3):309-328.
Predicative Fragments of Frege Arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Frege's Theorem: An Introduction.Richard Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
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.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Added to index2009-01-28
Total downloads459 ( #4,350 of 2,163,673 )
Recent downloads (6 months)4 ( #84,209 of 2,163,673 )
How can I increase my downloads?