Journal of Philosophical Logic 35 (3):317-348 (2006)

Timothy Smiley
Cambridge University
We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items
Keywords Alibi principle  all-in-one principle  axiomatisability  collective  completeness proof  co-partial function  distributive  functor  inclusion  many-valued function  plural description  plural logic  plural variable  quasi-classical
Categories (categorize this paper)
DOI 10.1007/s10992-005-9019-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,827
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Descriptions.Stephen Neale - 1990 - MIT Press.
Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.

View all 20 references / Add more references

Citations of this work BETA

Monism, Emergence, and Plural Logic.Einar Duenger Bohn - 2012 - Erkenntnis 76 (2):211-223.
Mass Nouns and Plural Logic.David Nicolas - 2008 - Linguistics and Philosophy 31 (2):211-244.

View all 21 citations / Add more citations

Similar books and articles

Logic and Plurals.Salvatore Florio & Øystein Linnebo - 2018 - In Kirk Ludwig & Marija Jankovic (eds.), The Routledge Handbook of Collective Intentionality. Routledge. pp. 451-463.
Strategies for a Logic of Plurals.Alex Oliver & Timothy Smiley - 2001 - Philosophical Quarterly 51 (204):289-306.
The Logic and Meaning of Plurals. Part II.Byeong-uk Yi - 2006 - Journal of Philosophical Logic 35 (3):239-288.
Strategies for a Logic of Plurals.Timothy Smiley Alex Oliver - 2001 - Philosophical Quarterly 51 (204):289-306.
Plural Logic.Alex Oliver & Timothy Smiley - 2013 - Oxford University Press UK.
Plurals and Complexes.Keith Hossack - 2000 - British Journal for the Philosophy of Science 51 (3):411-443.
The Logic and Meaning of Plurals. Part I.Byeong-Uk Yi - 2005 - Journal of Philosophical Logic 34 (5-6):459-506.
The Language and Logic of Plurals.Byeong-Uk Yi - forthcoming - Journal of Philosophical Logic.


Added to PP index

Total views
94 ( #110,163 of 2,432,741 )

Recent downloads (6 months)
3 ( #213,901 of 2,432,741 )

How can I increase my downloads?


My notes