Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

Alex Oliver and Timothy Smiley provide a new account of plural logic. They argue that there is such a thing as genuinely plural denotation in logic, and expound a framework of ideas that includes the distinction between distributive and collective predicates, the theory of plural descriptions, multivalued functions, and lists.

Thought, Reference, and Experience is a collection of important new essays on topics at the intersection of philosophy of language, philosophy of mind, and philosophical logic. The starting-point for the papers is the brilliant work of the British philosopher Gareth Evans before his untimely death in 1980 at the age of 34. Evans's work on reference and singular thought transformed the Fregean approach to the philosophy of thought and language, showing how seemingly technical issues in philosophical semantics are inextricably linked (...) to fundamental questions about the structure of our thinking about ourselves and about the world. The papers, all newly written for this volume, explore different aspects of Evans's philosophical legacy, showing its importance to central areas in contemporary analytic philosophy. The volume includes a substantial introduction that introduces the principal themes in Evans's thought and places the papers in context. (shrink)

English has plural terms as well as singular terms. But our standard formal languages, e.g., the predicate calculus, feature only singular terms. How can the plural idiom be formalized?‘Changing the subject’ is by far the most common plurals strategy among both philosophers and linguists: a plural term is replaced by a singular term standing for some complex object that ‘contains’ the individuals to which the plural term alludes. For example, one might simply replace ‘A, B imply C’ with ‘{A, B} (...) implies [singular] C’. We uncover a surprising variety of ways to change the subject, of ever‐increasing complexity and ingenuity. Our question is whether any can made to work. (shrink)

In the semantic debate about plurals, pluralism is the view that a plural term denotes some things in the domain of quantification and a plural predicate denotes a plural property, i.e. a property that can be instantiated by many things jointly. According to a particular version of this view, untyped pluralism, there is no type distinction between objects and properties. In this article, I argue against untyped pluralism by showing that it is subject to a variant of a Russell-style argument (...) put forth by Timothy Williamson and that it clashes with a plural version of Cantor’s theorem. I conclude that pluralists should postulate a type distinction between objects and properties. (shrink)

Tn this paper I explore and to an extent defend HS. The main philosophical challenges to HS come from philosophical views that say that nomic concepts-laws, chance, and causation-denote features of the world that fail to supervene on non-nomic features. Lewis rejects these views and has labored mightily to construct HS accounts of nomic concepts. His account of laws is fundamental to his program, since his accounts of the other nomic notions rely on it. Recently, a number of philosophers have (...) criticized Lewis's account, and Humean accounts of laws generally, for delivering, at best, a pale imitation ofthe genuine item. These philosophers think that the notion of law needed by science requires laws-if there are any-to be fundamental features of our world that are completely distinct from and not supervenient on the particular facts that they explain. I side with Lewis against these philosophers. Here I will argue that although Lewis-laws don't fulfill all our philosophical expectations, they do play the roles that science needs laws to play. The metaphysics and epistemology of Humean laws, and more specifically, Lewis-laws, are in much better shape than the metaphysics and epistemology of the main anti-Humean alternatives. However, I do have inisgivings about Lewis's account. Both he and his critics assume that the basic properties are so individuated so that the laws are not metaphysically necessary. If this assumption is rejected, then the question of Humean supervenience lapses. I conclude with a brief discussion of this position. (shrink)

In the mathematical documents which have come down to us from these peoples, there are no theorems or demonstrations, and the fundamental concepts of ...

Gareth Evans was arguably the finest philosopher of his generation; he died tragically young, but the work he completed has had a seismic impact on the philosophies of language and mind. In this volume an outstanding international team of contributors offer illuminating perspectives on Evans's groundbreaking work, paying tribute to his achievements and leading his ideas in new directions. Contributors Josi Luis Bermzdez, John Campbell, Quassim Cassam, E. J. Lowe, John McDowell, Christopher Peacocke, Ian Rumfitt, Ken Safir, Mark Sainsbury.

In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...

I have two main objectives. The first is to get a better understanding of what is at issue between friends and foes of higher-order quantification, and of what it would mean to extend a Boolos-style treatment of second-order quantification to third- and higherorder quantification. The second objective is to argue that in the presence of absolutely general quantification, proper semantic theorizing is essentially unstable: it is impossible to provide a suitably general semantics for a given language in a language of (...) the same logical type. I claim that this leads to a trilemma: one must choose between giving up absolutely general quantification, settling for the view that adequate semantic theorizing about certain languages is essentially beyond our reach, and countenancing an open-ended hierarchy of languages of ever ascending logical type. I conclude by suggesting that the hierarchy may be the least unattractive of the options on the table. (shrink)

There are four broad grounds upon which the intelligibility of quantification over absolutely everything has been questioned—one based upon the existence of semantic indeterminacy, another on the relativity of ontology to a conceptual scheme, a third upon the necessity of sortal restriction, and the last upon the possibility of indefinite extendibility. The argument from semantic indeterminacy derives from general philosophical considerations concerning our understanding of language. For the Skolem–Lowenheim Theorem appears to show that an understanding of quanti- fication over absolutely (...) everything (assuming a suitably infinite domain) is semantically indistinguishable from the understanding of quantification over something less than absolutely everything; the same first-order sentences are true and even the same first-order conditions will be satisfied by objects from the narrower domain. From this it is then argued that the two kinds of understanding are indistinguishable tout court and that nothing could count as having the one kind of understanding as opposed to the other. (shrink)

On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...) context C if and only if everything that is relevant in C satisfies the predicate ‘F’; ‘everything’ ranges just over the contextually relevant things. Such generality is restricted in a context-relative way. (shrink)

The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

