Metalogic and the Overgeneration Argument
Mind 128 (511):761-793 (2019)
Abstract
A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic.Author Profiles
DOI
10.1093/mind/fzy059
My notes
Similar books and articles
Goedel's Ontological Argument.Randolph Rubens Goldman - 2000 - Dissertation, University of California, Berkeley
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Isomorphism invariance and overgeneration.Owen Griffiths & A. C. Paseau - 2016 - Bulletin of Symbolic Logic 22 (4):482-503.
Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.
Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic.Steve Awodey & Erich H. Reck - unknown
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford, England: Oxford University Press.
A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.
Analytics
Added to PP
2019-01-17
Downloads
399 (#28,419)
6 months
42 (#31,900)
2019-01-17
Downloads
399 (#28,419)
6 months
42 (#31,900)
Historical graph of downloads
Author Profiles
Citations of this work
Unrestricted Quantification and the Structure of Type Theory.Salvatore Florio & Nicholas K. Jones - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.
References found in this work
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
Quantifiers and propositional attitudes.Willard van Orman Quine - 1956 - Journal of Philosophy 53 (5):177-187.
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford, England: Oxford University Press.