Recently, some philosophers have argued that we should take quantification of any (finite) order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo’s objection rests on the assumption (...) of a notion of semantic value or contribution which both applies to expressions of any order, and picks out, for each expression, an extra-linguistic correlate of that expression. I go on to argue that higher-orderists can plausibly reject this assumption, by means of a hierarchy of notions they can use to describe the extra-lingustic correlates of expressions of different orders. (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.

Despite heroic efforts, philosophers have found it increasingly difficult to evade discussion of metaphysical topics. Take the philosophy of mind. Take, in particular, the mind-body problem in its latest guise: the problem of causal relevance. If mental properties are not reducible to physical properties, how can we reconcile the role such properties seem to have in producing bodily motions that constitute actions with the apparent fact that the very same motions are entirely explicable on the basis of purely physical properties (...) of purely physical events in the nervous system? Familiar approaches to the problem include appeals to “supervenient causation,” to “higher-level” laws governing putatively higher-level entities and events, and to “realizing” relations that make room in objects for overlapping properties. (shrink)

To the best of my knowledge, no one in recent decades has written a book of this magnitude about the semantics of natural language. Certainly, nothing available today matches this volume in depth, precision, and coherence. The authors present classical and recent results of linguistic semantics within the framework of interpretative T-theories and defend the philosophical foundations of their approach by showing how it fits into the larger enterprise of cognitive linguistics. The book also includes an array of excellent exercises (...) and a good list of references. (shrink)

This book uses mathematical models of language to explain why there are certain gaps in language: things that we might expect to be able to say but can't. For instance, why can we say I ran for five minutes but not *I ran to the store for five minutes? Why is five pounds of books acceptable, but *five pounds of book not acceptable? What prevents us from saying *sixty degrees of water to express the temperature of the water in a (...) swimming pool when sixty inches of water can express its depth? And why can we not say *all the ants in my kitchen are numerous? The constraints on these constructions involve concepts that are generally studied separately: aspect, plural and mass reference, measurement, and distributivity. In this book, Lucas Champollion provides a unified perspective on these domains, connects them formally within the framework of algebraic semantics and mereology, and uses this connection to transfer insights across unrelated bodies of literature and formulate a single constraint that explains each of the judgments above. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next twenty (...) or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Various syntacticians have argued that coordinate structures involve a three-dimensional syntactic structure. This paper proposes an interpretation of three-dimensional syntactic structures in terms of plural reference and argues that such structures give further support for plural reference, the view that plural terms refer to several entities at once, rather than referring to a single plural individual.

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

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)

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

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 formation of extended noun phrases, expressions are used that describe some dimension. Weight is described by each of the prenominal expressions in heavy rock, too much ballast, 2 lb rock, 2 lbs of rocks. The central claim of this paper is that the position of these types of expressions within the noun phrase limits the kinds of dimensions they may describe. The limitations have to do with whether or not the dimension tracks relevant part-whole relations. An analogy is (...) made between these constraints and the well-known constraints on thematic relations that are incurred by the position of a noun phrase in a clause. A proposal is made about the meanings of expressions like too much and 2 pounds which explains their common cross-categorial distribution and this informs the analysis of their use in noun phrases. A position is taken on the meaning of the count mass distinction which, in conjunction with the hypothesis about dimensions, explains asymmetries in the distribution of prenominal adjectives with count and mass nouns. (shrink)

Of all the cases made against classical logic, Michael Dummett's is the most deeply considered. Issuing from a systematic and original conception of the discipline, it constitutes one of the most distinctive achievements of twentieth century British philosophy. Although Dummett builds on the work of Brouwer and Heyting, he provides the case against classical logic with a new, explicit and general foundation in the philosophy of language. Dummett's central arguments, widely celebrated if not widely endorsed, concern the implications of the (...) relation between meaning and use for both the inference rules that govern logical connectives and the relation between truth and its recognition. It is less often noted that Dummett has a further argument against classical logic, one based on the semantic and set-theoretic paradoxes. That is the topic of this paper. (shrink)

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...) coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

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)

Call a quantifier unrestricted if it ranges over absolutely all things: not just over all physical things or all things relevant to some particular utterance or discourse but over absolutely everything there is. Prima facie, unrestricted quantification seems to be perfectly coherent. For such quantification appears to be involved in a variety of claims that all normal human beings are capable of understanding. For instance, some basic logical and mathematical truths appear to involve unrestricted quantification, such as the truth that (...) absolutely everything is self-identical and the truth that the empty set has absolutely no members. Various metaphysical views too appear to involve unrestricted quantification, such as the physicalist view that absolutely everything is physical. (shrink)

The distinction between telic and atelic predicates has been described in terms of the algebraic properties of their meaning since the early days of model-theoretic semantics. This perspective was inspired by Aristotle’s discussion of types of actions that do or do not take time to be completed1 which was taken up and turned into a linguistic discussion of action-denoting predicates by Vendler (1957). The algebraic notion that seemed to be most conducive to express the Aristotelian distinction appeared to be the (...) mereological notion of a part, applied to the time at which these predicates hold: atelic predicates, like push a cart, have the subinterval property, that is, whenever they are true at a time interval, then they are true at any part of that interval; this does not hold for telic predicates, like eat an apple, cf. Bennett & Partee (1972), Taylor (1977), and Dowty (1979)2. Bach (1986) integrated these insights into a semantics based on events. (shrink)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

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.

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent (...) discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories. (shrink)