In this sequel to "The logic and meaning of plurals. Part I", I continue to present an account of logic and language that acknowledges limitations of singular constructions of natural languages and recognizes plural constructions as their peers. To this end, I present a non-reductive account of plural constructions that results from the conception of plurals as devices for talking about the many. In this paper, I give an informal semantics of plurals, formulate a formal characterization of truth for the (...) regimented languages that results from augmenting elementary languages with refinements of basic plural constructions of natural languages, and account for the logic of plural constructions by characterizing the logic of those regimented languages. (shrink)

The history of the idea of predicate is the history of its emancipation. The lesson of this paper is that there are two more steps to take. The first is to recognize that predicates need not have a fixed degree, the second that they can combine with plural terms. We begin by articulating the notion of a multigrade predicate: one that takes variably many arguments. We counter objections to the very idea posed by Peirce, Dummett's Frege, and Strawson. We show (...) that the arguments of a multigrade predicate must be grouped into places, with perhaps several arguments occupying positions at a place. Variability may relate to places or positions. Russell's multiple judgement predicate turns out to be just one example of a family-'is necessarily true of', 'is said of', 'is instantiated by' and so on-of predicates with variably many places. Our main concern, however, is lists. Any adequate account of lists must include plural as well as singular terms. On one account, lists are mere strings of separate arguments, which occupy variably many positions within a place of a multigrade predicate. A quite different account takes the list itself to be a compound plural term. We compare these rival conceptions, and reach some surprising conclusions. As a coda, we deploy the conceptual apparatus developed in the paper to assess Morton's pioneer system of multigrade logic. (shrink)

Russell had two theories of definite descriptions: one for singular descriptions, another for plural descriptions. We chart its development, in which ‘On Denoting’ plays a part but not the part one might expect, before explaining why it eventually fails. We go on to consider many-valued functions, since they too bring in plural terms—terms such as ‘4’ or the descriptive ‘the inhabitants of London’ which, like plain plural descriptions, stand for more than one thing. Logicians need to take plural reference seriously (...) if only because mathematicians take many-valued functions seriously. We assess the objection (by Russell, Frege and others) that many-valued functions are illegitimate because the corresponding terms are ambiguous. We also assess the various methods proposed for getting rid of them. Finding the objection ill-founded and the methods ineffective, we introduce a logical framework that admits plural reference, and use it to answer some earlier questions and to raise some more. (shrink)

Abstract: Friends of plural logic—like Oliver & Smiley (2001), Rayo (2002), Yi (2005), and McKay (2006)—have argued that a semantics of plurals based on mereological sums would be too weak, and they have adduced several examples in favor of their claim. However, they have not considered various possible counter-arguments. So how convincing are their own arguments? We show that several of them are easily answered, while some others are more problematic. Overall, the case against mereological singularism—the idea that mereological sums (...) can serve as the semantic values of plurals—turns out to be much less strong than what it is usually presented to be. (shrink)

Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.

Barry Schein proposes combining a second-order treatment of plurals with DonaldDavidson's suggestion that there are positions for reference to events in ordinary predicates inorder to account for several of the more puzzling features of ...

Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. However, the apparatus of modern logic does not allow a place for them. Thomas McKay here explores the enrichment of logic with non-distributive plural predication and quantification. His book will be (...) of great interest to philosophers of language, linguists, metaphysicians, and logicians. (shrink)

Most of the time our quantifications generalise over a restricted domain. Thus in the last sentence, ‘most of the time’ is arguably not a generalisation over all times in the history of the universe but is restricted to a sub-group of times, those at which humans exist and utter quantified phrases and sentences, say. Indeed the example illustrates the point that quantificational phrases often carry an explicit restriction with them: ‘some people’, ‘all dogs’. Even then, context usually restricts to a (...) subdomain of the class specified by the count noun. Although teenagers like to have fun by being, they mistakenly think, overly literal— ‘Everyone is tired, let’s get to bed’: ‘everyone: you mean every person in the entire universe?’— competent language users have to be sensitive to context virtually all the time. But is it always the case that generalisation is over a restricted domain? On the face of it, to claim this is paradoxical. If we say. (shrink)

Extension of the logical language to deliver plural reference and the logical relations that constitute knowledge of the singular and plural acquires empirical bite just in case it conforms with increasing precision to the syntax of the natural language and affords explanation of what speakers know about the distribution and meaning of plural expressions in their language. As for the syntax of natural language, this discussion, being none too precise, is guided throughout by just two considerations and their immediate consequences, (...) which is discussed at greater length in this article. The first, morpheme univocality, is that a morpheme despite its various syntactic and morphological contexts has a single meaning that supports all its occurrences. (shrink)

This paper criticizes George Boolos's famous use of plural quantification to argue that monadic second-order logic is pure logic. I deny that plural quantification qualifies as pure logic and express serious misgivings about its alleged ontological innocence. My argument is based on an examination of what is involved in our understanding of the impredicative plural comprehension schema.

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)

Quantification is haunted by the specter of paradoxes. Since Russell, it has been a persistent idea that the paradoxes show what might have appeared to be absolutely unrestricted quantification to be somehow restricted. In the contemporary literature, this theme is taken up by Dummett (1973, 1993) and Parsons (1974a,b). Parsons, in particular, argues that both the Liar and Russell’s paradoxes are to be resolved by construing apparently absolutely unrestricted quantifiers as appropriately restricted.

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

First Published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

The problem of absolute generality has attracted much attention in recent philosophy. Agustin Rayo and Gabriel Uzquiano have assembled a distinguished team of contributors to write new essays on the topic. They investigate the question of whether it is possible to attain absolute generality in thought and language and the ramifications of this question in the philosophy of logic and mathematics.