Journal of Philosophical Logic 33 (1):1-26 (2004)
In this paper, the authors discuss Frege's theory of "logical objects" and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the 'eta' relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for Logical Objects and banishes encoding formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: the theory of extensions, the theory of directions and shapes, and the theory of truth values.
|Keywords||abstract objects extensions George Boolos Gottlob Frege Hume's Principle logical objects numbers object theory second-order logic truth values|
|Categories||categorize this paper)|
References found in this work BETA
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford University Press.
Intensional Logic and the Metaphysics of Intentionality.Edward N. Zalta - 1988 - MIT Press.
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - D. Reidel.
Citations of this work BETA
What is Neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
What is the Purpose of Neo-Logicism?Marcus Rossberg & Philip A. Ebert - 2007 - Traveaux de Logique 18:33-61.
Similar books and articles
Naturalized Platonism Versus Platonized Naturalism.Bernard Linsky & Edward N. Zalta - 1995 - Journal of Philosophy 92 (10):525-555.
Frege's Use of Function-Argument Analysis and His Introduction of Truth-Values as Objects.Michael Beaney - 2007 - Grazer Philosophische Studien 75 (1):93-123.
Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects.Edward N. Zalta - 2006 - Noûs 40 (4):591–622.
Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects.Kai F. Wehmeier - 1999 - Synthese 121 (3):309-328.
Neo-Logicism? An Ontological Reduction of Mathematics to Metaphysics.Edward N. Zalta - 2000 - Erkenntnis 53 (1-2):219-265.
Extensions as Representative Objects in Frege's Logic.Marco Ruffino - 2000 - Erkenntnis 52 (2):239-252.
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege's Grundgesetze in Object Theory.Edward N. Zalta - 1999 - Journal of Philosophical Logic 28 (6):619-660.
Concepts, Extensions, and Frege's Logicist Project.Matthias Schirn - 2006 - Mind 115 (460):983-1006.
Added to index2009-01-28
Total downloads122 ( #39,445 of 2,163,707 )
Recent downloads (6 months)6 ( #51,245 of 2,163,707 )
How can I increase my downloads?