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)

I would like to discuss the claim that the resources of plural reference and plural quantification are sufficient for the purpose of paraphrasing all ordinary statements apparently concerned with composite material objects into plural statements concerned exclusively with simples.

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.

1. ExpositionRichard Sharvy's ‘A more general theory of definite descriptions’ was published in 1980. Its aim was to replace Russell's paradigm by " a general theory of definite descriptions, of which definite mass descriptions, definite plural descriptions, and Russellian definite singular count descriptions are species. … We have an account of the generic ‘the’ along these same lines. " By now his theory has attained the status of a new paradigm. Even a casual trawl of the literature throws up over (...) a score of citations and endorsements, and no rebuttals of its central contention that the primary use of ‘the’ is to indicate totality . We shall argue that it is wrong for mass description, wrong for singular description, wrong for plural description and wrong for generic ‘the’. Sharvy would have approved: his obituary says that his car displayed the slogan ‘Subvert the Dominant Paradigm’.He follows Russell in treating descriptions as incomplete symbols, but nothing in his paper turns on this aspect of it, and we can bypass the issue by considering them in the context of complete sentences. Where Russell translates F into the predicate calculus as Formula Sharvy translates it as Formula Here ≤ is supposed to stand for some or other species of part of relation. His other governing idea is of a predicate's being cumulative. G is cumulative if any number of things that satisfy G have a sum, i.e. a least upper bound with respect to ≤ which also satisfies G. The meanings of ≤, sum and cumulativity vary according to the different kinds of description, which we take in the order in which Sharvy presents them. Meanwhile, we note that he originally defined ‘sum’ to mean simply the l.u.b. , but subsequently redefined …. (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)

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)

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)

where ‘aa’ is a plural term, and ‘F’ a plural predicate. Following George Boolos (1984) and others, many philosophers and logicians also think that plural expressions should be analysed as not introducing any new ontological commitments to some sort of ‘plural entities’, but rather as involving a new form of reference to objects to which we are already committed (for an overview and further details, see Linnebo 2004). For instance, the plural term ‘aa’ refers to Alice, Bob and Charlie simultaneously, (...) and the plural predicate ‘F’ is true of some things just in case these things cooperate. A natural question that arises is whether the step from the singular to the plural can be iterated. Are there terms that stand to ordinary plural terms the way ordinary plural terms stand to singular terms? Let’s call such terms superplural. A superplural term would thus, loosely speaking, refer to several ‘pluralities’ at once, much as an ordinary plural term refers to several objects at once.1 Further, let’s call a predicate superplural if it can be predicated of superplural terms. It is reasonably straightforward to devise a formal logic of superplural terms, superplural predicates, and even superplural quantifiers (see Rayo 2006). But does this formal logic reflect any features of natural languages? In particular, does ordinary English contain superplural terms and predicates? The purpose of this article is to address these questions. We examine some earlier arguments for the existence of superplural expressions in English and find them to be either.. (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.

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)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

NOWADAYS, even schoolchildren babble about "null sets" and "singletons" and "one-one correspondences," as if they knew what they were talking about. But if they understand even less than their teachers, which seems likely, they must be using the technical jargon with only an illusion of understanding. Beginners are taught that a set having three members is a single thing, wholly constituted by its members but distinct from them. After this, the theological doctrine of the Trinity as "three in one" should (...) be child's play. (shrink)