Metalogic and the Overgeneration Argument

Mind 128 (511):761-793 (2019)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
FLOMAT-4
Revision history
First archival date: 2019-01-17
Latest version: 3 (2019-08-19)
View upload history
References found in this work BETA
Modal Logic as Metaphysics.Williamson, Timothy
Plural Predication.McKay, Thomas
Plural Logic.Oliver, Alex & Smiley, Timothy

View all 61 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index
2019-01-17

Total views
208 ( #20,418 of 49,018 )

Recent downloads (6 months)
40 ( #17,274 of 49,018 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.