This book reimagines the compositional semantics of comparative sentences using words such as more, as, too, and others. The book's central thesis entails a rejection of a fundamental assumption of degree semantic frameworks: that gradable adjectives like tall lexicalize functions from individuals to degrees, i.e., measure functions. I argue that comparative expressions in English themselves introduce “measure functions”; this is the case whether that morphology targets adjectives, as in *taller* or *more intelligent*; nouns, as in *more coffee*, *more coffees*; verbs, (...) such as *run more*, *jump more*; or expressions of other categories. Furthermore, she suggests that expressions that comfortably and meaningfully appear in the comparative form should be distinguished from those that do not in terms of a general notion of "measurability": a measurable predicate has a domain of application with non-trivial structure. This notion unifies the independently motivated distinctions between, for example, gradable and non-gradable adjectives, mass and count nouns, singular and plural noun phrases, and telic and atelic verb phrases. Based on careful examination of the distribution of dimensions for comparison within the class of measurable predicates, I tie the selection of measure functions to the specific nature and structure of the domain entities targeted for measurement. The book ultimately explores how, precisely, we should understand semantic theories that invoke the "nature" of domain entities: does the theory depend for its explanation on features of metaphysical reality, or something else? Such questions are especially pertinent in light of a growing body of research in cognitive science exploring the understanding and acquisition of comparative sentences. (shrink)

Comparative judgments for mass and count nouns yield two generalizations. First, all words that can be used in both mass and count syntax always denote individuals when used in count syntax but never when used in mass syntax. Second, some mass nouns denote individuals while others do not. In this article, we show that no current theory of mass–count semantics can capture these two facts and argue for an alternative theory that can. We propose that lexical roots are not specified (...) as mass or count. Rather, a root becomes a mass noun or count noun by combining with a functional head. Some roots have denotations with individuals while others do not. The count head is interpreted as a function that maps denotations without individuals to those with individuals. The mass head is interpreted as an identity function making the interpretation of a mass noun equivalent to the interpretation of the root. As a result, all count nouns have individuals in their denotation, whereas mass counterparts of count nouns do not. Also, some roots that have individuals in their denotations can be used as mass nouns to denote individuals. (shrink)

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the (...) philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (shrink)

In this Critical Notice on Oliver and Smiley's Plural Logic, I defend the dominant paradigm in the semantics of plurals among linguists against several objections Oliver and Smiley raise, focusing especially on the proper treatment of plural definite descriptions, the threat posed by Russell's paradox, and the notion of objecthood.

Anyone who admits the existence of composite objects allows a certain kind of coincidence, coincidence of a thing with its parts. I argue here that a similar sort of coincidence, coincidence of a thing with the stuff that constitutes it, should be equally acceptable. Acknowledgement of this is enough to solve the traditional problem of the coincidence of a statue and the clay or bronze it is made of. In support of this, I offer some principles for the persistence of (...) stuff that are general, not relying on the particular features of a kind of stuff in the way that principles for the persistence for a thing would. This provides a non-arbitrary grounding for stuff that is independent of the conditions on the nature and persistence of things the stuff composes. The principles also provide a general basis for responding to other questions about coincident stuff. (shrink)

Precursors. 2.1 Introduction Thus far I have presented an approach to the semantics of plurals in the form of two rather similar grammars for a fragment of English. And I have given a few examples of the kinds of things one can say within this ...

The mass/count distinction attracts a lot of attention among cognitive scientists, possibly because it involves in fundamental ways the relation between language (i.e. grammar), thought (i.e. extralinguistic conceptual systems) and reality (i.e. the physical world). In the present paper, I explore the view that the mass/count distinction is a matter of vagueness. While every noun/concept may in a sense be vague, mass nouns/concepts are vague in a way that systematically impairs their use in counting. This idea has never been systematically (...) pursued, to the best of my knowledge. I make it precise relying on supervaluations (more specifically, ‘data semantics’) to model it. I identify a number of universals pertaining to how the mass/count contrast is encoded in the languages of the world, along with some of the major dimensions along which languages may vary on this score. I argue that the vagueness based model developed here provides a useful perspective on both. The outcome (besides shedding light on semantic variation) seems to suggest that vagueness is not just an interface phenomenon that arises in the interaction of Universal Grammar (UG) with the Conceptual/Intentional System (to adopt Chomsky’s terminology), but it is actually part of the architecture of UG. (shrink)

INTRODUCTION Linguists who work within the tradition of transformational generative grammar tend to regard semantics as an intractable, perhaps ultimately ...

This extended investigation of the semantics of event (and state) sentences in their various forms is a major contribution to the semantics of natural language, simultaneously encompassing important issues in linguistics, philosophy, and logic. It develops the view that the logical forms of simple English sentences typically contain quantification over events or states and shows how this view can account for a wide variety of semantic phenomena. Focusing on the structure of meaning in English sentences at a &"subatomic&" level&-that is, (...) a level below the one most theories accept as basic or &"atomic&"&-Parsons asserts that the semantics of simple English sentences require logical forms somewhat more complex than is normally assumed in natural language semantics. His articulation of underlying event theory explains a wide variety of apparently diverse semantic characteristics of natural language, and his development of the theory shows the importance of seeing the distinction between events and states. Parsons demonstrates that verbs, also, indicate kinds of actions rather than specific, individual actions. Verb phrases, too, he argues, depend on modifiers to make their function and meaning in a sentence specific. An appendix gives many of the details needed to formalize the theory discussed in the body of the text and provides a series of templates that permit the generation of atomic formulas of English. (shrink)

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...) linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book. (shrink)

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)