This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A unique feature (...) of the book is that it systematically brings cross-linguistic data to bear on the theoretical issues, discussing French, German, Dutch, Hungarian, Russian, Japanese, Telugu (Dravidian), and Shupamem (Grassfield Bantu), and pointing to formal semantic literature involving quantification in around thirty languages. -- -/- 1. What this book is about and how to use it; 2. Generalized quantifiers and their elements: operators and their scopes; 3. Generalized quantifiers in non-nominal domains; 4. Some empirically significant properties of quantifiers and determiners; 5. Potential challenges for generalized quantifiers; 6. Scope is not uniform and not a primitive; 7. Existential scope versus distributive scope; 8. Distributivity and scope; 9. Bare numeral indefinites; 10. Modified numerals; 11. Clause-internal scopal diversity; 12. Towards a compositional semantics of quantifier words. (shrink)

The paper proposes a novel solution to the problem of scope posed by natural language indefinites that captures both the difference in scopal freedom between indefinites and bona fide quantifiers and the syntactic sensitivity that the scope of indefinites does nevertheless exhibit. Following the main insight of choice functional approaches, we connect the special scopal properties of indefinites to the fact that their semantics can be stated in terms of choosing a suitable witness. This is in contrast to bona fide (...) quantifiers, the semantics of which crucially involves relations between sets of entities. We provide empirical arguments that this insight should not be captured by adding choice/Skolem functions to classical first-order logic, but in a semantics that follows Independence-Friendly Logic, in which scopal relations involving existentials are part of the recursive definition of truth and satisfaction. These scopal relations are resolved automatically as part of the interpretation of existentials. Additional support for this approach is provided by dependent indefinites, a cross-linguistically common class of special indefinites that can be straightforwardly analyzed in our semantic framework. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

This paper claims that indefinite descriptions, singular and plural, have different scope properties than genuine quantifiers. This claim is based on their distinct behavior in island constructions: while indefinites in islands can have intermediate (and maximal) scope readings, quantifiers cannot. Further, the simplest in situ interpretation strategy for indefinites results in incorrect truth conditions for intermediate (and maximal) scope readings. I introduce a mechanism which “auto-matically” preserves the restriction on free variables corresponding to indefinites, in a way which allows the (...) restriction to be carried up in the course of semantic interpretation and to be used at the level where the variable is quantified. This mechanism is a realization of the “indefinites-as-free-variables” proposal of Lewis, Kamp, and Heim, but emphasizes the role of the restriction. I then show that distributive readings of plural indefinites also display island-escaping behavior and argue for an independent, island-insensitive distribution mechanism. (shrink)

Russell and Strawson sparked a well known debate on the subject of Linguistic Presupposition inspiring many linguists and philosophers to follow suit, including Frege, whose work initiated the modern study in this area. Beaver begins with the most comprehensive overview and critical discussion of this burgeoning field published to date. He then goes on to motivate and develop his own account based on a Dynamic Semantics. This account is a recent line of theoretical work in which the Tarskian emphasis on (...) truth conditions is questioned. The central plank of the theory of meaning is a formal account of the change in information effected by use of language on hearers or readers. The proposal thus consolidates ideas of Stalnaker, Karttunen and Heim, all of whom had suggested that such an account was needed. At the same time it provides a new impulse and motivation to Dynamic Semantics itself. (shrink)

In his paper “What is a Context of Utterance?”, Christopher Gauker argues that the phenomenon of informative presuppositions is incompatible with the “pragmatic” view of presuppositions as involving requirements on the common ground, the body of shared assumptions of the participants in a conversation. This is a surprising claim since most proponents of this view have in fact dealt with informative presuppositions by appealing to a process called presupposition accommodation. Gauker’s attack shows the need to clarify the nature of this (...) process. (shrink)

We shall introduce in this paper a language whose formulas will be interpreted by games of imperfect information. Such games will be defined in the same way as the games for first-order formulas except that the players do not have complete information of the earlier course of the game. Some simple logical properties of these games will be stated together with the relation of such games of imperfect information to higher-order logic. Finally, a set of applications will be outlined.

According to the alternative semantics for focus, the semantic reflec of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applications of the theory, and extract a unitary principle specifying how the focus semantic value interacts with semantic and pragmatic processes. A strong version of the theory has the effect of making lexical or construction-specific stipulation of a focus-related effect in association-with-focus constructions (...) impossible. Furthermore, while focus has a uniform import, the sources of meaning differences in association with focus are various. (shrink)

