Abstract
Plural Logic is an extension of First-Order Logic which has, as well as singular terms and quantifiers, their plural counterparts. Analogously, Higher-Level Plural Logic is an extension of Plural Logic which has, as well as plural terms and quantifiers, higher-level plural ones. Roughly speaking, higher-level plurals stand to plurals like plurals stand to singulars; they are pluralised plurals. Allegedly, Higher-Level Plural Logic enjoys the expressive power of a simple type theory while committing us to nothing more than the austere ontology of First-Order Logic. Were this true, Higher-Level Plural Logic would be a useful tool, with various applications in philosophy and linguistics. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with a lot of scepticism. In this paper, I argue for the legitimacy of Higher-Level Plural Logic by providing evidence to the effect that natural languages contain higher-level plural expressions and showing that it is likely that they do so in an indispensable manner. Since the arguments I put forward are of the same sort advocates of Plural Logic have employed to defend their position, I conclude that the commonly held view that Plural Logic is legitimate, but not so its higher-level plural extensions is untenable.
Similar content being viewed by others
Notes
For example, Black (1971) uses it to support his eliminativist view about sets, Boolos (1984), Boolos (1985) and Uzquiano (2003) use it in the framework of an eliminativist view of classes and Hossack (2000) uses it in an eliminative project about complex objects. Moreover, a notable eliminativist project that employs plurals is that of Lewis (1991). He endorses a theory of sets where set membership is reduced to singleton-set membership plus mereological fusion of singletons and where polyadic relations are reduced to plural reference to ordered pairs. Thus his aim is not to eliminate sets altogether, but rather to replace the (in his view) mysterious notion of set membership with a stock of allegedly more transparent notions.
For a survey of the philosophical debate on plurals and a description of a simple logic of plurals, see Linnebo (2017).
I will occasionally speak of ‘pluralities’ in this paper. However, note that I will use the term ‘plurality’ as a convenient shorthand for ‘objects’. This is common practice in this debate and is necessary due to the expressive limitations of English.
Even though they ultimately argue against the claim that the higher-level plural reading carries a substantial advantage.
For instance, one could assume the existence of ordered pairs, but this would be at odds with the purpose of the neo-Fregean programme by not only presupposing the existence of a plethora of entities without providing a further story as to why this is legitimate, but also by presupposing the existence of entities which are suspiciously set-theoretic in nature. Another option would be to use a pairing function, but this strategy would be problematic too, since the existence of a pairing function makes specific demands on the size of one’s background ontology, as argued by Shapiro and Weir (2000).
The idea would be to express a definition analogous to that of, for instance, Hausdorff as follows:
\(\langle a, b\rangle := ((a,1),(b,2))\), where ((a, 1), (b, 2)) is meant to represent a second-level plurality which consists of the plurality of a and 1, on the one hand, and the plurality of b and 2, on the other. See Grimau (2018, Chap. 7) for a proposal along these lines.
In the literature on PL it is often assumed that singular reference is a limiting case of plural reference, since plural terms may happen to denote a single thing. On this basis, formal plural terms are often interpreted as possibly denoting a single thing. In this article, for the sake of simplicity, I will not adhere to this assumption at the formal level. For us, a plural term will denote more than one thing and thus will serve to regiment the natural language phenomenon of strict plural reference. Moreover, Oliver and Smiley (2016) further liberalise the notion by allowing formal plural terms to fail to denote. Since allowing for vacuous reference would also significantly complicate the formalism and none of my arguments hinge on this choice, I discard this possibility as well.
Properties can be seen as collectivising entities in the sense that they gather together all of their instances. One such proposal can be found in Florio (2010).
A survey can be found in Florio (2014).
See, for example, Boolos (1984, p. 65).
See Linnebo (2006) for a development of this view with respect to type theory.
Even though I do not have a strong preference for either option, I take the typed route since it captures better the intuition that the ascent from the singular to the plural and from the basic plural to higher levels is a matter of expressive rather than ontological expansion.
I limit the hierarchy to finite levels for simplicity.
Note that we do not have any mechanism of complex term formation, such as a rule to form definite descriptions out of non-logical predicates or to form lists out of terms. Although these would allow HLPL to regiment natural language more accurately (and thus might be necessary for applications of HLPL in natural language or ordinary reasoning analysis), I leave them out for the sake of simplicity, since nothing that I discuss in this article turns on the availability or lack thereof of these complex terms. (see Oliver and Smiley (2016) for a language which allows for definite description formation).
I will remain neutral as to the specific nature of these entities, since this issue is irrelevant in the present context.
The ordered triples acting as models are not ordinary ones: they require that some of their members be pluralities. However, this is unproblematic in light of the fact that we can code these unorthodox ordered pairs using techniques already available to us, as shown in Linnebo and Rayo (2012, pp. 304–306).
In this article I rule out the possibility of referring to mixed higher-level pluralities, that is, pluralities consisting of, say, a single individual on the one hand and a first-level plurality on the other (intuitively the denotation of e.g. Rafa Nadal and the Williams sisters). Given that none of the arguments put forward in the present article depend on this and keeping in mind that they could be accounted for by complicating the formalism (i.e. adopting a logic analogous to cumulative type theory; see Linnebo and Rayo (2012) for details), I leave mixed higher-level pluralities aside.
An \(x^{k}\)-variant of s is an assignment that only differs from s at most in what it assigns to \(x^{k}\).
Authors have used different terminology to refer to higher-level plurals. These are some of the terms that have been used in the literature: ‘perplurals’ (Hazen 1997; McKay 2006), ‘pluplurals’ (Rosen and Dorr 2002; Simons 2016), ‘plurally plurals’ (Hossack 2000; McKay 2006; Rumfitt 2005; Uzquiano 2004), ‘hyperplurals’ (Cotnoir 2013), ‘superplurals’ (Oliver and Smiley 2016; Rayo 2006).
Rayo only claims that English, in particular, does not contain such devices.
In its set-theoretic version, a cover of a set a (such as the denotation of a plural term, under set-theoretic singularism) is a set of non-empty subsets of a, where every member of a belongs to some such subset. In its sum-based version, a cover of a sum s (such as the denotation of a plural term, under sum-based singularism) is a set of sums whose fusion is s.
Although neither Gillon nor Schwarzschild endorse their semantics in the context of HLPL, Linnebo and Nicolas (2008) note its potential relevance for the present topic.
In this article I will mostly be using the expression ‘group’ in its non-technical informal sense. Whenever I use it in the sense just described, I will make it explicit.
I use commas (possibly followed by a conjunction) in order to indicate where one nested list ends and another one begins. This rather artificial notation is more naturally captured by intonation in spoken language.
According to this understanding of lists, nested lists of plurals would be third-level plurals. E.g. the cat lovers and their cats, and the dog lovers and their dogs.
See Oliver and Smiley (2016, Chap. 8), who call them ‘plurally exhaustive descriptions’.
The notion of pseudo-singularity comes from Oliver and Smiley’s work on plurals. See Oliver and Smiley (2016, pp. 305–306).
Some languages only display the anaphoric form of plural override. For instance, in French and Latvian that is the only way in which we find the phenomenon.
I am grateful to an anonymous referee for this example and, more generally, for pointing out this issue.
This was also noted, although not specifically in relation with HLPL, by Jespersen (1924, p. 189).
For instance, Corbett (2000) talks of ‘semantically composing plural on plural’.
Ben-Yami (2013, pp. 85–86) raises the objection that ‘the translations of the Icelandic phrases in fact disagree with the use Linnebo would like to make of them’. This is because they do make use of an expression like pair. However, this objection appears to put the cart before the horse. English translations cannot play the role Ben-Yami intends them to play here, since they cannot help us identify a non-English expression as higher-level plural, given the expressive limitations of English. If this were a valid criterion of identification, the outcome of the investigation would be decided from the start.
According to Hurford (2003), Estonian is ‘to a large extent’ similar to Finnish in this respect. I focus on Finnish for simplicity.
While the following examples were reported in Appleyard (1987, p. 252), they were originally recorded a whole century before, in Reinisch (1884). Appleyard reports that even though in his study he found similar forms, they had evolved into mere alternative first-level plural forms. It would not be surprising if the distinction had been lost today.
In this example, the first plural suffix (e) is irregular and the second one (où) is regular.
I wish to thank an anonymous referee for pointing this out to me.
See Black (1971, p. 633) for one such proposal.
This has been proposed by McKay (2006, p. 138).
To see that this reading is available imagine (6) as being uttered in a context in which some lecturers met to discuss the results of the final evaluation, while some students met to plan an end-of-the-year party, and the person who utters (6) is explaining why the lecturers complained that the students were too loud.
This is reported in Quine (1950, sec. 38).
See Boolos (1984, p. 57, fn7) for details.
And see also the discussion of pseudo-singularity in general in Sect. 5.1.1.
An analogous example is given in Linnebo and Nicolas (2008) and I follow their discussion. However, they do not tackle the issue of non-set-sized denotations.
In what follows, I use ‘group’ in its technical sense.
See Ben-Yami (2013, p. 89).
An analogous example was originally proposed in Linnebo and Nicolas (2008).
See Oliver and Smiley (2016, Chap. 10) for more details on these two analyses of lists.
Moreover, the data involving failures of substitutivity is compatible with articulation falling on the side of the semantic value of the terms which have it (and a fortiori with treating them as referring expressions). I believe more needs to be said to justify placing articulation outside of their semantic interpretation.
See Ben-Yami (2013, p. 97).
See, for instance, Resnik (1988, p. 77).
Naturally, the possibility of endorsing PL for reasons not considered in this article cannot be ruled out, but, to the best of my knowledge, the main reasons appealed to in the literature in defence of PL have been examined.
References
Acquaviva, P. (2008). Lexical plurals: A morphosemantic approach. Oxford: Oxford University Press.
Appleyard, D. L. (1987). A grammatical sketch of Khamtanga-I. Bulletin of the School of Oriental and African Studies, University of London, 50(2), 241–266.
Barker, C. (1992). Group terms in English: Representing groups as atoms. Journal of Semantics, 9(1), 69–93.
Ben-Yami, H. (2013). Higher-level plurals versus articulated reference, and an elaboration of salva veritate. Dialectica, 67(1), 81–102.
Black, M. (1971). The elusiveness of sets. Review of Metaphysics, 24(4), 614–636.
Boccuni, F. (2011). On the consistency of a plural theory of Frege’s Grundgesetze. Studia Logica, 97(3), 329–345.
Boccuni, F. (2013). Plural logicism. Erkenntnis, 78(5), 1051–1067.
Boolos, G. (1984). To be is to be a value of a variable (or to be some values of some variables). Journal of Philosophy, 81(8), 430–449.
Boolos, G. (1985). Nominalist platonism. Philosophical Review, 94(3), 327–344.
Corbett, G. G. (2000). Number. Cambridge textbooks in linguistics. Cambridge: Cambridge University Press.
Cotnoir, A. J. (2013). Composition as general identity. In K. Bennett & D. W. Zimmerman (Eds.), Oxford studies in metaphysics (Vol. 8, p. 294-322). Oxford: Oxford University Press.
Florio, S. (2010). The semantics of plurals: A defense of singularism. Ph.D. thesis, Ohio State University.
Florio, S. (2014). Semantics and the plural conception of reality. Philosophers’ Imprint, 14(22), 1–20.
Florio, S., & Nicolas, D. (2015). Plural logic and sensitivity to order. Australasian Journal of Philosophy, 93(3), 444–464.
Gillon, B. S. (1987). The readings of plural noun phrases in English. Linguistics and Philosophy, 10(2), 199–219.
Gillon, B. S. (1992). Towards a common semantics for English count and mass nouns. Linguistics and Philosophy, 15(6), 597–639.
Grimau, B. (2018). From plurals to superplurals: In defence of higher-level plural logic. Ph.D. thesis, Universty of Glasgow.
Hazen, A. P. (1997). Relations in Lewis’ framework without atoms. Analysis, 57(4), 243–248.
Hewitt, S. (2012). The logic of finite order. Notre Dame Journal of Formal Logic, 53(3), 297–318.
Hossack, K. (2000). Plurals and complexes. British Journal for the Philosophy of Science, 51(3), 411–443.
Hurford, J.R. (2003). The interaction between numerals and nouns. In Noun Phrase Structure in the Languages of Europe, Volume 20-7 of Empirical Approaches to Language Typology.
Jespersen, O. (1924). The philosophy of grammar. Crows Nest: Allen & Unwin.
Landman, F. (1989a). Groups, I. Linguistics and Philosophy, 12(5), 559–605.
Landman, F. (1989b). Groups, II. Linguistics and Philosophy, 12(6), 723–744.
Lewis, D. (1991). Parts of classes. New York: Blackwell.
Link, G. (1983). The logical analysis of plurals and mass terms: A lattice-theoretic approach. In P. Portner & B. H. Partee (Eds.), Formal semantics—The essential readings (pp. 127–147). New York: Blackwell.
Link, G. (1984). Hydras: On the logic of relative clause constructions with multiple heads. In F. Landman & F. Veltman (Eds.), Varieties of formal semantics: Proceedings of the fourth Amsterdam colloquium. Dordrecht: Foris Publications.
Link, G. (1998). Ten years of research on plurals—Where do we stand? (pp. 19–54). Dordrecht: Springer.
Linnebo, O. (2003). Plural quantification exposed. Noûs, 37(1), 71–92.
Linnebo, O. (2006). Sets, properties, and unrestricted quantification. In G. Uzquiano & A. Rayo (Eds.), Absolute generality. Oxford: Oxford University Press.
Linnebo, O. (2017). Plural quantification. In E. N. Zalta (Ed.), Stanford encyclopedia of philosophy. Stanford: The Metaphysics Research Lab, Stanford University.
Linnebo, O., & Nicolas, D. (2008). Superplurals in English. Analysis, 68, 186–197.
Linnebo, O., & Rayo, A. (2012). Hierarchies ontological and ideological. Mind, 121(482), 269–308.
McKay, T. J. (2006). Plural predication. Oxford: Oxford University Press.
Nicolas, D. (2008). Mass nouns and plural logic. Linguistics and philosophy, 31(2), 211–244.
Oliver, A., & Smiley, T. (2016). Plural logic: 2nd edition, revised and enlarged (2nd ed.). Oxford: Oxford University Press.
Quine, W. V. O. (1950). Methods of logic. Harvard: Harvard University Press.
Rayo, A. (2006). Beyond plurals. In A. Rayo & G. Uzquiano (Eds.), Absolute generality (pp. 220–54). Oxford: Oxford University Press.
Rayo, A., & Uzquiano, G. (2006). Absolute generality. Oxford: Oxford University Press.
Reinisch, L. (1884). Die Chamirsprache in Abessinien. New York: Gerold.
Resnik, M. D. (1988). Second-order logic still wild. Journal of Philosophy, 85(2), 75–87.
Rosen, G., & Dorr, C. (2002). Composition as a fiction. In R. Gale (Ed.), The Blackwell companion to metaphysics (pp. 151–174). New York: Blackwell.
Rumfitt, I. (2005). Plural terms : Another variety of reference? In J. L. Bermúdez (Ed.), Thought, reference, and experience: Themes from the philosophy of gareth evans (pp. 84–123). Oxford: Clarendon Press.
Schwarzschild, R. (1996). Pluralities. Berlin: Springer.
Shapiro, S. (1991). Foundations without foundationalism: A case for second-order logic. Oxford: Oxford University Press.
Shapiro, S. (1993). Modality and ontology. Mind, 102(407), 455–481.
Shapiro, S., & Weir, A. (2000). ‘Neo-logicist’ logic is not epistemically innocent. Philosophia mathematica, 8(2), 160–189.
Simons, P. (1982). Number and manifolds. In B. Smith (Ed.), Parts and moments: Studies in logic and formal ontology (pp. 160–98). Berlin: Philosophia.
Simons, P. (2016). The ontology and logic of higher-order multitudes (pp. 55–69). Oxford: Oxford University Pres.
Uzquiano, G. (2003). Plural quantification and classes. Philosophia Mathematica, 11(1), 67–81.
Uzquiano, G. (2004). Plurals and simples. The Monist, 87(3), 429–451.
de Vries, H. (2017). Two kinds of distributivity. Natural Language Semantics, 25(2), 173–197.
Williamson, T. (2003). Everything. Philosophical Perspectives, 17(1), 415–465.
Winter, Y. (2002). Atoms and sets: A characterization of semantic number. Linguistic Inquiry, 33(3), 493–505.
Yi, B. (2005). The logic and meaning of plurals. Part I. Journal of Philosophical Logic, 34(5–6), 459–506.
Yi, B. (2006). The logic and meaning of plurals. Part II. Journal of Philosophical Logic, 35(3), 239–288.
Acknowledgements
This paper profited from feedback by Joan Bertran-San Millán, Stefan Krämer, Stephan Leuenberger, Øystein Linnebo and Adam Rieger, and by audiences in Glasgow, Leeds, Madrid and Prague. Moreover, I wish to especially thank Michele Palmira and Bruno Whittle, whose comments led to a substantial improvement of the manuscript. Finally, I am grateful to the anonymous referees who reviewed this work for their thorough and insightful feedback.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research for this paper was funded by the Grant AH/L503915/1 of the Arts and Humanities Research Council and the Grant GA18-00113S of the Czech Science Foundation.
Rights and permissions
About this article
Cite this article
Grimau, B. In defence of Higher-Level Plural Logic: drawing conclusions from natural language. Synthese 198, 5253–5280 (2021). https://doi.org/10.1007/s11229-019-02399-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-019-02399-z