David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 35 (3):317 - 348 (2006)
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)|
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
David Lewis (1991). Parts of Classes. Blackwell.
Stephen Neale (1990). Descriptions. MIT Press.
Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
George Boolos (1998). Logic, Logic, and Logic. Harvard University Press.
Citations of this work BETA
David Nicolas (2008). Mass Nouns and Plural Logic. Linguistics and Philosophy 31 (2):211-244.
Einar Duenger Bohn (2012). Monism, Emergence, and Plural Logic. Erkenntnis 76 (2):211-223.
Hanoch Ben-Yami (2013). Higher‐Level Plurals Versus Articulated Reference, and an Elaboration of Salva Veritate. Dialectica 67 (1):81-102.
Agustín Rayo (2007). Plurals. Philosophy Compass 2 (3):411–427.
Alex Oliver & Timothy Smiley (2006). What Are Sets and What Are They For? Philosophical Perspectives 20 (1):123–155.
Similar books and articles
Enrico Martino & Massimiliano Carrara (2010). To Be is to Be the Object of a Possible Act of Choice. Studia Logica 96 (2):289-313.
Alex Oliver & Timothy Smiley (2004). Multigrade Predicates. Mind 113 (452):609-681.
Byeong-Uk Yi (2005). The Logic and Meaning of Plurals. Part I. Journal of Philosophical Logic 34 (5/6):459-506.
Thomas J. McKay (2006). Plural Predication. Oxford University Press.
Byeong-uk Yi (2006). The Logic and Meaning of Plurals. Part II. Journal of Philosophical Logic 35 (3):239-288.
Øystein Linnebo & David Nicolas (2008). Superplurals in English. Analysis 68 (299):186–197.
Alex Oliver & Timothy Smiley (2005). Plural Descriptions and Many-Valued Functions. Mind 114 (456):1039-1068.
Helen Morris Cartwright (1993). On Plural Reference and Elementary Set Theory. Synthese 96 (2):201 - 254.
Added to index2009-01-28
Total downloads65 ( #69,210 of 1,934,369 )
Recent downloads (6 months)4 ( #145,866 of 1,934,369 )
How can I increase my downloads?