This paper argues, on the basis of data from St'át'imcets (Lillooet Salish), for a theory of wide-scope indefinites which is similar, though not identical, to that proposed by Kratzer (1998). I show that a subset of S'át'imcets indefinites takes obligatory wide scope with respect to if-clauses, negation, and modals, and is unable to be distributed over by quantificational phrases. These wide-scope effects cannot be accounted for by movement, but require an analysis involving choice functions (Reinhart 1995, 1997). However, Reinhart's particular (...) choice function analysis is unable to account for the St'át'imcets data. A Kratzer-style theory, on the other hand, accounts not only for the wide-scope effects, but also for the emergence of narrower-than-widest interpretations for indefinites which contain bound variables. I depart from Kratzer's analysis in claiming that St'át'imcets choice function indefinites are not 'specific'; the discourse context does not provide a value for the function variable. Therefore, I utilize wide- scope existential closure over choice functions rather than leaving the variables free. However, my analysis provides support for Kratzer's claim that English indefinites are ambiguous between a choice function interpretation and a quantificational interpretation, since St'át'imcets determiners overtly encode the English ambiguity. I conclude by suggesting that the proposed analysis of wide-scope indefinites may be universally valid. (shrink)

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...

This paper reports on an experimental investigation of the scope of English a indefinites and a certain indefinites. Three experiments test whether native English speakers allow indefinites to scope out of syntactic islands, and to take intermediate as well as widest scope. The experimental findings indicate that a indefinites and a certain indefinites have different ranges of interpretations available to them. Experiment 1 shows that a certain indefinites, unlike a indefinites, cannot be interpreted in the scope of an intensional operator, (...) and further shows that functional readings are available to a certain indefinites but not to a indefinites. Experiment 2 focuses on the availability of long-distance readings of indefinites out of scope islands, and shows that the most accessible reading for a certain indefinites is the widest-scope reading, while the most accessible reading for a indefinites is the narrow-scope reading. Experiment 3 shows that modification of an a indefinite by a relative clause does not facilitate long-distance readings, as long as it does not restrict the domain to a singleton set. Overall, these findings are consistent with the proposal of Schwarz (Proceedings of the Thirteenth Amsterdam Colloquium, ILCC, University of Amsterdam, 192–197, 2001) that a certain indefinites and a indefinites are derived by different semantic mechanisms. The behavior of a certain indefinites is shown to be consistent with the contextually determined choice function approach Kratzer (Events in grammar, Kluwer, Dordrecht, 165–196, 1998) and the singleton indefinite approach Schwarzschild (J Semant 19:289–314, 2002). In contrast, a indefinites are most compatible with a purely quantificational approach, contra much recent theoretical literature. These findings highlight the value of conducting experimental studies testing the predictions of semantic theories. (shrink)

We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the 'information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the same (...) interpretation in all structures if and only if replacing an occurrence of one by an occurrence of the other in a sentence never alters the truth-value of the sentence in any structure. (shrink)

Indefinites face competition at two levels: Presupposition and content. The antipresupposition hypothesis predicts that they signal the opposite of familiarity, or uniqueness, namely, novelty, or non-uniqueness. At the level of descriptive content, they are pressured from two sides: definites expressing identity and another phrases expressing difference, and Gricean reasoning predicts that indefinites signal both difference and identity and are infelicitous when definites and another phrases are felicitous. However, occasionally a space opens between the and another, for a to fill. This (...) is in part due to conditions handicapping the or another semantically, in part to another’s phonological handicap. The division of labor between determiners in the field of difference and sameness is thus the result of an intricate competition. We model this competition in a version of game-theoretic pragmatics. (shrink)

