CINXE.COM

<!DOCTYPE html>      <html lang="en">  <head> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> <title> Plural Quantification (Stanford Encyclopedia of Philosophy) </title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta name="robots" content="noarchive, noodp" /> <meta property="citation_title" content="Plural Quantification" /> <meta property="citation_author" content="Linnebo, Øystein" /> <meta property="citation_publication_date" content="2004/10/27" /> <meta name="DC.title" content="Plural Quantification" /> <meta name="DC.creator" content="Linnebo, Øystein" /> <meta name="DCTERMS.issued" content="2004-10-27" /> <meta name="DCTERMS.modified" content="2022-02-16" />  <link href="https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,300,600,200&subset=latin,latin-ext" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" media="screen,handheld" href="../../css/bootstrap.min.css" /> <link rel="stylesheet" type="text/css" media="screen,handheld" href="../../css/bootstrap-responsive.min.css" /> <link rel="stylesheet" type="text/css" href="../../css/font-awesome.min.css" />  <link rel="stylesheet" type="text/css" media="screen,handheld" href="../../css/style.css" /> <link rel="stylesheet" type="text/css" media="print" href="../../css/print.css" /> <link rel="stylesheet" type="text/css" href="../../css/entry.css" />  <script type="text/javascript" src="../../js/jquery-1.9.1.min.js"></script> <script type="text/javascript" src="../../js/bootstrap.min.js"></script>  <script type="text/javascript" src="../../js/jquery-scrolltofixed-min.js"></script> <script type="text/javascript" src="../../js/entry.js"></script>  <script type="text/javascript" src="../../js/sep.js"></script> </head>  <body class="nojs article" id="pagetopright"> <div id="container"> <div id="header-wrapper"> <div id="header"> <div id="branding"> <div id="site-logo"><a href="../../index.html"><img src="../../symbols/sep-man-red.png" alt="SEP home page" /></a></div> <div id="site-title"><a href="../../index.html">Stanford Encyclopedia of Philosophy</a></div> </div> <div id="navigation"> <div class="navbar"> <div class="navbar-inner"> <div class="container"> <button class="btn btn-navbar collapsed" data-target=".collapse-main-menu" data-toggle="collapse" type="button"> <i class="icon-reorder"></i> Menu </button> <div class="nav-collapse collapse-main-menu in collapse"> <ul class="nav"> <li class="dropdown open"><a id="drop1" href="#" class="dropdown-toggle" data-toggle="dropdown" role="button"><i class="icon-book"></i> Browse</a> <ul class="dropdown-menu" role="menu" aria-labelledby="drop1"> <li role="menuitem"><a href="../../contents.html">Table of Contents</a></li> <li role="menuitem"><a href="../../new.html">What's New</a></li> <li role="menuitem"><a href="https://plato.stanford.edu/cgi-bin/encyclopedia/random">Random Entry</a></li> <li role="menuitem"><a href="../../published.html">Chronological</a></li> <li role="menuitem"><a href="../../archives/">Archives</a></li> </ul> </li> <li class="dropdown open"><a id="drop2" href="#" class="dropdown-toggle" data-toggle="dropdown" role="button"><i class="icon-info-sign"></i> About</a> <ul class="dropdown-menu" role="menu" aria-labelledby="drop2"> <li role="menuitem"><a href="../../info.html">Editorial Information</a></li> <li role="menuitem"><a href="../../about.html">About the SEP</a></li> <li role="menuitem"><a href="../../board.html">Editorial Board</a></li> <li role="menuitem"><a href="../../cite.html">How to Cite the SEP</a></li> <li role="menuitem"><a href="../../special-characters.html">Special Characters</a></li> <li role="menuitem"><a href="../../tools/">Advanced Tools</a></li> <li role="menuitem"><a href="../../contact.html">Contact</a></li> </ul> </li> <li class="dropdown open"><a id="drop3" href="#" class="dropdown-toggle" data-toggle="dropdown" role="button"><i class="icon-leaf"></i> Support SEP</a> <ul class="dropdown-menu" role="menu" aria-labelledby="drop3"> <li role="menuitem"><a href="../../support/">Support the SEP</a></li> <li role="menuitem"><a href="../../support/friends.html">PDFs for SEP Friends</a></li> <li role="menuitem"><a href="../../support/donate.html">Make a Donation</a></li> <li role="menuitem"><a href="../../support/sepia.html">SEPIA for Libraries</a></li> </ul> </li> </ul> </div> </div> </div> </div> </div>  <div id="search"> <form id="search-form" method="get" action="../../search/searcher.py"> <input type="search" name="query" placeholder="Search SEP" /> <div class="search-btn-wrapper"><button class="btn search-btn" type="submit" aria-label="search"><i class="icon-search"></i></button></div> </form> </div>  </div>  </div>  <div id="content">  <div id="article-sidebar" class="sticky"> <div class="navbar"> <div class="navbar-inner"> <div class="container"> <button class="btn btn-navbar" data-target=".collapse-sidebar" data-toggle="collapse" type="button"> <i class="icon-reorder"></i> Entry Navigation </button> <div id="article-nav" class="nav-collapse collapse-sidebar in collapse"> <ul class="nav"> <li><a href="#toc">Entry Contents</a></li> <li><a href="#Bib">Bibliography</a></li> <li><a href="#Aca">Academic Tools</a></li> <li><a href="https://leibniz.stanford.edu/friends/preview/plural-quant/">Friends PDF Preview <i class="icon-external-link"></i></a></li> <li><a href="https://plato.stanford.edu/cgi-bin/encyclopedia/archinfo.cgi?entry=plural-quant">Author and Citation Info <i class="icon-external-link"></i></a> </li> <li><a href="#pagetopright" class="back-to-top">Back to Top <i class="icon-angle-up icon2x"></i></a></li> </ul> </div> </div> </div> </div> </div>   <div id="article"> <div id="article-content">  <div id="aueditable"> <h1>Plural Quantification</h1><div id="pubinfo"><em>First published Wed Oct 27, 2004; substantive revision Wed Feb 16, 2022</em></div> <div id="preamble"> <p> Ordinary English contains different forms of quantification over objects. In addition to the usual <em>singular</em> quantification, as in</p> <dl class="sentag tag3em"> <dt id="ex1">(1)</dt> <dd>There is an apple on the table</dd> </dl> <p> there is <em>plural</em> quantification, as in </p> <dl class="sentag tag3em"> <dt id="ex2">(2)</dt> <dd>There are some apples on the table.</dd> </dl> <p> Ever since Frege, formal logic has favored the two singular quantifiers $\forall{x}$ and $\exists{x}$ over their plural counterparts $\forall{xx}$ and $\exists{xx}$ (to be read as <em>for any things</em> $xx$ and <em>there are some things</em> $xx)$. But in recent decades it has been argued that we have good reason to admit among our primitive logical notions also the plural quantifiers $\forall{xx}$ and $\exists{xx}$ (Boolos 1984 and 1985a). </p> <p> More controversially, it has been argued that the resulting formal system with plural as well as singular quantification qualifies as “pure logic”; in particular, that it is universally applicable, ontologically innocent, and perfectly well understood. In addition to being interesting in its own right, this thesis will, if correct, make plural quantification available as an innocent but extremely powerful tool in metaphysics, philosophy of mathematics, and philosophical logic. For instance, George Boolos has used plural quantification to interpret monadic second-order logic<sup>[<a href="notes.html#note-1" id="ref-1">1</a>]</sup> and has argued on this basis that monadic second-order logic qualifies as “pure logic”. Plural quantification has also been used in attempts to defend logicist ideas, to account for set theory, and to eliminate ontological commitments to mathematical objects and complex objects.</p> </div> <div id="toc">  <ul> <li><a href="#LangTheoPlurQuan">1. The Languages and Theories of Plural Quantification</a> <ul> <li><a href="#RegiPlurQuan">1.1 Regimenting plural quantification</a></li> <li><a href="#TheoPFOPFO">1.2 The Theories PFO and PFO+</a></li> </ul></li> <li><a href="#PlurQuanVsSecoOrdeQuan">2. Plural Quantification vs. Second-Order Quantification</a> <ul> <li><a href="#PlurQuanMonaSecoOrdeLogi">2.1 Plural quantification and monadic second-order logic</a></li> <li><a href="#Rela">2.2 Relations</a></li> <li><a href="#ModaCont">2.3 Modal contexts</a></li> <li><a href="#HighLevePlurQuan">2.4 Higher levels of plural quantification?</a></li> </ul></li> <li><a href="#LogiThes">3. The Logicality Thesis</a></li> <li><a href="#ApplPlurQuan">4. Applications of Plural Quantification</a> <ul> <li><a href="#EstaLogiMonaSecoOrdeLogi">4.1 Establishing the Logicality of Monadic Second-Order Logic</a></li> <li><a href="#Logi">4.2 Logicism</a></li> <li><a href="#SetTheo">4.3 Set Theory</a></li> <li><a href="#MathNomi">4.4 Mathematical Nominalism</a></li> <li><a href="#ElimCompObje">4.5 Eliminating Complex Objects</a></li> </ul></li> <li><a href="#OntoInno">5. Ontological Innocence?</a> <ul> <li><a href="#SetTheoArgu">5.1 The set-theoretic argument</a></li> <li><a href="#IncoPredArgu">5.2 The incorrect predication argument</a></li> <li><a href="#DireArgu">5.3 The direct argument</a></li> <li><a href="#SemaValuOntoComm">5.4 Semantic values and ontological commitments</a></li> </ul></li> <li><a href="#Bib">Bibliography</a></li> <li><a href="#Aca">Academic Tools</a></li> <li><a href="#Oth">Other Internet Resources</a></li> <li><a href="#Rel">Related Entries</a></li> </ul>  <hr /> </div> <div id="main-text"> <h2 id="LangTheoPlurQuan">1. The Languages and Theories of Plural Quantification</h2> <p> The logical formalisms that have dominated in the analytic tradition ever since Frege do not allow for plural quantification. In introductory logic courses students are therefore typically taught to paraphrase away plural locutions. For instance, they may be taught to render “Alice and Bob are hungry” as “Alice is hungry & Bob is hungry”, and “There are some apples on the table”, as “$\Exists{x} \Exists{y} (x$ is an apple on the table & $y$ is an apple on the table & $x \ne y)$”. However, not only are such paraphrases often unnatural, but they may not even be available. One of the most interesting examples of plural locutions which resist singular paraphrase is the so-called Geach-Kaplan sentence:</p> <dl class="sentag tag3em"> <dt id="ex3">(3)</dt> <dd>Some critics admire only one another</dd> </dl> <p> This sentence provably has no singular first-order paraphrase using only the predicates occurring in the sentence itself.<sup>[<a href="notes.html#note-2" id="ref-2">2</a>]</sup></p> <p> How are we to formalize such sentences? The traditional view, defended for instance by Quine, is that all paraphrases must be given in classical first-order logic, if necessary supplemented with set theory. In particular, Quine suggests that <a href="#ex3">(3)</a> should be formalized as</p> \[\tag{$3'$}\label{ex3prime} \kern-5pt\Exists{S}(\Exists{u}\mstop u \in S \amp \Forall{u}(u\in S \rightarrow Cu) \amp \Forall{u}\Forall{v}(u\in S \amp \textit{Auv} \rightarrow v\in S \amp u\ne v)) \] <p> (1973: 111 and 1982: 293).<sup>[<a href="notes.html#note-3" id="ref-3">3</a>]</sup></p> <p> In two important articles from the 1980s George Boolos challenges this traditional view (Boolos 1984 and 1985a). He argues that it is simply a prejudice to insist that the plural locutions of natural language be paraphrased away. Instead he suggests that just as the singular quantifiers $\Forall{x}$ and $\Exists{x}$ get their legitimacy from the fact that they represent certain quantificational devices in natural language, so do their plural counterparts $\Forall{xx}$ and $\Exists{xx}$. For there can be no doubt that in natural language we use and understand the expressions “for any things” and “there are some <span class="nw">things”.<sup>[<a href="notes.html#note-4" id="ref-4">4</a>]</sup></span> Since these quantifiers bind variables that take name (rather than predicate) position, they are <em>first-order</em> quantifiers, albeit <em>plural</em> ones.</p> <h3 id="RegiPlurQuan">1.1 Regimenting plural quantification</h3> <p> I will now describe a simple formal language which can be used to regiment plural quantification as it occurs in English and other natural languages.</p> <div class="indent"> <p> <em>The formal language $L_{\textrm{PFO}}$</em>. Let the formal language $L_{\textrm{PFO}}$ (for <em>Plural First-Order</em>) be as follows.</p> <ol> <li>$L_{\textrm{PFO}}$ has the following terms (for every natural number $i$): <ul> <li>singular variables $x_i$</li> <li>plural variables $xx_i$</li> <li>singular constants $a_i$</li> <li>plural constants $aa_i$</li> </ul> </li> <li>$L_{\textrm{PFO}}$ has the following predicates: <ul> <li>two dyadic logical predicates = and $\prec$ (to be thought of as <em>identity</em> and the relation <em>is one of</em>)</li> <li>non-logical predicates $R^{n}_i$ all of whose argument places are singular (for every adicity $n$ and every natural number $i)$</li> </ul> </li> <li>$L_{\textrm{PFO}}$ has the following formulas: <ul> <li>$R^{n}_i (t_1,\ldots, t_n)$ is a formula when $R^{n}_i$ is an $n$-adic predicate and $t_j$ are singular terms</li> <li>$t \prec T$ is a formula when $t$ is a singular term and $T$ a plural term</li> <li>$\neg \phi$ and $\phi \amp \psi$ are formulas when $\phi$ and $\psi$ are formulas</li> <li>$\Exists{v}\mstop \phi$ and $\Exists{vv}\mstop \phi$ are formulas when $\phi$ is a formula and $v$ is a singular variable and $vv$ a plural one</li> <li>the other connectives are regarded as abbreviations in the usual way.</li> </ul> </li> </ol> </div> <p> In $L_{\textrm{PFO}}$ we can formalize a number of English claims involving plurals. For instance, <a href="#ex2">(2)</a> can be formalized as</p> \[ \tag{$2'$}\label{ex2prime} \Exists{xx} \Forall{u} (u\prec xx \rightarrow Au \amp Tu) \] <p> And the Geach-Kaplan sentence <a href="#ex3">(3)</a> can be formalized as </p> \[ \tag{$3''$}\label{ex3pprime} \Exists{xx} [\Forall{u}(u\prec xx \rightarrow Cu) \amp \Forall{u}\Forall{v}(u\prec xx \amp \textit{Auv} \rightarrow v\prec xx \amp u\ne v)]. \] <p> However, the language $L_{\textrm{PFO}}$ has one severe limitation. We see this by distinguishing between two kinds of plural predication. A predicate $P$ taking plural arguments is said to be <em>distributive</em> just in case it is analytic that: $P$ holds of some things $xx$ if and only if $P$ holds of each $u$ such that $u\prec xx$.<sup>[<a href="notes.html#note-5" id="ref-5">5</a>]</sup> For instance, the predicate “is on the table” is distributive, since it is analytic that some things $xx$ are on the table just in case each of $xx$ is on the table. A predicate $P$ that isn’t distributive is said to be <em>non-distributive</em> or <em>collective</em>.<sup>[<a href="notes.html#note-6" id="ref-6">6</a>]</sup> For instance, the predicate “form a circle” is non-distributive, since it is not analytic that whenever some things $xx$ form a circle, each of $xx$ forms a circle. Another example of non-distributive plural predication is the second argument-place of the logical predicate $\prec$: for it is not true (let alone analytic) that whenever $u$ is one of $xx, u$ is one of each of $xx$. It is therefore both natural and useful to consider a slightly richer language:</p> <blockquote> <em>The formal language $L_{\textrm{PFO}+}$</em>. The language $L_{\textrm{PFO}+}$ allows non-distributive plural predicates other than $\prec$. We do this by modifying the definition of $L_{\textrm{PFO}}$ so as to allow predicates $R^{n}_i$ that take one or more <em>plural</em> arguments. These predicates can be either logical or non-logical.<sup>[<a href="notes.html#note-7" id="ref-7">7</a>]</sup> </blockquote> <p> Should we also allow predicates with argument places that take both <em>singular</em> and <em>plural</em> arguments? Lots of English predicates work this way, for instance “… is/are on the table”. So if our primary interest was to analyze natural language, we would probably have to allow such predicates. However, for present purposes it is simpler not to allow such predicates. We will anyway soon allow pluralities that consist of just one thing.<sup>[<a href="notes.html#note-8" id="ref-8">8</a>]</sup></p> <p> For now, the formal languages $L_{\textrm{PFO}}$ and $L_{\textrm{PFO}+}$ will be interpreted only by means of a translation of them into ordinary English, augmented by indices to facilitate cross-reference (Boolos 1984: 443–5 [1998a: 67–9]; Rayo 2002: 458–9). (More serious semantic issues will be addressed in <a href="#ApplPlurQuan">Section 4</a>, where our main question will be whether our theories of plural quantification are ontologically committed to any sort of “set-like” entities.) The two clauses of this translation which are immediately concerned with plural terms are</p> <dl class="sentag tag3em"> <dt id="ex4">(4)</dt> <dd> $\Tr(x_i \prec xx_j) = \textrm{it}_i$ is one of them$_j$</dd> </dl> <dl class="sentag tag3em"> <dt>(5)</dt> <dd>$\Tr(\Exists{xx_j}\mstop \phi) =$ there are some things$_j$ such that $\Tr(\phi)$</dd> </dl> <p> The other clauses are obvious, for instance: $\Tr(\phi \amp \psi) = (\Tr(\phi)$ and $\Tr(\psi))$. This translation allows us to interpret all sentences of $L_{\textrm{PFO}}$ and $L_{\textrm{PFO}+}$, relying on our intuitive understanding of English. It is useful to consider some examples. Applying $\Tr$ to (\ref{ex2prime}), say, yields:</p> <dl class="sentag tag3em"> <dt>(2″)</dt> <dd>There are some things$_1$ such that for everything$_2$ (if it$_2$ is one of them$_1$, then it$_2$ is an apple and it$_2$ is on the table). </dd> </dl> <h3 id="TheoPFOPFO">1.2 The Theories PFO and PFO+</h3> <p> We will now describe a theory <em>PFO</em> of plural first-order quantification based on the language $L_{\textrm{PFO}}$. Let’s begin with an axiomatization of ordinary first-order logic with identity. For our current purposes, it is convenient to axiomatize this logic as a natural deduction system, taking all tautologies as axioms and the familiar natural deduction rules governing the singular quantifiers and the identity sign as rules of inference. We then extend in the obvious way the natural deduction rules for the singular quantifiers to the plural ones. Next we need some axioms which for suitable formulas $\phi(x)$ allow us to talk about the $\phi$s. In ordinary English the use of plural locutions generally signals a concern with two or more objects. But the existence of two or more objects may not be semantically required; for instance, “The students who register for this class will learn a lot” seems capable of being true even if only one student registers. It is therefore both reasonable and convenient to demand only that there be at least one object satisfying $\phi(x)$. (Most people who write on the subject make this concession.) This gives rise to the <em>plural comprehension axioms</em>, which are the instances of the schema</p> \[ \tag{Comp} \Exists{u} \phi(u) \rightarrow \Exists{xx} \Forall{u} (u\prec xx \leftrightarrow \phi(u)) \] <p> where $\phi$ is a formula in $L_{\textrm{PFO}}$ that contains “$u$” and possibly other variables free but contains no occurrence of “$xx$”. (That is, if something is $\phi$ then there are some things such that everything is one of them if and only if it is $\phi$.) In order fully to capture the idea that all pluralities are non-empty, we also adopt the axiom </p> \[ \tag{6} \Forall{xx} \Exists{u} (u \prec xx). \] <p> (That is, for any things, there is something that is one of them.) </p> <p> Let <em>PFO</em>+ be the theory based on the language $L_{PFO+}$ which arises in an analogous way, but which in addition has the following axiom schema of indiscernibility, stating that coextensive pluralities satisfy the same formulas: </p> \[ \tag{7} \Forall{xx}\Forall{yy} [\Forall{u}(u \prec xx \leftrightarrow u \prec yy) \rightarrow(\phi(xx) \leftrightarrow \phi(yy))] \] <p> (That is, for any things$_1$ and any things$_2$ (if something is one of them$_1$ if and only it is one of them$_2$, then they$_1$ are $\phi$ if and only if they$_2$ are $\phi)$.) This is a plural analogue of Leibniz’s law of indiscernibility of identicals, and as such needs to be restricted to formulas $\phi$ that don’t set up intensional contexts.</p> <p> While the theories PFO and PFO+ represent what is today the most traditional form of plural logic, there are divergent views that restrict the plural comprehension schema. Even if a plurality is nothing over and above the objects it comprises, these objects do need to be circumscribed. And on certain metaphysical views, reality as a whole resists proper circumscription (Spencer 2012; Florio and Linnebo 2020 and 2021, ch. 12; see also Hossack 2014). Based on considerations of this sort, Florio and Linnebo (<em>op. cit.</em>) develop an alternative <em>critical</em> plural logic. </p> <p> <em>Note on terminology</em>. For ease of communication we will use the word “plurality” without taking a stand on whether there really exist such entities as pluralities. Statements involving the word “plurality” can always be rewritten more longwindedly without use of that word. For instance, the above claim that “all pluralities are non-empty” can be rewritten as “whenever there are some things $xx$, there is something $u$ which is one of the things $xx$”. Where an ontological claim $is$ made, this will be signalled by instead using the locution “plural entity”.</p> <h2 id="PlurQuanVsSecoOrdeQuan">2. Plural Quantification vs. Second-Order Quantification</h2> <p> By “second-order logic” we understand a logic that extends ordinary first-order logic by allowing for quantification into <em>predicate</em> position. For instance, from “$a$ is an apple” we can in second-order logic infer “$\Exists{F}\mstop Fa$”. But the plural logics described above extend ordinary first-order logic in a different way, namely by allowing quantification into <em>plural argument</em> position. But predicates and plural noun phrases belong to different syntactic and semantic categories. For instance, the former consists of expressions that are unsaturated (in Frege’s sense) — that is, that contain gaps or argument places — whereas the latter consists of expressions that are saturated (Higginbotham 1998: sect. 7; Oliver and Smiley 2001 and 2016; Rayo and Yablo 2001: sect. X; Simons 1997; Williamson 2003: sect. IX; Yi 2005; Florio and Linnebo 2021). Accordingly, second-order quantification and plural quantification are generally regarded as different forms of quantification. In this section I discuss some of the differences and similarities. </p> <h3 id="PlurQuanMonaSecoOrdeLogi">2.1 Plural quantification and monadic second-order logic</h3> <p> (Readers less interested in technical issues may want to skim this section.) Boolos observed that it is possible to interpret monadic second-order logic in the theory PFO.<sup>[<a href="notes.html#note-9" id="ref-9">9</a>]</sup> Let <em>MSO</em> be some standard axiomatization of (full impredicative) monadic second-order logic in some suitable language $L_{\textrm{MSO}}$ (Shapiro 1991: ch. 3; Boolos <em>et al.</em> 2002: ch. 22). Boolos first defines a translation $\Tr'$ that maps any formula of $L_{\textrm{MSO}}$ to some formula of $L_{\textrm{PFO}}$. This definition, which proceeds by induction on the complexity of the formulas of $L_{\textrm{MSO}}$, has as its only non-trivial clauses the following two, which are concerned with the second-order variables:</p> \[ \tag{8} \Tr'(X_jx_i) = x_i \prec xx_j \] \[ \tag{9} \Tr'(\Exists{X_j}\mstop\phi) = \Exists{xx_j}\mstop\Tr'(\phi) \lor Tr'(\phi*) \] <p> where $\phi*$ is the result of substituting $x_i \ne x_i$ everywhere for $X_j x_i$. The idea behind these two clauses is to replace talk about concepts (or whatever entities one takes the monadic second-order variables to range over) with talk about the objects that fall under these concepts. Thus, instead of saying that $x_i$ falls under the concept $X_j$, we say that $x_i$ is one of $xx_j$. The only difficulty is that some concepts have no instances, whereas all pluralities must encompass at least one thing. But the possibility that a concept be uninstantiated is accommodated by the second disjunct on the right-hand side of (9).</p> <p> By induction on derivations in MSO one easily proves that each theorem of MSO is mapped to some theorem of PFO. Moreover, it is easy to define a “reverse” translation that maps formulas of $L_{\textrm{PFO}}$ to formulas of $L_{\textrm{MSO}}$ and to prove that this translation maps theorems of the former to theorems of the latter. This shows that PFO and MSO are equi-interpretable. A similar result can be proved about PFO+ and an extension MSO+ of MSO which allows predicates of (first-level) concepts, provided MSO+ contains an axiom schema to the effect that coextensive concepts are indiscernible.</p> <p> It is important to be clear on what the equi-interpretability of PFO and PFO+ with respectively MSO and MSO+ does and does not show (Florio and Linnebo 2021: sect. 4.2). It shows that these two pairs of theories are equivalent for most technical purposes. But by itself it does not show anything about these two pairs of theories’ being equivalent in any of the more demanding senses that philosophers often care about (such as having the same epistemic status, ontological commitments, or degree of analyticity). (For instance PFO is equi-interpretable with atomic extensional mereology, which philosophers tend to find much more problematic than PFO.) In order to show that the two pairs of theories are equivalent in some philosophically important respect $F$, we would need to show that the above translations preserve $F$-ness.</p> <h3 id="Rela">2.2 Relations</h3> <p> Although plural quantification provides a fairly natural interpretation of quantification over (monadic) <em>concepts</em>, it provides no natural interpretation of quantification over (polyadic) <em>relations</em>.</p> <p> This limitation can be overcome (at least for technical purposes) if there is a pairing function on the relevant domain, that is, if there is a function $\pi$ such that $\pi(u, v) = \pi(u', v')$ just in case $u = u'$ and $v = v'$. For then quantification over dyadic relations can be represented by plural quantification over ordered pairs. Moreover, by iterated applications of the ordered pair function we can represent $n$-tuples and thus also quantification over $n$-adic relations. The question is how this pairing function is to be understood. One option is to proceed as in mathematics and simply postulate the existence of a pairing function as an abstract mathematical object. But this option has the obvious disadvantage of stepping outside of what most people are willing to call “pure logic”. A cleverer option, explored in the Appendix to Lewis 1991 and in Hazen 1997 and 2000, is to simulate talk about ordered pairs using only resources that arguably are purely logical. It turns out that talk about ordered pairs can be simulated in monadic <em>third-order</em> logic, given some plausible extra assumptions. Monadic third-order logic can in turn be interpreted either in a theory which combines plural quantification with mereology (Lewis 1991: ch. 3; Burgess and Rosen 1997: II.C.1) or in terms of higher-level plural quantification (<a href="#HighLevePlurQuan">Section 2.4</a>).</p> <h3 id="ModaCont">2.3 Modal contexts</h3> <p> Another way in which plural quantification and second-order quantification come apart emerges in modal contexts. It is often a contingent matter whether an object falls under a concept. Although I am wearing shoes, I might not have done so. So there is a concept $F$ under which I fall but might not have fallen. In contrast, it seems that being one of some objects is never contingent. Consider the people $aa$ who are all and only the people currently wearing shoes. Then not only am I one of these people, but this seems to hold of necessity (assuming the existence of the relevant objects). Removing me from this plurality of people would just result in a different plurality. For the plurality $aa$ to be the plurality it is, it must include precisely the objects that it in fact includes. So in any world in which the objects $aa$ exist at all, I must be one of them. True, I might not have been wearing shoes. But even so I would have been one of $aa$, only then $aa$ would not have been all and only the people wearing shoes. Plural names and variables thus seem to be rigid in a way that is analogous to the familiar rigidity of singular names and variables: in any world in which a plural term denotes at all, it denotes the same objects. In particular, it is widely believed that pluralities are subject to the following two principles:</p> \[ \tag{10} u \prec xx \rightarrow \Box(\EExists xx \rightarrow u \prec xx) \] \[ \tag{11} \neg(u \prec xx) \rightarrow \Box(\EExists u \amp \EExists xx \rightarrow \neg(u \prec xx)) \] <p> where $\EExists xx$ and $\EExists u$ are suitable formalizations of the claims that respectively $xx$ and $u$ exist.<sup>[<a href="notes.html#note-10" id="ref-10">10</a>]</sup></p> <h3 id="HighLevePlurQuan">2.4 Higher levels of plural quantification?</h3> <p> One way of going beyond PFO+ would be by allowing quantification into predicate positions, including those of predicates taking plural arguments. Doing so would result in an extension which stands to PFO+ as ordinary (singular) second-order logic stands to ordinary (singular) first-order logic. Such extensions will not be considered here: for whether they are legitimate, and if so what axioms they may support, has less to do with plurals and plural quantification than it does with predication and quantification over the semantic values of predicates.<sup>[<a href="notes.html#note-11" id="ref-11">11</a>]</sup></p> <p> What $is$ relevant for present purposes is whether there is some form of “super-plural” quantification that stands to ordinary plural quantification as ordinary plural quantification stands to singular quantification. If so, let’s call this <em>second-level</em> plural quantification. More generally, we may attempt to introduce plural quantification of any finite level. This would result in a theory which for technical purposes is just like a simple type theory (Hazen 1997: 247; Linnebo 2003: sect. IV; Rayo 2006).</p> <p> It is fairly straightforward to develop formal languages and theories of higher-level plural quantification (Rayo 2006). For instance, we can introduce variables of the form <em>xxx</em> to be thought of as ranging over second-level pluralities and the relation $xx \prec_2$ <em>xxx</em> to be understood in analogy with the relation $x \prec xx$. (See Linnebo and Rayo 2012 for extensions to transfinite levels and comparison of the resulting theories with those of ordinary set theory.) But can these formal theories of higher-level plural quantification be justified by considerations similar to those that justify the theories PFO and PFO+?</p> <p> Boolos and many other philosophers deny that higher-level plural quantification can be thus justified. Two kinds of arguments are given for this view. Firstly, it is argued that a plurality is always a plurality of <em>things</em>. But since plural quantification is ontologically innocent, there are no such things as pluralities. There is thus nothing that can be collected into a second-level plurality (McKay 2006: 46–53 and 137–139). Secondly, ordinary plural quantification is justified by the fact that it captures certain quantificational devices of English and other natural languages. But English and other natural languages contain no higher-level plural quantification (Lewis 1991: 70–71).</p> <p> Both arguments are controversial. Concerning the first, it is not clear why ontology should be relevant to the legitimacy of higher-level plurals quantification. It should be sufficient that the base-level objects can be organized in certain complex ways. For instance, the second-level plurality based on Cheerios organized as <span class="monospace">oo oo oo</span> should be no more ontologically problematic than the first-level plurality based on the same objects organized as <span class="monospace">oooooo</span>, although the former has an additional level of structure or articulation (Linnebo 2003: 87–8).</p> <p> The second of the above two arguments is also problematic. To begin with, the claim that there are no higher-level plural locutions in natural language is almost certainly false. In Icelandic, for instance, the number words have plural forms which count, not individual objects, but <em>pluralities</em> of objects that form natural groups. Here is an example:</p> <div class="indent"> <table class="cellpad-med-dense cell-left centered"> <tr> <td><em>einn skór</em></td> <td>means</td> <td>one shoe</td> </tr> <tr> <td><em>einir skór</em></td> <td>means</td> <td>one pair of shoes</td> </tr> <tr> <td><em>tvennir skór</em></td> <td>means</td> <td>two pairs of shoes</td> </tr> </table> </div> <p> This allows us to talk about pairs of shoes as a second-level plurality rather than as a first-level plurality of objects such as <em>pairs</em>. (More examples involving foreign languages can be found in Grimau 2021a.) For an English example, consider a video game in which any number $n$ of teams can compete in an $n$-way competition. Then the following sentence seems to involve a superplural term:</p> <dl class="sentag tag3em"> <dt>(12)</dt> <dd> These people, those people, and these other people compete against each other. (Linnebo and Nicolas 2008)</dd> </dl> <p> (See also Oliver and Smiley 2004: 654–656, 2005: 1063, and 2016, ch. 15; Ben-Yami 2013; Simons 2016; Florio and Linnebo 2021, ch. 9, and Grimau 2021a and 2021b)</p> <p> Moreover, the very idea that the legitimacy of higher-level plural quantification is decided by the existence or non-existence of higher-level plural locutions in English and other natural languages is problematic (Hazen 1993: 138 and 1997: 247; Linnebo 2003: 87; Rayo 2006). What really matters is presumably whether we can iterate the principles and considerations on which our understanding of ordinary first-level plural quantification is based: if we can, then higher-level plural quantification will be justified in much the same way as ordinary first-level plural quantification; and if not, then not. Thus, even if there were no higher-level plural locutions in natural languages, this would provide little or no evidence for the stronger — and philosophically more interesting — claim that there can be no iteration of the step from the singular to the plural in <em>any</em> language spoken by intelligent agents. Moreover, any evidence of this sort could be defeated by pointing to independent reasons why higher-level plural locutions are scarce in natural languages. One such independent reason may simply be that ordinary speakers aren’t very concerned about their ontological commitments and thus find it more convenient to express facts involving second-level pluralities by positing objects to represent the first-level pluralities (for instance by talking about two <em>pairs</em> of shoes) rather than by keeping track of additional grammatical device for second-level plurals (as in the above example from Icelandic).</p> <p> Suppose we accept higher-level plural quantification. How should this be implemented? One option is to introduce a separate set of variables for each level of such quantification, say “$xxx$”, etc. for second-level plurals (Rayo 2006). Another option is to use a single set of “all-purpose” variables whose values can be pluralities of any level (Oliver and Smiley 2016, ch. 15; Simons 2016; and Florio and Linnebo 2021, sect. 11.7). </p> <h2 id="LogiThes">3. The Logicality Thesis</h2> <p> It is often claimed that the theories PFO and PFO+ qualify as “pure logic”. We will refer to this (admittedly vague) claim as <em>the Logicality Thesis</em>. Since the corresponding languages are interpreted by the translation $\Tr$ into ordinary English, this is a claim about the logicality of certain axioms and inferences rules of ordinary English.<sup>[<a href="notes.html#note-12" id="ref-12">12</a>]</sup></p> <p> Even before the Logicality Thesis is made more precise, it is possible to assess its plausibility for at least some of the axioms and inference rules of PFO and PFO+. First there are the tautologies and the inference rules governing identity and the singular quantifiers. There is broad consensus that these qualify as logical. Next there are the inference rules governing the plural quantifiers. Since these rules are completely analogous to the rules governing the singular quantifiers, it can hardly be denied that they too qualify as logical. Then there are the indiscernibility axioms and the axiom that all pluralities are non-empty. These axioms are unproblematic because they can plausibly be taken to be analytic. What remains are the plural comprehension axioms, where things are much less clear. For these axioms have no obvious singular counterparts, and their syntactical form indicates that they make existential claims. So it is not obvious that these axioms can be taken to be purely logical.</p> <p> This is not to say that it has not <em>struck</em> people as obvious that the plural comprehension axioms are purely logical. For instance, Boolos asserts without argument that the translation of each plural comprehension axiom into English “expresses a <em>logical</em> truth if any sentence of English does” (Boolos 1985b: 342 [1998a: 167]; his emphasis). </p> <p> In order to assess the Logicality Thesis in a more principled way, more will have to be said about what it might mean for a theory to be “purely logical”. So I will now survey some of the features commonly thought to play a role in such a definition. Although people are free to use the word “logic” as they please, it is important to get clear on what different usages entail; in particular, theories that qualify as purely logical are often assumed to enjoy a variety of desirable philosophical properties such as epistemic and ontological innocence. In the next section, where various applications of plural quantification will be discussed, I will carefully note which strains of the notion of logicality our theories PFO and PFO+ must possess for the various applications of them to succeed.</p> <p> Perhaps the least controversial candidate for a defining feature of logic is its <em>topic neutrality</em>. A logical principle is valid in any kind of discourse, no matter what kind of objects this discourse is concerned with. For instance, modus ponens is valid not only in physics and mathematics but in religion and in the analysis of works of fiction. Frege captures the idea nicely when he says that a logical principle is valid in “the widest domain of all; […] not only the actual, not only the intuitable, but everything thinkable” (Frege 1884: 21). Thus, whereas the principles of physics are valid only in the actual world and in worlds that are nomologically similar to it, the principles of logic govern everything <em>thinkable</em>. If one of these principles is denied, “complete confusion ensues” (<em>ibid</em>.).</p> <p> Another feature widely believed to be defining of logic is its <em>formality</em>: the truth of a principle of logic is guaranteed by the <em>form</em> of thought and/or language and does not in any way depend upon its <em>matter</em>. What this feature amounts to will obviously depend on how the distinction between form and matter is understood. The most popular explication of the distinction between form and matter derives from the widely shared view that no objects exist by conceptual necessity (Field 1993; Yablo 2000). On this view it is natural to regard anything having to do with the existence of objects and with their particular characteristics as belonging to the matter of thought rather than to its form. This gives rise to two features that are often regarded as defining of logic. Firstly, logic has to be <em>ontologically innocent</em>; that is, a principle of logic cannot introduce any new ontological commitments (Boolos 1997; Field 1984). Secondly, the basic notions of logic must not discriminate between different objects but must treat them all alike. This latter idea is often spelled out as the requirement that logical notions must be invariant under permutations of the domain of objects (Tarski 1986).</p> <p> A third feature which is often regarded as defining of logic is its (alleged) <em>epistemic primacy</em>. Primitive logical notions can be grasped without relying on non-logical notions; and logical truths, if knowable, can be known independently of non-logical truths. Assume, for instance, that certain set-theoretic notions or truths must be regarded as extra-logical. Then our grasp of the primitive logical notions, or knowledge of logical truths, cannot depend on or involve any of this set-theoretic material.</p> <p> The key question, then, is whether the plural comprehension axioms enjoy these features of logicality. As we will see shortly, substantial doubts have been raised, especially concerning these axioms’ ontological innocence and epistemic primacy.</p> <h2 id="ApplPlurQuan">4. Applications of Plural Quantification</h2> <p> I will now outline some applications of the theories PFO and PFO+. In the previous section three strains of the notion of logicality were disentangled. Special attention will be paid to the question which of these three strains PFO and PFO+ must possess for the applications to succeed. </p> <h3 id="EstaLogiMonaSecoOrdeLogi">4.1 Establishing the Logicality of Monadic Second-Order Logic</h3> <p> As we saw in <a href="#PlurQuanMonaSecoOrdeLogi">Section 2.1</a> Boolos defined an interpretation of the theory MSO of monadic second-order logic in the theory PFO of plural quantification. He sought to use this translation to establish the logicality of MSO. Doing so will require two steps. The first step is to argue that PFO is pure logic, that is, to establish the full Logicality Thesis (however exactly it is interpreted). The second step is to argue that the interpretation of MSO in PFO preserves logicality.</p> <p> Some of the challenges facing the first step will be examined in <a href="#OntoInno">Section 5</a>. The second step too should not be underestimated. Perhaps the greatest worry here is that Boolos’s translation renders expressions from one category (that of monadic predicates) in terms of expressions from another category (that of plural noun phrases). For instance, “… is an apple” is rendered as “the apples”. But these categories are very different (<a href="#PlurQuanVsSecoOrdeQuan">Section 2</a>).</p> <p> However, since the thesis that MSO is pure logic is very abstract, much of its cash value will lie in its applications. And given the equi-interpretability of MSO and PFO, it is likely that many applications of the logicality of the former can be served equally well by the logicality of the latter. This reduces somewhat the importance of carrying out the second step.</p> <h3 id="Logi">4.2 Logicism</h3> <p> Both Fregean and post-Fregean logicism make essential use of second-order quantification. Frege defined the various objects of pure mathematics as extensions of concepts, and his famous Basic Law V stated that two concepts $F$ and $G$ have the same extension just in case they are co-extensive:</p> \[ \tag{V} û\mstop Fu = û\mstop Gu \leftrightarrow \Forall{u}(Fu\leftrightarrow Gu) \] <p> But as is well known, Russell’s paradox shows that the second-order theory with (V) as an axiom is inconsistent.</p> <p> Philosophers have attempted to rescue some ideas of Fregean logicism by using axioms weaker than (V). One of the most important such attempts is Bob Hale and Crispin Wright’s <em>neo-logicism</em>, which gives up Frege’s theory of extensions but holds on to the central idea of his definition of cardinal numbers, namely that the number of $F$s is identical to the number of $G$s just in case the $F$s and the $G$s can be one-to-one correlated. This has become known as <em>Hume’s Principle</em>, and can be formalized as</p> \[ \tag{HP} Nu.Fu = Nu\mstop Gu \leftrightarrow F\approx G \] <p> where $F\approx G$ says there is a relation that one-to-one correlates the $F$s and the $G$s. The second-order theory with (HP) as an axiom is consistent and allows us to derive all of ordinary (second-order Peano-Dedekind) arithmetic, using some very natural definitions (see the entry on <a href="../frege-theorem/">Frege’s Logic, Theorem, and Foundations for Arithmetic</a>).</p> <p> Even more modest is Boolos’s <em>sub-logicism</em>, which rejects the idea (endorsed by both logicists and neo-logicists) that there are logical objects, but insists that Frege’s definition of the <em>ancestral</em> of a relation can be used to show, as against Kant, that at least some non-trivial mathematics is analytic (Boolos 1985b). Recall that a relation $R$ stands to its ancestral $\Rarel$ as the relation <em>is a parent of</em> stands to <em>is an ancestor of</em>. (More precisely, $\Rarel$ holds between two objects $x$ and $y$ just in case $x$ and $y$ are connected through a finite sequence of objects each of which bears $R$ to its successor.) Frege gives a second-order definition of the ancestral relation $\Rarel$ by laying down that $x$ and $y$ are related by $\Rarel$ just in case $y$ has every property that is had by $x$’s $R$-successors and inherited under the $R$-relation:</p> \[ \tag{Def $\Rarel$} x\Rarel y \leftrightarrow \Forall{F}[\Forall{u}(x\Rrel u \rightarrow Fu) \amp \Forall{u}(Fu \amp u\Rrel v \rightarrow Fv) \rightarrow Fy] \] <p> Using this definition, Frege 1879 proves some non-trivial mathematical truths, such as that the ancestral $\Rarel$ is transitive and that, for any functional relation $R$, the $R$-ancestors of any object are $\Rarel$-comparable (that is, he proved: Functional $(R) \amp x\Rarel y \amp x\Rarel z \rightarrow y\Rarel z \lor z\Rarel y$).</p> <p> It has been suggested that PFO be used to accommodate the post-Fregean logicists’ need for second-order quantification. Since the ancestral of a dyadic predicate can be defined using only monadic second-order quantification, PFO does indeed serve the logical needs of Boolos’s sub-logicism.<sup>[<a href="notes.html#note-13" id="ref-13">13</a>]</sup> But since the neo-logicist definition of $F\approx G$ uses <em>dyadic</em> second-order logic, PFO alone does not have sufficient expressive power to accommodate the needs of neo-logicism. The neo-logicist may attempt to solve this problem by regarding equinumerosity as a primitive logical quantifier or by simulating dyadic second-order quantification in some suitable extension of PFO, as discussed in <a href="#Rela">Section 2.2</a><sup>[<a href="notes.html#note-14" id="ref-14">14</a>]</sup> (see Boccuni 2013 for another option).</p> <p> Which strains of the Logicality Thesis are needed for these applications to succeed? Since these logicists attempt to show that parts of mathematics are analytic (or at least knowable <em>a priori</em>), this would require that PFO be analytic (or at least knowable <em>a priori</em>), which in turn is likely to require that PFO enjoy some form of cognitive primacy. Moreover, PFO would have to be either ontologically innocent or committed only to entities whose existence is conceptually necessary (or at least establishable <em>a priori</em>).</p> <h3 id="SetTheo">4.3 Set Theory</h3> <p> Another application of the Logicality Thesis is concerned with set theory. One may for a variety of reasons want to talk about and quantify over collections of sets (Uzquiano 2003). For instance, one may want to assert</p> <dl class="sentag tag3em"> <dt id="ex13">(13)</dt> <dd> There are some sets which are all and only the non-self-membered sets.</dd> </dl> <p> If we formalize this as</p> \[ \tag{$13'$} \Exists{R} \Forall{x} (Rx \leftrightarrow x\not\in x), \] <p> how is the quantifier $\exists{R}$ to be understood? It clearly cannot be taken to range over all sets, as this would lead straight to Russell’s paradox: (13′) would then assert the existence of the Russell-set. Three other responses are prominent in the literature.</p> <p> The first response is that $\exists{R}$ ranges over <em>classes</em> but that some classes are too large (or otherwise unsuited) to be sets. In particular, <a href="#ex13">(13)</a> asserts the existence of the Russell-class, which isn’t a set. This response has been found problematic because it postulates the existence of different kinds of “set-like” entities (Boolos 1984: 442 [1998a: 66] and 1998b: 35). It has also been objected that this response only postpones the problem posed by <a href="#ex13">(13)</a>. For it would also be true that</p> <dl class="sentag tag3em"> <dt>(14)</dt> <dd> There are some classes which are all and only the non-self-membered classes.</dd> </dl> <p> What kind of entity would this collection of classes be? A super-class? If so, we will be forced to postulate higher and higher levels of classes. Lewis (1991: 68) argues that Russell’s paradox is still inescapable because, when we consider all set-like entities, we realize that the following is true:</p> <dl class="sentag tag3em"> <dt>(15)</dt> <dd> There are some set-like things which are all and only the non-self-membered set-like things.</dd> </dl> <p> However, Hazen (1993: 141–2) has pointed out that Lewis’s objection violates essential type-restrictions. Classes of different levels belong to different logical types, just as concepts of different levels do. So Lewis’s attempt to talk about all set-like entities in one fell swoop involves an attempt to quantify across different logical types. But this violates type restrictions in the same way as an attempt to quantify simultaneously over objects and concepts of all different levels. Although we can quantify over <em>each</em> level of classes, we can never quantify over <em>all levels simultaneously</em>.</p> <p> The second response is that <a href="#ex13">(13)</a> asserts the existence of a set $R$, but that $R$ isn’t in the range of the quantifier $\forall{x}$. This prevents us from instantiating the quantifier $\forall{x}$ with respect to $R$, which means that we cannot draw the fatal conclusion that $R$ is a member of itself just in case it isn’t. However, this response entails that the quantifier $\forall{x}$ cannot be chosen to range over absolutely all sets; for if it could be so chosen, we would not be able deny that $R$ is in this range of quantification. This means that the universe of sets has a certain <em>inexhaustibility</em>: whenever we have formed a conception of quantification over some range of sets, we can define a set which isn’t in this range (Dummett 1981: ch. 15 and 1991: ch. 24; Glanzberg 2004; Parsons 1977). However, this response has been criticized for being, at best hard to state, and at worst self-refuting (Boolos 1998b: 30; Lewis 1991: 68; Williamson 2003: sect. V). (See also Rayo and Uzquiano 2006 for a number of essays discussing whether absolutely general quantification is possible.)</p> <p> Because of the difficulties involved in the first two responses, a third response has become popular in recent years (Boolos 1984 and 1985a; Burgess 2004; Cartwright 2001; Rayo and Uzquiano 1999; Uzquiano 2003). This is that the quantifier $\exists{R}$ is a plural quantifier (and would thus be better written as $\exists{rr})$ and that plural quantification is ontologically innocent. Therefore <a href="#ex13">(13)</a> does not assert the existence of any “set-like” entity over and above the sets in the range of the quantifier $\forall{x}$. But as we will see in <a href="#OntoInno">Section 5</a>, the claim about ontological innocence is controversial.</p> <p> A entirely different application of plural logic to set theory seeks to use plurals to explain sets. Kurt Gödel famously wrote of the operation “set of”, which can be applied to any “well-defined objects” to form their set and whose iterated application yields the cumulative hierarchy of sets (1964: 180). A key question is how to understand the notion of some “well-defined objects”. Suppose we accept that any objects $xx$ qualify as such. Then any objects $xx$ give rise to a set $\{xx\}$. Since the cumulative hierarchy contains no universal set, it follows that there cannot be a universal plurality comprising absolutely all objects. Florio and Linnebo 2020 and 2021, ch. 12 develop a <em>critical</em> plural logic that is suited for being combined with such an unrestricted “set of” operation. Thus, this approach forsakes the power of this logic to talk about arbitrary collections of sets and instead uses plurals to account for the nature of, and our knowledge of, sets. </p> <h3 id="MathNomi">4.4 Mathematical Nominalism</h3> <p> Some of the most popular applications of the plural quantification are concerned with ontological economy. The idea is to pay the ontological price of a mere first-order theory and then use plural quantification to get for free (a theory with the force of) the corresponding monadic second-order theory. That would obviously be an ontological bargain. Applications of this sort fall into two main classes, which will be discussed in this sub-section and the next.</p> <p> One class of applications of plural quantification aim to make ontological bargains in the philosophy of mathematics. In particular, a number of philosophers have attempted to use plural quantification as an ingredient of nominalistic interpretations of mathematics. A nice example is Geoffrey Hellman’s modal nominalism, according to which mathematical statements committed to the existence of abstract objects are to be eliminated in favor of statements about the <em>possible</em> existence of concrete objects. For instance, instead of claiming, as the platonist does, that there exists an infinite collection of abstract objects satisfying the axioms of Peano arithmetic (namely the natural numbers), Hellman claims that there <em>could exist</em> an infinite collection of concrete objects related so as to satisfy these axioms (Hellman 1989 and 1996). However, even this modal claim appears to talk about <em>collections</em> of concrete objects and <em>relations</em> on these objects. To forestall the objection that this smuggles in through the back door abstract objects such as sets, Hellman needs some alternative, nominalistically acceptable interpretation of this talk about collections and relations. Plural quantification may offer such an interpretation.</p> <p> For this application of plural quantification to work, PFO must be applicable to all kinds of concrete objects, and it must be ontologically innocent, or at least not committed to any entities that share those features of abstract objects that are found to be nominalistically objectionable. Moreover, in order to simulate quantification over relations, we will need not just PFO but a theory more like monadic <em>third-order</em> logic (Sections <a href="#Rela">2.2</a> and <a href="#HighLevePlurQuan">2.4</a>).</p> <h3 id="ElimCompObje">4.5 Eliminating Complex Objects</h3> <p> Another class of applications attempts to eliminate the commitments of science and common sense to (some or all) complex objects. For instance, instead of employing usual singular quantification over tables and chairs, it is proposed that we use plural quantification over mereological atoms arranged tablewise or chairwise (Rosen and Dorr 2002; Hossack 2000; van Inwagen 1990). For instance, instead of saying that there is a chair in one’s office, one should say that there are some atoms in one’s office arranged chairwise. In this way one appears to avoid committing oneself to the existence of a chair. Note that such analyses require PFO+, not just PFO, since the new predicates “are arranged $F$-wise” are non-distributive.</p> <p> Let’s set aside purely metaphysical worries about such analyses as irrelevant to our present concern. What $we$ would like to know is what demands these analyses put on the theory PFO+, in particular, which strains of the Logicality Thesis are needed. The most obvious demands are that PFO+ be applicable to all kinds of simple objects and that it be ontologically innocent, or at least not committed to complex objects of the sort to be eliminated.</p> <p> A less obvious demand has to do with the need to analyze ordinary plural quantification over complex objects, for instance</p> <dl class="sentag tag3em"> <dt>(16)</dt> <dd> There are some chairs arranged in a circle.</dd> </dl> <p> We have already “used up” ordinary plural quantification and predication to eliminate apparent commitment to individual chairs (Uzquiano 2004). So in order to analyze (16), we will need something like “super-plural” quantification — quantification that stands to ordinary plural quantification as ordinary plural quantification stands to singular — and corresponding non-distributive predication. The legitimacy of such linguistic resources was discussed in <a href="#HighLevePlurQuan">Section 2.4</a>.</p> <p> There have also been attempts to use plural logic to eliminate apparent reference to groups. Instead of referring to the Supreme Court, say, perhaps we might get by with referring plurally to its members. An obvious challenge for this approach is that a group can have different members at different moments of time and possible worlds, while the plurality of its (current and actual) members appears to be rigid, temporally as well as modally (<a href="#ModaCont">Section 2.3</a>). See (Horden and López de Sa 2021) for a defense of the proposed elimination against such challenges. </p> <h2 id="OntoInno">5. Ontological Innocence?</h2> <p> The traditional view in analytic philosophy has been that all plural locutions should be paraphrased away, if need be, by quantifying over sets (<a href="#LangTheoPlurQuan">Section 1</a>). George Boolos and others objected that it is both unnatural and unnecessary to eliminate plural locutions. This led to the theories PFO and PFO+. Proponents of plural quantification claim that these theories allow plural locutions to be formalized in a way that is fundamentally different from the old set-theoretic paraphrases. In particular, they claim that these theories are ontologically innocent in the sense that they introduce no new ontological commitments to sets or any other kind of “set-like” entities over and above the individual objects that compose the pluralities in question. Let’s call this latter claim <em>Ontological Innocence</em>.</p> <p> Other philosophers question Ontological Innocence. For instance, Michael Resnik expresses misgivings about the alleged ontological innocence of the plural formalization (\ref{ex3pprime}) of the Geach-Kaplan sentence <a href="#ex3">(3)</a>. For when (\ref{ex3pprime}) is translated into English as instructed, it reads:</p> <dl class="sentag tag3em"> <dt>$(3''')$</dt> <dd> There are some critics such that any one of them admires another critic only if the latter is one of them distinct from the former.</dd> </dl> <p> But $(3''')$, Resnik says, </p> <blockquote> <p> seems to me to refer to collections quite explicitly. How else are we to understand the phrase “one of them” other than as referring to some collection and as saying that the referent of “one” belongs to it? (Resnik 1988: 77) </p> </blockquote> <p> Related worries have been expressed in Hazen 1993, Linnebo 2003, Parsons 1990, and Rouilhan 2002; see also Shapiro 1993.</p> <p> I will now discuss three arguments in favor of Ontological Innocence.</p> <h3 id="SetTheoArgu">5.1 The set-theoretic argument</h3> <p> The first argument begins by asking us to consider the claim</p> <dl class="sentag tag3em"> <dt>(17)</dt> <dd> There are some sets which are all and only the non-self-membered sets.</dd> </dl> <p> and admit that it is true. It continues by arguing that, if plural expressions were committed to collections or any other “set-like” objects, then the truth of (17) would lead straight to Russell’s paradox. This is sometimes thought to be a knock-down argument in favor of Ontological Innocence (Boolos 1984: 440–443 [1998a: 64–67]; Lewis 1991: 65–69; McKay 2006: 31–32). But in fact it is less conclusive than it appears. For as we saw in <a href="#SetTheo">Section 4.3</a>, Russell’s paradox will follow only if two alternative views are ruled out. Since these views cannot be dismissed out of hand, much work remains before this argument can be said to be conclusive.</p> <h3 id="IncoPredArgu">5.2 The incorrect predication argument</h3> <p> The second argument is nicely encapsulated by Boolos’s remark that “It is haywire to think that when you have some Cheerios, you are eating a <em>set</em>” (1984: 448–9 [1998a: 72]). What Boolos is suggesting here is that analyses which deny Ontological Innocence are likely to get the subject of plural predications wrong.</p> <p> The obvious response is to interpret plural predicates in a way which ensures that what we eat are <em>the elements</em> of a set and not the set itself. Consider the sentence:</p> <dl class="sentag tag3em"> <dt id="ex18">(18)</dt> <dd> George Boolos ate some Cheerios for breakfast on January 1, 1985.</dd> </dl> <p> When the direct object of the verb “ate” is plural, we can for instance interpret the verb by means of the relation <em>x ate-the-elements-of y</em>.</p> <p> It will be objected that this response makes the verb “ate” ambiguous in an implausible way (Oliver and Smiley 2001). For when the verb has a direct object that is singular, it will presumably be interpreted by means of the ordinary relation <em>x ate y</em>. But there is fairly strong evidence that the verb “ate” isn’t ambiguous in this way. For instance, one effect of an ambiguity is to disallow certain kinds of ellipsis. An example is the ambiguity of “make” in “make breakfast” and “make a plan”, which disallows the following ellipsis:</p> <dl class="sentag tag3em"> <dt>(*19)</dt> <dd> Boolos made breakfast, but his guest, only a plan.</dd> </dl> <p> So if “ate” was ambiguous in the way just described, the following ellipsis would be disallowed as well, which it isn’t:</p> <dl class="sentag tag3em"> <dt>(20)</dt> <dd> Boolos ate some Cheerios, but his guest, only an apple.</dd> </dl> <p> However, it is far from clear that the above response to Boolos’s argument needs to be committed to any such problematic ambiguities. We can for instance let <em>all</em> predicates take plural entities as their arguments. The verb “ate” will then always receive as its interpretation the relation <em>the-elements-of x ate-the-elements-of y</em>, thus removing any ambiguity. Whether or not this response is ultimately acceptable, it shows that the argument in question remains inconclusive.</p> <h3 id="DireArgu">5.3 The direct argument</h3> <p> Perhaps the most popular argument for Ontological Innocence is the one to which I now turn. In its simplest form, this argument is based on our intuitions about ontological commitments. When you assert <a href="#ex18">(18)</a>, you don’t have the feeling that you are committing yourself ontologically to a collection or to any other kind of “set-like” object. Nor do you have any such feeling when you assert the Geach-Kaplan sentence or any other translation of a sentence of PFO or PFO+ into English. Or so the argument goes.</p> <p> In this simple form the argument is vulnerable to the objection that people’s intuitions provide a poor basis for settling theoretical disputes about ontological commitments. We have seen that there are competent speakers of English, such as Michael Resnik, who don’t share these intuitions. Moreover, as Davidson’s popular analysis of action sentences in terms of events makes clear, ordinary people’s intuitions about ontological commitments cannot always be trusted (Davidson 1967). For instance, someone may sincerely assert that John walked slowly, without being aware that he has committed himself to the existence of an event (namely a walking which was by John and which was slow).</p> <p> Although this objection has force, the argument can be sharpened by undertaking a more careful study of what forms of existential generalization are warranted on a sentence containing plural expressions (Boolos 1984: 447 [1998a: 70]; McKay 2006: ch. 2; Yi 2002: 7–15 and 2005: 469–472). For instance, we may ask whether the following can be inferred from <a href="#ex18">(18)</a>:</p> <dl class="sentag tag3em"> <dt id="ex21">(21)</dt> <dd> There is an object such that Boolos ate all of its elements (or constituents) for breakfast on January 1, 1985.</dd> </dl> <p> This inference would no doubt be quite peculiar. This provides evidence that <a href="#ex18">(18)</a> isn’t committed to any kind of “set-like” entity.</p> <p> However, this evidence is not incontestable. For there are analogous inferences that seem quite natural. For instance, from</p> <dl class="sentag tag3em"> <dt>(22)</dt> <dd> Some students surrounded the building.</dd> </dl> <p> most speakers of English would be perfectly happy to infer that </p> <dl class="sentag tag3em"> <dt>(23)</dt> <dd> A group of students surrounded the building.</dd> </dl> <p> So perhaps the peculiarity of the inference from <a href="#ex18">(18)</a> to <a href="#ex21">(21)</a> is a pragmatic rather than a semantic phenomenon. Perhaps it has to do with the fact that it is less natural to regard some Cheerios as a set (or some other sort of plural entity) than it is to regard some students as a group. </p> <p> However, let’s assume that the defenders of the Direct Argument are right that <a href="#ex18">(18)</a> does not entail <a href="#ex21">(21)</a>. What would follow? It would follow that <a href="#ex18">(18)</a> does not incur any additional ontological commitments <em>of the sort that can be incurred by singular first-order quantifiers</em>. But this conclusion falls short of the argument’s desired conclusion that <a href="#ex18">(18)</a> does not incur any additional ontological commitments <em>of any sort</em>. In order to get from the actual conclusion to the desired one, we would in addition have to assume that all ontological commitments are of the sort incurred by singular first-order quantifiers. But there is an influential philosophical tradition that denies this assumption and instead holds that all kinds of quantifiers incur ontological commitments, not just singular first-order ones.<sup>[<a href="notes.html#note-15" id="ref-15">15</a>]</sup> The most famous exponent of this tradition is Frege, who claims that second-order quantifiers are committed to concepts, just as singular first-order quantifiers are committed to objects. This tradition ties the notion of ontological commitment very closely to that of a semantic value. This will be the topic of the next and final subsection.</p> <h3 id="SemaValuOntoComm">5.4 Semantic values and ontological commitments</h3> <p> In semantics it is widely assumed that each component of a complex expression makes some definite contribution to the meaning of the complex expression. This contribution is known as the <em>semantic value</em> of the component expression. It is also assumed that the meaning of the complex expression is functionally determined by the semantic values of the component expressions and their syntactic mode of composition. This assumption is known as <em>compositionality</em>.</p> <p> According to Frege, the semantic value of a sentence is just its truth-value, and the semantic value of a proper name is its referent (that is, the object to which it refers). Once we have fixed the semantic values assigned to sentences and proper names, it is easy to determine what kinds of semantic value to assign to expressions of other syntactic categories. For instance, the semantic value of a monadic predicate will have to be a function from objects to truth-values. Frege calls such functions <em>concepts</em>.</p> <p> As an example, let’s consider the simple subject-predicate sentence</p> <dl class="sentag tag3em"> <dt id="ex24">(24)</dt> <dd>Socrates is mortal.</dd> </dl> <p> The logical form of (24) is $\mathbf{M}(\mathbf{s})$, where $\mathbf{M}$ is the predicate “is mortal” and $\mathbf{s}$ is the singular term “Socrates”. Let’s write [$\mathbf{E}$] for the semantic value of an expression $\mathbf{E}$. In accordance with the previous paragraph, the semantic values relevant to (24) are as follows:</p> <dl class="sentag tag3em"> <dt id="ex25">(25)</dt> <dd>$[\mathbf{s}] = \textrm{Socrates}$ </dd> </dl> <dl class="sentag tag3em"> <dt>(26)</dt> <dd> $[\mathbf{M}] =$ the function $f$ from objects to truth-values such that $f(x)$ is the true if $x$ is mortal and $f(x)$ is the false otherwise</dd> </dl> <p> The truth-value of <a href="#ex24">(24)</a> is thus determined as</p> <dl class="sentag tag3em"> <dt>(27)</dt> <dd> [(24)] $= [\mathbf{M}(\mathbf{s})] = [\mathbf{M}] ([\mathbf{s}]) = f(\textrm{Socrates}) =$ the true (if Socrates is mortal) or the false (otherwise).</dd> </dl> <p> Frege took the connection between semantic values and ontological commitments to be a very close one. For on the above analysis, <a href="#ex24">(24)</a> supports two kinds of existential generalizations: not just to $\Exists{x}\mstop\mathbf{M}(x)$ (which is true just in case there exists some object which is mortal) but also to $\Exists{F}\mstop F(s)$ (which is true just in case there exists some concept under which Socrates falls). According to Frege, this shows that sentences such as <a href="#ex24">(24)</a> are ontologically committed not just to an object but also to a concept.</p> <p> What matters for present purposes is not the truth or falsity of Frege’s claim about concepts but whether a cogent argument of this sort can be developed for plural expressions. To investigate this, let’s consider a simple non-distributive plural predication such as</p> <dl class="sentag tag3em"> <dt id="ex28">(28)</dt> <dd> These apples form a circle.</dd> </dl> <p> The logical form of (28) appears to be $\mathbf{C}(\mathbf{aa})$, where $\mathbf{C}$ is the predicate “form a circle” and $\mathbf{aa}$ is the plural term “these apples”. (If you think complex plural demonstrative have internal semantic structure, use instead some plural name stipulated to refer directly to the apples in question.) The natural view will then be as follows.</p> <dl class="sentag tag3em"> <dt>(29)</dt> <dd> [$\mathbf{aa}] = a_1$ and … and $a_n$ (where the $a_i$ are all and only the apples demonstrated)</dd> </dl> <dl class="sentag tag3em"> <dt>(30)</dt> <dd> [$\mathbf{C}] =$ the function $g$ from pluralities to truth-values such that $g(xx)$ is the true if $xx$ form a circle and $g(xx)$ is the false otherwise</dd> </dl> <p> The truth-value of <a href="#ex28">(28)</a> will then be determined as</p> <dl class="sentag tag3em"> <dt>(31)</dt> <dd> [(28)] $= [\mathbf{C}(\mathbf{aa})] = [\mathbf{C}] ([\mathbf{aa}]) = g(a_1$ and … and $a_n$) = the true (if $a_1$ and … and $a_n$ form a circle) or the false (otherwise)</dd> </dl> <p> which is what one would expect, given the syntactic similarity between <a href="#ex24">(24)</a> and (28).</p> <p> Assume that this analysis is correct and that each plural term thus has some objects as its semantic value, just as each singular term has one object as its semantic value. What will this mean for the question of Ontological Innocence? According to the Fregean tradition, which connects the notion of ontological commitment to that of a semantic value, this will mean that plural expressions incur commitment to plural entities, much as predicates incur commitment to concepts. For to say that a sentence incurs a commitment to a plural entity is just to say that the truth of the sentence requires there to be some semantic value of the sort appropriate to plural expressions. However, this line of reasoning will be resisted by other philosophers, who believe that the notion of ontological commitment should be tied (at most) to singular first-order variables.</p> <p> How can this disagreement be adjudicated? On the one hand, it may count in favor of the Fregean tradition that their view is highly systematic. There may be something <em>ad hoc</em> about the idea that some sorts of semantic value give rise to ontological commitments while other sorts don’t. On the other hand, it may count in favor of the alternative view that it does better justice to many people’s strongly felt intuition that plural locutions are ontologically innocent.</p> <p> Another possibility is that the whole controversy is ultimately just a pseudo-disagreement (see especially Florio and Linnebo 2016, but also Parsons 1990; Shapiro 1993; Linnebo 2003; Rayo 2007; and Linnebo and Rayo 2012). If both parties agree that plural expressions have semantic values, and if both agree that commitments to <em>objects</em> are incurred only by singular first-order terms and variables, then perhaps it does not matter whether other sorts of terms and variables should be regarded as introducing their own distinctive kinds of ontological commitment. Some philosophers speak about a theory’s <em>ideological commitments</em> and not just about its ontological commitments. By this is meant the logical and conceptual resources that the theory employs. Perhaps philosophers would be well advised to focus more on the metaphysical and epistemological questions raised by a theory’s ideological commitments and worry less about whether these ideological commitments should be also regarded as introducing a distinctive kind of ontological commitment. After all, the notion of an ontological commitment is a theoretical one, not one that has any sharp content outside of philosophy. So perhaps we should regard the notion more as a means to the end of providing good philosophical explanations and less as a goal in itself.</p> </div> <div id="bibliography"> <h2 id="Bib">Bibliography</h2> <ul class="hanging"> <li>Armstrong, David, 1978, <em>Universals and Scientific Realism</em>, Vol. 1, Cambridge: Cambridge University Press.</li> <li>Ben-Yami, Hanoch, 2004, <em>Logic and Natural Language: On Plural Reference and Its Semantic and Logical Significance</em>, Hants: Ashgate.</li> <li>–––, 2009, “Plural Quantification Logic: A Critical Appraisal”, <em>Review of Symbolic Logic</em>, 2(1): 208–232. doi:10.1017/S1755020309090108</li> <li>–––, 2013, “Higher-Level Plurals Versus Articulated Reference, and an Elaboration of Salva Veritate”, <em>Dialectica</em>, 67(1): 81–102. doi:10.1111/1746-8361.12013</li> <li>Black, Max, 1971, “The Elusiveness of Sets”, <em>Review of Metaphysics</em>, 24(4): 614–636.</li> <li>Boccuni, Francesca, 2013, “Plural Logicism”, <em>Erkenntnis</em>, 78: 1051–1067. doi:10.1007/s10670-013-9482-z</li> <li>Boolos, George, 1984, “To Be Is To Be a Value of a Variable (or to Be Some Values of Some Variables)”, <em>Journal of Philosophy</em>, 81(8): 430–50; repr. in Boolos 1998a. doi:10.2307/2026308 </li> <li>–––, 1985a, “Nominalist Platonism”, <em>Philosophical Review</em>, 94(3): 327–344; repr. in Boolos 1998a. doi:10.2307/2185003 </li> <li>–––, 1985b, “Reading the <em>Begriffsschrift</em>”, <em>Mind</em>, 94(375): 331–344; repr. in Boolos 1998a. doi:10.1093/mind/XCIV.375.331</li> <li>–––, 1997, “Is Hume’s Principle Analytic?” in Richard G. Heck, Jr. (ed.), <em>Logic, Language, and Thought</em>, Oxford: Oxford University Press; repr. in Boolos 1998a.</li> <li>–––, 1998a, <em>Logic, Logic, and Logic</em>, Richard Jeffrey (ed.), Cambridge, MA: Harvard University Press.</li> <li>–––, 1998b, “Reply to Charles Parsons’ ‘Sets and Classes’”, in Boolos 1998a: pp. 30–36.</li> <li>Boolos, George, John P. Burgess, and Richard C. Jeffrey, 2007, <em>Computability and Logic</em>, 5th edition, Cambridge: Cambridge University Press.</li> <li>Bricker, Phillip, 1989, “Quantified Modal Logic and the Plural <em>De Re</em>”, <em>Midwest Studies in Philosophy</em>, 14: 372–394. doi:10.1111/j.1475-4975.1989.tb00198.x</li> <li>Büchi, J. Richard, 1962, “On a Decision Method in Restricted Second Order Arithmetic”, in E. Nagel, P. Suppes, and A. Tarski (eds.), <em>Logic, Methodology, and Philosophy of Science</em>, Stanford, CA: Stanford University Press, pp. 1–11. Reprinted in <em>The Collected Works of J. Richard Büchi</em>, 1990, pp. 425–435. doi:10.1007/978-1-4613-8928-6_23</li> <li>Burgess, John P., 2004, “<em>E Pluribus Unum</em>: Plural Logic and Set Theory”, <em>Philosophia Mathematica</em>, 12(3): 193–221. doi:10.1093/philmat/12.3.193</li> <li>Burgess, John P. and Gideon Rosen, 1997, <em>A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics</em>, Oxford: Clarendon Press. doi:10.1093/0198250126.001.0001</li> <li>Cartwright, Richard, 2001, “A Question about Sets”, in Alex Byrne, Robert Stalnaker, and Ralph Wedgwood (eds.), <em>Fact and Value: Essays on Ethics and Metaphysics for Judith Jarvis Thomson</em>, Cambridge, MA: MIT Press, pp. 29–46.</li> <li>Cocchiarella, Nino B., 2002, “On the Logic of Classes as Many”, <em>Studia Logica</em>, 70(3): 303–338. doi:10.1023/A:1015190829525</li> <li>Davidson, Donald, 1967, “The Logical Form of Action Sentences”, in <em>The Logic of Decision and Action</em>, Nicholas Rescher (ed.), pp. 81–95, Pittsburg: University of Pittsburg Press. Reprinted in his <em>Essays on Actions and Events</em>, 1980 (subsequent edition, 2001: 105–148), Oxford: Clarendon. doi:10.1093/0199246270.003.0006</li> <li>Dummett, Michael, 1981, <em>Frege: Philosophy of Language</em>, 2nd edition, Cambridge, MA: Harvard University Press.</li> <li>–––, 1991, <em>Frege: Philosophy of Mathematics</em>, Cambridge, MA: Harvard University Press.</li> <li>Field, Hartry, 1984, “Is Mathematical Knowledge Just Logical Knowledge?” <em>Philosophical Review</em>, 93(4): 509–552. doi:10.2307/2184826 </li> <li>–––, 1993, “The Conceptual Contingency of Mathematical Objects”, <em>Mind</em>, 102(406): 285–299. doi:10.1093/mind/102.406.285</li> <li>Florio, Salvatore, 2014a, “Semantics and the Plural Conception of Reality” <em>Philosophers’ Imprint</em>, 14(22): 1–20. [<a href="http://hdl.handle.net/2027/spo.3521354.0014.022" target="other">Florio 2014a available online</a>]</li> <li>–––, 2014b, “Untyped Pluralism”, <em>Mind</em>, 123(490): 317–337. doi:10.1093/mind/fzu069</li> <li>Florio, Salvatore and Øystein Linnebo, 2016, “On the Innocence and Determinacy of Plural Quantification”, <em>Noûs</em>, 50(3): 565–583. doi:10.1111/nous.12091</li> <li>–––, 2020, “Critical Plural Logic”, <em>Philosophia Mathematica</em>, 28(2): 172–203. doi:10.1093/philmat/nkaa020</li> <li>–––, 2021, <em>The Many and the One: A Philosophical Study of Plural Logic</em>, Oxford: Oxford University Press. [<a href="https://fdslive.oup.com/www.oup.com/academic/pdf/openaccess/9780198791522.pdf" target="other">Florio & Linnebo 2021 available online</a>]</li> <li>Florio, Salvatore and Stewart Shapiro, 2014, “Set Theory, Type Theory, and Absolute Generality”, <em>Mind</em>, 123(489): 157–174. doi:10.1093/mind/fzu039</li> <li>Forbes, Graeme, 1989, <em>The Languages of Possibility</em>, Oxford: Blackwell.</li> <li>Frege, Gottlob, 1879, <em>Begriffsschrift</em>, translated in Jean van Heijenoort (ed.), 1967, <em>From Frege to Gödel</em>, Cambridge, MA: Harvard University Press.</li> <li>–––, 1884, <em>Foundations of Arithmetic</em>, transl. J.L. Austin, Evanston, IL: Northwestern University Press.</li> <li>–––, 1914, “Logic in Mathematics”, in his <em>Posthumous Writings</em>, H. Hermes et al. (eds), 1979, Oxford: Blackwell, pp. 203–250.</li> <li>Glanzberg, Michael, 2004, “Quantification and Realism”, <em>Philosophy and Phenomenological Research</em>, 69(3): 541–572. doi:10.1111/j.1933-1592.2004.tb00518.x</li> <li> Gödel, Kurt, 1964, “What Is Cantor’s Continuum Problem?”, in his <em>Collected Works</em> (Volume II), 1990, Oxford: Oxford University Press, pp. 176–188. </li> <li>Hazen, A.P., 1993, “Against Pluralism”, <em>Australasian Journal of Philosophy</em>, 71(2): 132–144. doi:10.1080/00048409312345142</li> <li>–––, 1997, “Relations in Lewis’s Framework without Atoms”, <em>Analysis</em>, 57(4): 243–248. doi:10.1111/1467-8284.00082</li> <li>–––, 2000, “Relations in Lewis’s Framework without Atoms: a Correction”, <em>Analysis</em>, 60(4): 351–353. doi:10.1111/1467-8284.00252</li> <li>Hellman, Geoffrey, 1989, <em>Mathematics without Numbers: Towards a Modal-Structural Interpretation</em>, Oxford: Clarendon Press. doi:10.1093/0198240341.001.0001</li> <li>–––, 1996, “Structuralism without Structures”, <em>Philosophia Mathematica</em>, 4(2): 100–123. doi:10.1093/philmat/4.2.100</li> <li>Hewitt, Simon Thomas, 2012a, “Modalising Plurals”, <em>Journal of Philosophical Logic</em>, 41(5): 853–875. doi:10.1007/s10992-011-9194-2</li> <li>–––, 2012b, “The Logic of Finite Order”, <em>Notre Dame Journal of Formal Logic</em>, 53(3): 297–318. doi:10.1215/00294527-1716820</li> <li>Higginbotham, James, 1998, “On Higher-Order Logic and Natural Language”, <em>Proceedings of the British Academy</em>, 95: 1–27. [<a href="http://www.britac.ac.uk/pubs/proc/volumes/pba95.html" target="other">Higginbotham 1998 available online</a>]</li> <li>Horden, John and Dan López de Sa, 2021, “Groups as Pluralities”, <em>Synthese</em>, 198: 10237–10271. doi:10.1007/s11229-020-02715-y</li> <li>Hossack, Keith, 2000, “Plurals and Complexes”, <em>British Journal for Philosophy of Science</em>, 51(3): 411–443. doi:10.1093/bjps/51.3.411</li> <li>–––, 2014, “Sets and Plural Comprehension”, <em>Journal of Philosophical Logic</em>, 43(2–3): 517–539. doi:10.1007/s10992-013-9278-2</li> <li>Klement, Kevin C., 2014, “Early Russell on Types and Plurals”, <em>Journal For The History of Analytical Philosophy</em>, 2(6): 1–21. doi:10.15173/jhap.v2i6.47 </li> <li>Landman, Fred, 2000, <em>Events and Plurality</em>, Dordrecht: Kluwer.</li> <li>Lewis, David, 1991, <em>Parts of Classes</em>, Oxford: Blackwell.</li> <li>Link, Godehard, 1998, <em>Algebraic Semantics in Language and Philosophy</em>, Stanford, CA: CSLI Publications.</li> <li>Linnebo, Øystein, 2003, “Plural Quantification Exposed”, <em>Noûs</em>, 37(1): 71–92. doi:10.1111/1468-0068.00429</li> <li>–––, 2016, “Plurals and Modals”, <em>Canadian Journal of Philosophy</em>, 46(4–5): 654–676. doi:10.1080/00455091.2015.1132975</li> <li>Linnebo, Øystein and David Nicolas, 2008, “Superplurals in English”, <em>Analysis</em>, 68(3): 186–197. doi:10.1111/j.1467-8284.2008.00737.x</li> <li>Linnebo, Øystein and Agustín Rayo, 2012, “Hierarchies Ontological and Ideological”, <em>Mind</em>, 121(482): 269–308. doi:10.1093/mind/fzs050</li> <li>Lønning, Jan Tore, 1997, “Plurals and Collectivity”, in J. van Bentham and A. ter Meulen (eds.), <em>Handbook of Logic and Language</em>, Amsterdam: Elsevier, pp. 1009–1054.</li> <li>McKay, Thomas, 2006, <em>Plural Predication</em>, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199278145.001.0001</li> <li>Morton, Adam, 1975, “Complex Individuals and Multigrade Relations”, <em>Noûs</em>, 9(3): 309–318. doi:10.2307/2214634 </li> <li>Nicolas, David, 2008, “Mass Nouns and Plural Logic”, <em>Linguistics and Philosophy</em>, 31(2): 211–244. doi:10.1007/s10988-008-9033-2</li> <li>Oliver, Alex and Timothy Smiley, 2001, “Strategies for a Logic of Plurals”, <em>Philosophical Quarterly</em>, 51(204): 289–306. doi:10.1111/j.0031-8094.2001.00231.x</li> <li>–––, 2004, “Multigrade Predicates”, <em>Mind</em>, 113(452): 609–681. doi:10.1093/mind/113.452.609</li> <li>–––, 2005, “Plural Descriptions and Many-Valued Functions”, <em>Mind</em>, 114(456): 1039–1068. doi:10.1093/mind/fzi1039</li> <li>–––, 2016, <em>Plural Logic</em>, second edition, revised and enlarged, Oxford: Oxford University Press.</li> <li>Parsons, Charles, 1977, “What Is the Iterative Conception of Set?”, in <em>Logic, Foundations of Mathematics, and Computability Theory</em>, Robert E. Butts and Jaakko Hintikka (eds), Dordrecht/Boston: D. Reidel, pp. 335–367. Reprinted in Paul Benacerraf and Hilary Putnam (eds.), <em>Philosophy of Mathematics: Selected Readings</em>, 2nd edition, 1983, Cambridge: Cambridge University Press, pp. 503–529. doi:10.1007/978-94-010-1138-9_18 and doi:10.1017/CBO9781139171519.027</li> <li>–––, 1990, “The Structuralist View of Mathematical Objects”, <em>Synthese</em>, 84(3): 303–346. doi:10.1007/BF00485186</li> <li>Quine, W.V., 1973, <em>Roots of Reference</em>, La Salle, IL: Open Court.</li> <li>–––, 1982, <em>Methods of Logic</em>, 4th edition, Cambridge, MA: Harvard University Press</li> <li>–––, 1986, <em>Philosophy of Logic</em>, 2nd edition, Cambridge, MA: Harvard University Press</li> <li>Rayo, Agustín, 2002, “Word and Objects”, <em>Noûs</em>, 36(3): 436–464. doi:10.1111/1468-0068.00379</li> <li>–––, 2006, “Beyond Plurals”, in Rayo and Uzquiano 2006: 220–254.</li> <li>–––, 2007, “Plurals”, <em>Philosophy Compass</em>, 2(3): 411–427. doi:10.1111/j.1747-9991.2007.00060.x</li> <li>Rayo, Agustín and Gabriel Uzquiano, 1999, “Toward a Theory of Second-Order Consequence”, <em>Notre Dame Journal of Formal Logic</em>, 40(3): 315–325. doi:10.1305/ndjfl/1022615612</li> <li>–––, 2006 (eds.), <em>Absolute Generality</em>, Oxford: Oxford University Press.</li> <li>Rayo, Agustín and Stephen Yablo, 2001, “Nominalism through De-Nominalization”, <em>Noûs</em>, 35(1): 74–92. doi:10.1111/0029-4624.00288</li> <li>Resnik, Michael, 1988, “Second-Order Logic Still Wild”, <em>Journal of Philosophy</em>, 85(2): 75–87. doi:10.2307/2026993 </li> <li>Roberts, Sam, forthcoming, “Pluralities as Nothing Over and Above”, <em>Journal of Philosophy</em>. [<a href="https://samrroberts.files.wordpress.com/2021/08/pluralities_as_nothing_over_and_above-5.pdf" target="other">preprint of Roberts forthcoming available from the author</a>]</li> <li>Rosen, Gideon and Cian Dorr, 2002, “Composition as Fiction”, in Richard M. Gale (ed.), <em>The Blackwell Guide to Metaphysics</em>, Oxford: Blackwell, pp. 151–174. doi:10.1002/9780470998984.ch8</li> <li>Rouilhan, Philippe de, 2002, “On What There Are”, <em>Proceedings of the Aristotelian Society</em>, 102(1): 183–200. doi:10.1111/j.0066-7372.2003.00049.x</li> <li>Rumfitt, Ian, 2005, “Plural Terms: Another Variety of Reference?” in José Luis Bermudez (ed.), <em>Thought, Reference and Experience: Themes from the Philosophy of Gareth Evans</em>, Oxford: Oxford University Press, pp. 84–123. doi:10.1093/acprof:oso/9780199248964.003.0004</li> <li>Russell, Bertrand, 1903, <em>Principles of Mathematics</em>, Cambridge: Cambridge University Press.</li> <li>Schein, Barry, 1993, <em>Plurals and Events</em>, Cambridge, MA: MIT Press.</li> <li>–––, 2006, “Plurals”, in Ernest Lepore and Barry C. Smith (eds.), <em>Oxford Handbook of Philosophy of Language</em>, Oxford: Oxford University Press, pp. 716–767. doi:10.1093/oxfordhb/9780199552238.003.0029</li> <li>Shapiro, Stewart, 1991, <em>Foundations without Foundationalism: A Case for Second-Order Logic</em>, Oxford: Clarendon. doi:10.1093/0198250290.001.0001</li> <li>–––, 1993, “Modality and Ontology”, <em>Mind</em>, 102(407): 455–481. doi:10.1093/mind/102.407.455</li> <li>Simons, Peter, 1982, “Plural Reference and Set Theory”, in Barry Smith (ed.), <em>Parts and Moments: Studies in Logic and Formal Ontology</em>, Munich: Philosophia Verlag, pp. 199–260. [<a href="http://ontology.buffalo.edu/smith/book/P&M/" target="other">Simons 1982 available online</a>]</li> <li>–––, 1997, “Higher-Order Quantification and Ontological Commitment”, <em>Dialectica</em>, 51(4): 255–271. doi:10.1111/j.1746-8361.1997.tb00032.x</li> <li>–––, 2016, “The Ontology and Logic of Higher-Order Multitudes”, in Massimiliano Carrara, Alexandra Arapinis, and Friederike Moltmann (eds), <em>Unity and Plurality: Logic, Philosophy, and Linguistics</em>, Oxford: Oxford University Press, pp. 55–69. doi:10.1093/acprof:oso/9780198716327.003.0004</li> <li>Spencer, Joshua, 2012, “All Things Must Pass Away”, <em>Oxford Studies in Metaphysics</em>, 7: 67–92. </li> <li>Stenius, Eric, 1974, “Sets”, <em>Synthese</em>, 27(1–2): 161–188. doi:10.1007/BF00660894</li> <li>Tarski, Alfred (and John Corcoran, trans.), 1986, “What Are Logical Notions?”, <em>History and Philosophy of Logic</em>, 7(2): 143–154. doi:10.1080/01445348608837096</li> <li>Taylor, Barry and A.P. Hazen, 1992, “Flexibly Structured Predication”, <em>Logique et Analyse</em>, 35(139–140): 375–393.</li> <li>Uzquiano, Gabriel, 2003, “Plural Quantification and Classes”, <em>Philosophia Mathematica</em>, 11(1): 67–81. doi:10.1093/philmat/11.1.67</li> <li>–––, 2004, “Plurals and Simples”, <em>Monist</em>, 87(3): 429–451. doi:10.5840/monist200487324</li> <li>–––, 2011, “Plural Quantification and Modality”, <em>Proceedings of the Aristotelian Society</em>, 111(2_pt_2): 219–250. doi:10.1111/j.1467-9264.2011.00307.x</li> <li>van Inwagen, Peter, 1990, <em>Material Beings</em>, Ithaca, NY: Cornell University Press.</li> <li>Williamson, Timothy, 2003, “Everything”, <em>Philosophical Perspectives</em>, 17: 415–465. doi:10.1111/j.1520-8583.2003.00017.x</li> <li>–––, 2010, “Necessitism, Contingentism, and Plural Quantification”, <em>Mind</em>, 119(475): 657–748. doi:10.1093/mind/fzq042</li> <li>–––, 2013, <em>Modal Logic as Metaphysics</em>, Oxford: Oxford University Press.</li> <li>–––, 2016, “Reply to Linnebo”, <em>Canadian Journal of Philosophy</em>, 46(4–5): 677–682. doi:10.1080/00455091.2016.1205856</li> <li>Yablo, Stephen, 2000, “Apriority and Existence”, in Paul Boghossian and Christopher Peacocke (eds.), <em>New Essays on the A Priori</em>, Oxford: Oxford University Press, pp. 197–228. doi:10.1093/0199241279.003.0009</li> <li>Yi, Byeong-Uk, 1999, “Is Two a Property?” <em>Journal of Philosophy</em>, 96(4): 163–190. doi:10.2307/2564701 </li> <li>–––, 2002, <em>Understanding the Many</em>, New York, NY: Routledge.</li> <li>–––, 2005, “The Logic and Meaning of Plurals, Part I”, <em>Journal of Philosophical Logic</em>, 34(5): 459–506. doi:10.1007/s10992-005-0560-9</li> <li>–––, 2006, “The Logic and Meaning of Plurals, Part II”, <em>Journal of Philosophical Logic</em>, 35(3): 239–288. doi:10.1007/s10992-005-9015-6</li> </ul> </div> <div id="academic-tools"> <h2 id="Aca">Academic Tools</h2> <blockquote> <table class="vert-top"> <tr> <td><img src="../../symbols/sepman-icon.jpg" alt="sep man icon" /></td> <td><a href="https://plato.stanford.edu/cgi-bin/encyclopedia/archinfo.cgi?entry=plural-quant" target="other">How to cite this entry</a>.</td> </tr> <tr> <td><img src="../../symbols/sepman-icon.jpg" alt="sep man icon" /></td> <td><a href="https://leibniz.stanford.edu/friends/preview/plural-quant/" target="other">Preview the PDF version of this entry</a> at the <a href="https://leibniz.stanford.edu/friends/" target="other">Friends of the SEP Society</a>.</td> </tr> <tr> <td><img src="../../symbols/inpho.png" alt="inpho icon" /></td> <td><a href="https://www.inphoproject.org/entity?sep=plural-quant&redirect=True" target="other">Look up topics and thinkers related to this entry</a> at the Internet Philosophy Ontology Project (InPhO).</td> </tr> <tr> <td><img src="../../symbols/pp.gif" alt="phil papers icon" /></td> <td><a href="https://philpapers.org/sep/plural-quant/" target="other">Enhanced bibliography for this entry</a> at <a href="https://philpapers.org/" target="other">PhilPapers</a>, with links to its database.</td> </tr> </table> </blockquote> </div> <div id="other-internet-resources"> <h2 id="Oth">Other Internet Resources</h2> <ul> <li> <a href="http://philpapers.org/browse/plural-quantification" target="other">PhilPapers Bibliography on Plural Quantification</a>. </li> </ul> <p>[Please contact the author with suggestions.]</p> </div> <div id="related-entries"> <h2 id="Rel">Related Entries</h2> <p> <a href="../frege/">Frege, Gottlob</a> | <a href="../frege-theorem/">Frege, Gottlob: theorem and foundations for arithmetic</a> | <a href="../generalized-quantifiers/">generalized quantifiers</a> | <a href="../logic-ontology/">logic and ontology</a> | <a href="../logicism/">logicism and neologicism</a> | <a href="../mereology/">mereology</a> | <a href="../russell-paradox/">Russell’s paradox</a> | <a href="../set-theory/">set theory</a> </p> </div> <div id="acknowledgments"> <h3>Acknowledgments</h3> <p> Thanks to Salvatore Florio, Allen Hazen, Frode Kjosavik, Tom McKay, David Nicolas, Agustín Rayo, and Gabriel Uzquiano for discussions and written comments on earlier drafts.</p> </div> <script type="text/javascript" src="local.js"></script> <script type="text/javascript" src="../../MathJax/MathJax.js?config=TeX-MML-AM_CHTML"></script> </div>  </div>  <div id="article-copyright"> <p> <a href="../../info.html#c">Copyright © 2022</a> by <br /> Øystein Linnebo <<a href="mailto:oystein%2elinnebo%40ifikk%2euio%2eno"><em>oystein<abbr title=" dot ">.</abbr>linnebo<abbr title=" at ">@</abbr>ifikk<abbr title=" dot ">.</abbr>uio<abbr title=" dot ">.</abbr>no</em></a>> </p> </div> </div>   <div id="article-banner" class="scroll-block"> <div id="article-banner-content"> <a href="../../fundraising/"> Open access to the SEP is made possible by a world-wide funding initiative.<br /> The Encyclopedia Now Needs Your Support<br /> Please Read How You Can Help Keep the Encyclopedia Free</a> </div> </div>  </div>  <div id="footer"> <div id="footer-menu"> <div class="menu-block"> <h4><i class="icon-book"></i> Browse</h4> <ul role="menu"> <li role="menuitem"><a href="../../contents.html">Table of Contents</a></li> <li role="menuitem"><a href="../../new.html">What's New</a></li> <li role="menuitem"><a href="https://plato.stanford.edu/cgi-bin/encyclopedia/random">Random Entry</a></li> <li role="menuitem"><a href="../../published.html">Chronological</a></li> <li role="menuitem"><a href="../../archives/">Archives</a></li> </ul> </div> <div class="menu-block"> <h4><i class="icon-info-sign"></i> About</h4> <ul role="menu"> <li role="menuitem"><a href="../../info.html">Editorial Information</a></li> <li role="menuitem"><a href="../../about.html">About the SEP</a></li> <li role="menuitem"><a href="../../board.html">Editorial Board</a></li> <li role="menuitem"><a href="../../cite.html">How to Cite the SEP</a></li> <li role="menuitem"><a href="../../special-characters.html">Special Characters</a></li> <li role="menuitem"><a href="../../tools/">Advanced Tools</a></li> <li role="menuitem"><a href="../../accessibility.html">Accessibility</a></li> <li role="menuitem"><a href="../../contact.html">Contact</a></li> </ul> </div> <div class="menu-block"> <h4><i class="icon-leaf"></i> Support SEP</h4> <ul role="menu"> <li role="menuitem"><a href="../../support/">Support the SEP</a></li> <li role="menuitem"><a href="../../support/friends.html">PDFs for SEP Friends</a></li> <li role="menuitem"><a href="../../support/donate.html">Make a Donation</a></li> <li role="menuitem"><a href="../../support/sepia.html">SEPIA for Libraries</a></li> </ul> </div> </div>  <div id="mirrors"> <div id="mirror-info"> <h4><i class="icon-globe"></i> Mirror Sites</h4> <p>View this site from another server:</p> </div> <div class="btn-group open"> <a class="btn dropdown-toggle" data-toggle="dropdown" href="https://plato.stanford.edu/"> <span class="flag flag-usa"></span> USA (Main Site) <span class="caret"></span> <span class="mirror-source">Philosophy, Stanford University</span> </a> <ul class="dropdown-menu"> <li><a href="../../mirrors.html">Info about mirror sites</a></li> </ul> </div> </div>  <div id="site-credits"> <p>The Stanford Encyclopedia of Philosophy is <a href="../../info.html#c">copyright © 2023</a> by <a href="https://mally.stanford.edu/">The Metaphysics Research Lab</a>, Department of Philosophy, Stanford University</p> <p>Library of Congress Catalog Data: ISSN 1095-5054</p> </div>  </div>  </div>   <script> $('.dropdown-toggle').dropdown(); </script> </body> </html>