Noûs 37 (1):71–92 (2003)
AbstractThis paper criticizes George Boolos's famous use of plural quantification to argue that monadic second-order logic is pure logic. I deny that plural quantification qualifies as pure logic and express serious misgivings about its alleged ontological innocence. My argument is based on an examination of what is involved in our understanding of the impredicative plural comprehension schema.
Added to PP
Historical graph of downloads
References found in this work
A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics.John P. Burgess & Gideon Rosen - 1997 - Oxford, England: Oxford University Press.
To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables).George Boolos - 1984 - Journal of Philosophy 81 (8):430-449.
Citations of this work
The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
Hierarchies Ontological and Ideological.Øystein Linnebo & Agustin Rayo - 2012 - Mind 121 (482):269 - 308.
Plurals and Mereology.Salvatore Florio & David Nicolas - 2021 - Journal of Philosophical Logic 50 (3):415-445.
Pluralities, Counterparts, and Groups.Isaac Wilhelm - 2022 - Philosophical Studies 179 (7):2133-2153.
Similar books and articles
On Plural Reference and Elementary Set Theory.Helen Morris Cartwright - 1993 - Synthese 96 (2):201 - 254.
Sharvy's Theory of Definite Descriptions Revisited.Berit Brogaard - 2007 - Pacific Philosophical Quarterly 88 (2):160–180.
Monotonicity and Collective Quantification.Gilad Ben-avi & Yoad Winter - 2003 - Journal of Logic, Language and Information 12 (2):127-151.