The formal semantics that we have proposed for definite and indefinite descriptions analyzes them both as variable-binding operators and as referring terms. It is the referential analysis which makes it possible to account for the facts outlined in Section 2, e.g. for the purely ‘instrumental’ role of the descriptive content; for the appearance of unusually wide scope readings relative to other quantifiers, higher predicates, and island boundaries; for the fact that the island-escaping readings are always equivalent to maximally wide scope (...) quantifiers; and for the appearance of violations of the identity conditions on variables in deleted constituents. We would emphasize that this is not a random collection of observations. They cohere naturally with each other, and with facts about other phrases that are unambigously referential.We conceded at the outset of this paper that the referential use of an indefinite noun phrase does not, by itself, motivate the postulation of a referential interpretation. Our argument has been that the behavior of indefinites in complex sentences cannot be economically described, and certainly cannot be explained, unless a referential interpretation is assumed. It could be accounted for in pragmatic terms only if the whole theory of scope relations and of conditions on deletion could be eliminated from the semantics and incorporated into a purely pragmatic theory. But this seems unlikely. (shrink)

I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...

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

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

Projective contents, which include presuppositional inferences and Potts's conventional implicatures, are contents that may project when a construction is embedded, as standardly identified by the FAMILY-OF-SENTENCES diagnostic. This article establishes distinctions among projective contents on the basis of a series of diagnostics, including a variant of the family-of-sentences diagnostic, that can be applied with linguistically untrained consultants in the field and the laboratory. These diagnostics are intended to serve as part of a toolkit for exploring projective contents across languages, thus (...) allowing generalizations to be examined and validated crosslinguistically. We apply the diagnostics in two languages, focusing on Paraguayan Guaraní, and comparing the results to those for English. Our study of Paraguayan Guaraní is the first systematic exploration of projective content in a language other than English. Based on the application of our diagnostics to a wide range of constructions, four subclasses of projective contents emerge. The resulting taxonomy of projective content has strong implications for contemporary theories of projection, which were developed for the projective properties of particular subclasses and fail to generalize to the full set of projective contents. (shrink)

The empirical phenomenon at the center of this paper is projection, which we define (uncontroversially) as follows: (1) Definition of projection An implication projects if and only if it survives as an utterance implication when the expression that triggers the implication occurs under the syntactic scope of an entailment-cancelling operator. Projection is observed, for example, with utterances containing aspectual verbs like stop, as shown in (2) and (3) with examples from English and Paraguayan Guaraní (Paraguay, Tupí-Guaraní).1 The Guaraní example in (...) (2) and its English translation have at least the following implications: (i) Carla has previously smoked, and (ii) Carla stopped smoking. The first but not the second of these implications is also conveyed by the question version of sentence (2), as in (3a), or when (2) is embedded under entailment-cancelling sentential operators, such as negation, as in (3b), the antecedent of a conditional, as in (3c), or an epistemic modal, as in (3d). Hence, by the definition in (14), the first but not the second implication of (2) projects. (shrink)

The paper investigates the scope properties of indefinites.

1 The notion of specicity has played a signicant role in linguistic theory both in the elds of semantics and, increasingly, in work on syntax/semantics interface., Abbott, Kripke, Fodor and Sag, Higginbotham and Enc among many others; see also Pesetsky, Szabolcsi and Zwarts, Diesing, Dobrovie- Sorin, E. Kiss, Mahajan, and Chung for work where specicity is discussed in connection with syntactic matters.) Specicity is interesting for the student of semantics because it is crucially relevant to establishing varieties of reference. For (...) the syntactician, the notion of specicity comes up when attempting to account for the use of various case markers on DOs in languages as diverse as Romanian, Turkish, and Hindi, or when attempting to account for the full spectrum of judgments concerning weak island violations and the interpretation of multiple wh-questions. The rst point I will argue for is that there are several distinct notions of specicity that should be kept apart. More specically, I will argue that there are at least three. The discussion inevitably leads to Fodor and Sag's ambiguity claim, which in turn leads to the issue of the possible scopes of indenite noun phrases versus the possible scope of quanticational noun phrases. Section 3 will establish the relevant empirical generalizations concerning simple indenites and distributives, and Section 4 captures them within a non-congurational theory of scope proposed in Farkas and Farkas. (shrink)

Kratzer 1998 proposes that certain indefinite determiners (at least in some of their uses) might be variables for (Skolemized) choice functions that receive a value from the utterance context. What does it mean for a choice function variable to receive a value from the context of utterance? How can a context provide such a function? To sharpen intuitions, here is an example describing a custom from my home town Mindelheim. After every funeral, all the mourners gathered around the still open (...) grave say a prayer that starts with the words: “And now let us pray for the person among us who will die next.” Suppose an anthropologist attended one or more funerals in Mindelheim, and reports on what she found out in a lecture using (1), or the more general (2). (shrink)