This paper revisits some foundational questions concerning the abstract representation of a discourse context. The context of a conversation is represented by a body of information that is presumed to be shared by the participants in the conversation – the information that the speaker presupposes a point at which a speech act is interpreted. This notion is designed to represent both the information on which context-dependent speech acts depend, and the situation that speech acts are designed to affect, and so (...) to be a representation of context that is appropriate for explaining the interaction of context and the contents expressed in them. After reviewing the motivating ideas and the outlines of the apparatus, the paper responds to a criticism of the framework, and considers the way it can help to clarify some phenomena concerning pronouns with indefinite antecedents. (shrink)

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

In this paper I argue that anaphoric pronouns should always be interpreted exhaustively. I propose that pronouns are either used referentially and refer to the speaker's referents of their antecedent indefinites, or descriptively and go proxy for the description recoverable from its antecedent clause. I show how this view can be implemented within a dynamic semantics, and how it can account for various examples that seemed to be problematic for the view that for all unbound pronouns there always should be (...) a notion of exhaustivity/uniqueness involved. The uniqueness assumption for the use of singular pronouns is also shown to be importantto explain what the discourse referents used in dynamic semantics represent. (shrink)

What is the proper way to draw the semantics-pragmatics distinction, and is what is said by a speaker ever enriched by pragmatics? An influential but controversial answer to the latter question is that the inputs to semantic interpretation contains representations of every contribution from context that is relevant to determining what is said, and that pragmatics never enriches the output of semantic interpretation. The proposal is bolstered by a controversial argument from syntactic binding designed to detect hidden syntactic structure. The (...) following contains an exposition and consideration of the argument. (shrink)

What is the proper way to draw the semantics‐pragmatics distinction, and is what is said by a speaker ever enriched by pragmatics? An influential but controversial answer to the latter question is that the inputs to semantic interpretation contains representations of every contribution from context that is relevant to determining what is said, and that pragmatics never enriches the output of semantic interpretation. The proposal is bolstered by a controversial argument from syntactic binding designed to detect hidden syntactic structure. The (...) following contains an exposition and consideration of the argument. (shrink)

On a popular view dating back to Russell, descriptions, both definite and indefinite alike, work syntactically and semantically like quantifiers. I have an argument against Russell's view. The argument supports a different picture: descriptions can behave syntactically and semantically like variables. This basic idea can be implemented in very different systematic analyses, but, whichever way one goes, there will be a significant departure from Russell. The claim that descriptions are variables is not new: what I offer is a new way (...) of defending it. The argument centers on attitude reports. I argue that we should recognize a new reading of descriptions under attitude reports, which I call ‘singular opaque’. The existence of this reading cannot be explained on the traditional Russellian view, and demands a switch to the variable view. Along the way, some interesting new facts about attitude reports come to light. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full NP whose semantics (...) is assumed to be known (e.g. a definite description). In this paper, I argue that there are serious problems with any version of the E-type account as well as the (original form of the) dynamic account. I will explore a new account based on structured propositions, which can be considered a conservative extension of a traditional proposition-based semantics, but which at the same time incorporates some crucial insights of the dynamic account. (shrink)

In this paper, I have proposed a compositional semantic analysis of exception NPs from which three core properties of exception constructions could be derived. I have shown that this analysis overcomes various empirical and conceptual shortcomings of prior proposals of the semantics of exception sentences. The analysis was first formulated for simple exception NPs, where the EP-complement was considered a set-denoting term and the EP-associate was a monadic quantifier. It was then generalized in two steps: first, in order to account (...) for quantified EP-complements, and second, in order to account for polyadic quantifiers as the EP-associates. An additional assumption that was made in several places was that EPs may operate at the level of implications. The consequences of this assumption, though, still have to be investigated. (shrink)

The presence of contrastive focus on pronouns interpreted as bound variables is puzzling. Bound variables do not refer, and it is therefore unclear how two of them can be made to contrast with each other. It is argued that this is a problem for both alternative-based accounts such as Rooth’s (Nat Lang Semantics 1:75–116, 1992) and givenness-based ones such as Schwarzschild’s (Nat Lang Semantics 7:141–177, 1999). The present paper shows that previous approaches to this puzzle face an empirical problem, namely (...) the co-occurrence of additive too and focus on bound pronouns. Our account is based on the idea that the alternatives introduced by focused bound pronouns denote individuals. Putting forward the novel concept of compositional reconstruction, we show that a suitably modified Roothian analysis of focus licensing allows us to get bound pronouns to contrast with other bound pronouns. The reason for this is that the number of potential alternatives increases. We also suggest a modification of Rooth’s ~-operator: contrastiveness becomes a requirement of the operator, which is modelled as a definedness condition. It is argued that in the case of focused bound pronouns a ~-operator is necessarily inserted in the scope of the quantifier. If this is on the right track, it follows that the phenomenon of focused bound pronouns warrants both an operator interpreting focus as well as a semantic value for the contribution of focus. Any givenness-based analysis must include these two ingredients as well; we suggest a way in which this can be implemented more or less straightforwardly. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the Russellian assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition, drawing from Stoic logic, has pointed to patterns which suggest that indefinites cannot be treated simply as existential quantifiers. The standard (...) dynamic semantic treatment of those phenomena, however, has well-known problems with negation and disjunction. -/- In this paper I develop a new approach to (in)definites. On my theory, truth-conditions are classical. But in addition to truth-conditions, meanings comprise a second dimension of what I call bounds. It is at the level of bounds, not truth-conditions, that I locate the characteristically dynamic coordination between indefinites and definites. The resulting system thus has a classical logic. This approach avoids dynamic semantics’ logical problems, and, more generally, yields a new perspective on the relation between truth-conditional and dynamic effects in natural language. (shrink)

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

Generically interpreted bare plural noun phrases license donkey anaphora. This fact has unexpected consequences both for the analysis of generics and for the analysis of donkey anaphors. Specifically, if we assume a kindsbased analysis of bare plurals as in Carlson (1980), we will be forced to give up the idea that donkey anaphors are variables – presumably in favor of an E-type analysis. Conversely, if we assume that donkey anaphors are variables, we will be forced to give up Carlson’s treatment (...) of generically interpreted bare plurals as denoting kinds – presumably in favor of an analysis employing a generic operator like that of Wilkinson (1991), which quantifies over objects directly, without the mediation of kinds. The two issues are thus dependent on one another, and cannot be decided independently. This paper will not attempt to choose between an E-type and a variable-based analysis of donkey anaphors, or between a kinds-based and a kinds-free analysis of generic bare plurals, but only to point out that the choice one makes with regard to either one of these issues appears to force a particular choice with respect to the other issue. (shrink)

This paper presents an analysis of negative polarity items (NPIs) in Hindi. It is noted that NPIs in this language are composed of a (weak) indefinite plus a particle bhii meaning ‘even’. It is argued that the compositional semantics of this combination explains their behavior as NPIs as well as their behavior as free choice (FC) items. I assume that weak Hindi indefinites like ek and koi are to be viewed as a predicate that I call one, a predicate that (...) is true of everything that exists. I further assume that bhii exhibits association with focus with the indefinite, and that this leads to contradictory implicatures in positive contexts. The behavior of these phrases in a variety of syntactic contexts is discussed, including constructions like correlatives. Finally, I provide a comparison with analyses of English any, and discuss the relevance of the analysis presented here for that of any. (shrink)

Recently, null arguments have been treated as an ellipsis phenomenon, derived by PF-deletion or LF-copy under some kind of identity requirements. Focusing on Japanese null arguments, this paper argues that they are base-generated empty nominals which are interpreted via choice functions. The functional approach is supported by cases involving intermediate scope readings, missing antecedents, and implicational bridging. A less standard case of Japanese null arguments anteceded by QPs is also discussed and shown to be amenable to the choice functional analysis (...) supplemented by a general requirement of structural parallelism. (shrink)

Quantifiers in Language and Logic (QLL) is a major contribution to natural language semantics, specifically to quantification. It integrates the extensive recent work on quantifiers in logic and linguistics. It also presents new observations and results. QLL should help linguists understand the mathematical generalizations we can make about natural language quantification, and it should interest logicians by presenting an extensive array of quantifiers that lie beyond the pale of classical logic. Here we focus on those aspects of QLL we judge (...) to be of specific interest to linguists, and we contribute a few musings of our own, as one mark of a worthy publication is whether it stimulates the reader to seek out new observations, and QLL does. QLL is long and fairly dense, so we make no attempt to cover all the points it makes. But QLL has a topic index, a special symbols index and two tables of contents, a detailed one and an overview one, all of which help make it user friendly. QLL is presented in four parts: I, The Logical Conception of Quantifiers and Quantification with an introductory section Quantification . II, Quantifiers of Natural Language , the most extensive section in the book and of the most direct interest to linguists. III, Beginnings of a Theory of Expressiveness, Translation, and Formalization introduces notions of expressive power and definability, and IV, presents recent work and techniques concerning quantifier definability over finite domains, making accessible to linguists recent work in finite model theory. (shrink)

Quantifiers in Language and Logic (QLL) is a major contribution to natural language semantics, specifically to quantification. It integrates the extensive recent work on quantifiers in logic and linguistics. It also presents new observations and results. QLL should help linguists understand the mathematical generalizations we can make about natural language quantification, and it should interest logicians by presenting an extensive array of quantifiers that lie beyond the pale of classical logic. Here we focus on those aspects of QLL we judge (...) to be of specific interest to linguists, and we contribute a few musings of our own, as one mark of a worthy publication is whether it stimulates the reader to seek out new observations, and QLL does. QLL is long and fairly dense, so we make no attempt to cover all the points it makes. But QLL has a topic index, a special symbols index and two tables of contents, a detailed one and an overview one, all of which help make it user friendly. QLL is presented in four parts: I, "The Logical Conception of Quantifiers and Quantification" with an introductory section "Quantification". II, "Quantifiers of Natural Language", the most extensive section in the book and of the most direct interest to linguists. III, "Beginnings of a Theory of Expressiveness, Translation, and Formalization" introduces notions of expressive power and definability, and IV, presents recent work and techniques concerning quantifier definability over finite domains, making accessible to linguists recent work in finite model theory. (shrink)

In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...) that validates inference based on the left monotonicity of the determiner. This accounts for the lack of strong reading in donkey sentences with MON determiners, which have been neglected in the literature. I consider the relevance of other natural forms of inference as well, but also suggest how monotonicity inference might play a central role in the actual process of interpretation. The formal theory is couched in dynamic predicate logic with generalized quantifiers. (shrink)

The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric properties. The proposal builds on the formal system combining generalized quantifiers with dependent types in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].

In this paper I present experimental data showing that the interpretation of donkey sentences is influenced by certain aspects of world knowledge that seem to elude introspective observation, which I try to explain by reference to a scale ranging from prototypical individuals (like children) to quite marginal ones (such as railway lines). This ontological cline interacts with the semantics of donkey sentences: as suggested already by the anecdotal data on which much of the literature is based, the effect of world (...) knowledge is by and large restricted to donkey sentences with non-intersective determiners. I outline a psychological model which incorporates both ontological and logical factors, and suggest that there may be something wrong with the standard assumption that a statement's receiving a truth value requires that it have a definite reading. (shrink)

We propose a new approach to conditional donkey sentences that allows us to face successfully the often called proportion problem. The main ingredients of the proposal are van Benthem's generalized quantifier approach to conditionals, and Barwise's situation semantics. We present some experimental data supporting our proposal.

This paper offers a new semantic theory of existentials (sentences of the form There be NP pivot XP coda ) in which pivots are (second order) predicates and codas are modifiers. The theory retains the analysis of pivots as denoting generalized quantifiers (Barwise and Cooper 1981; Keenan 1987), but departs from previous analyses in analyzing codas as contextual modifiers on a par with temporal/locative frame adverbials. Existing analyses universally assume that pivots are arguments of some predicate, and that codas are (...) main or secondary predicates. It is shown that these analyses cannot account for the behavior of codas with quantifiers and for the interaction of multiple codas, both of which receive a simple treatment on the proposed theory. The assimilation of codas to frame adverbials explains several semantic properties which have not been analyzed in the semantic literature, and that distinguish existentials from their copular counterparts. Furthermore, it highlights important properties of the semantics of modification and its relation to predication. (shrink)

This paper argues that donkey pronouns should be construed as definite articles, followed by an NP sister which has undergone deletion in the phonology. So Every man who owns a donkey beats it is claimed to share a Logical Form with Every man who owns a donkey beats the donkey, which means the same. There is independent evidence for assimilating pronouns to determiners, and for NP-deletion; so this theory explains E-type anaphora without postulating any special entity (`E-type pronoun') for the (...) purpose. Since NP-deletion, like other ellipsis, requires an antecedent, this theory also explains the requirement for a "formal link" between donkey pronoun and antecedent, which standard E-type theories find difficult to account for. Other empirical advantages of this theory include its ability to explain the pattern of strict and sloppy identity displayed by donkey sentences with phonologically reduced continuations. It is shown that Bach-Peters sentences, quantificational subordination, and paycheck sentences can also be dealt with on the present approach. (shrink)

With this paper I aim to demonstrate that a look beyond the Aristotelian square of opposition, and a related non-conservative view on logical determiners, contributes to both the understanding of Aristotelian syllogistics as well as to the study of quantificational structures in natural language.

In this paper we show that focus structure determines the interpretation of bare plurals in English: topic bare plurals are interpreted generically, focused bare plurals are interpreted existentially. When bare plurals are topics they must be specific, i.e. they refer to kinds. After type-shifting they introduce variables which can be bound by the generic quantifier, yielding characterizing generics. Existentially interpreted bare plurals are not variables, but denote properties that are incorporated into the predicate.The type of predicate determines the interpretation of (...) its bare plural subject. The individual/stage-level distinction, though important, is not sufficient: since only arguments can be topics, only those stage-level predicates which have locative arguments can have existential bare plural subjects.Certain verbs (e.g., hate) fail to incorporate their bare plural objects; therefore no existential reading of the object is available. We provide a novel solution to this puzzle based on the following two claims: (i) incorporated bare plurals do not introduce discourse referents; (ii) nonincorporating verbs are presuppositional. (shrink)

In addition to the familiar cardinal and proportional readings of many and few, there is yet another interpretation, the relative proportional reading. This reading, unlike the ordinary absolute proportional reading, is not conservative. Under the relative reading, 'Many ψs are φs' is true just in case the proportion of φs among ψs is greater than the proportion of φs among members of contextually given alternatives to ψ. I provide a definition of proportional readings that reduces the differences between absolute and (...) relative interpretations to the value of a single parameter.I argue that relative readings are not restricted to many and few, but are also exhibited by the adverbs often and seldom, and by generics. Interpretations of determiners that have been treated as "focus-affected readings," interpretations of adverbs of quantification that have been treated as "pure frequency readings," and interpretations of generics which have been claimed to be cases of "reverse interpretation" or "direct kind predication" are, in fact, instances of relative readings.A: Army reserve service is especially hard on people who own a small business.Q: Do many small-business owners serve in your regiment?A: I don't know what it's like in other regiments –Q: I am not asking you about other regiments.A: I know, but relatively speaking . . .(Interview on Israel Army Radio, June 8th, 2001). (shrink)

This paper studies the distribution of ‘list readings’ in questions like who does everyone like? vs. who likes everyone?. More generally, it focuses on the interaction between wh-words and quantified NPs. It is argued that, contrary to widespread belief, the pattern of available readings of constituent questions can be explained as a consequence of Weak Crossover, a well-known property of grammar. In particular, list readings are claimed to be a special case of ‘functional readings’, rather than arising from quantifying into (...) questions. Functional readings are argued to be encoded in the syntax as doubly indexed traces, which straightforwardly leads to a Crossover account of the absence of list readings in who likes everyone?. Empirical and theoretical consequences of this idea for the syntax and semantics of questions are considered. (shrink)

It is arguably desirable to have a theory of meaning that (i) does not identify propositions with sets of worlds, (ii) enables to capture the dynamic character of semantic interpretation and (iii) provides the basis for a semantic program that incorporates and extends the achievements of Montague semantics. A theory of properties and propositions that meets these desiderata is developed and several applications to the semantic analysis of natural languages are explored.

Mandarin Chinese exhibits two paradigms of conditionals with indefinite wh-words that have the semantics of donkey sentences, represented by ‘bare conditionals’ on the one hand and ruguo- and dou-conditionals on the other. The bare conditionals require multiple occurrences of wh-words, disallowing the use of overt or covert anaphoric elements in the consequent clause, whereas the ruguo- and dou-conditionals present a completely opposite pattern. We argue that the bare conditionals are cases of unselective binding par excellence (Heim 1982, Kamp 1981) while (...) the ruguo- and dou-conditionals are most naturally accounted for with the traditional E-type pronoun strategy of Evans (1980). We thus argue partly for a return to the E-type strategy (along with Heim 1990) but maintain the need for unselective binding in UG (cf. Kratzer 1989, Chierchia 1992). It is further shown that these two paradigms do not differ with respect to the proportion problem and the distribution of symmetric and asymmetric readings of Kadmon (1987), though they differ with respect to ∀ and ∃ readings (discussed in Chierchia 1992) in a non-trivial way that provides further support for the proposed approach. Finally, evidence is given that the bare conditionals should be kept apart from correlative constructions in languages like Hindi, and treated differently from the latter. (shrink)

This paper examines a type of discourse structure we here call ‘generic passages’. We argue that generic passages should be analyzed as sequences of generic sentences, each sentence containing its own GEN operator (Krifka et al. 1995). The GEN operators produce tripartite matrix/restrictor structures; the main discourse connection among the sentences is that the restrictor produced by each sentence in the sequence has as its contents the information in the matrix produced by the previous sentence in the discourse. We also (...) argue that an identity of reference times is required for this process to occur. In the end generic passages are a natural product of the interaction of generic operators in sentences with independently- established principles structuring ordinary extensional narrative. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

Providing a compositional interpretation procedure for discourses in which descriptions of complex dependencies between interrelated objects are incrementally built is a key challenge for formal theories of natural language interpretation. This paper examines several quantificational phenomena and argues that to account for these phenomena, we need richly structured contexts of interpretation that are passed on between different parts of the same sentence and also across sentential boundaries. The main contribution of the paper is showing how we can add structure to (...) contexts in an incremental way, starting with the basic notion of context in classical first-order logic, i.e., interpretation contexts formalized as single total variable assignments. (shrink)

We give a condensed survey of recent research on generalized quantifiers in logic, linguistics and computer science, under the following headings: Logical definability and expressive power, Polyadic quantifiers and linguistic definability, Weak semantics and axiomatizability, Computational semantics, Quantifiers in dynamic settings, Quantifiers and modal logic, Proof theory of generalized quantifiers.

Most studies of the so-called proportion problem seek to understand how lexical and structural properties of sentences containing adverbial quantifiers give rise to various proportional readings. This paper explores a related but distinct problem: given a use of a particular sentence in context, why do only some of the expected proportional readings seem to be available? That is, why do some sentences allow an asymmetric reading when other, structurally similar sentences seem to require a symmetric reading? Potential factors suggested in (...) the literature include the distribution of donkey pronouns, certain uniqueness implications, and focus structures. I argue here that the use of an adverbial quantifier presupposes HOMOGENEITY: all individual situations that get lumped into a single case for the purposes of evaluating the quantification must agree on whether they satisfy the nuclear scope. For instance, in order for a token of Usually, if a farmer owns a donkey, he beats it to be felicitous when construed under a farmer-dominant asymmetric reading, the context must be consistent with the proposition that each farmer either beats all or none of his donkeys. Thus proportional sentences are indeed systematically ambiguous, but only some readings will be felicitous in a given context. (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)

Donkey pronouns (e.g., it in Every farmer who owns a donkey beats it) are argued to have an interpretation more similar to a demonstrative phrase (e.g., . . . beats that donkey) than to any of the other alternatives generally considered (e.g., . . . the donkey(s) he owns, . . . a donkey he owns). Like the demonstrative phrase, the pronoun is not equivalent to Evans' E-type paraphrase, nor to either the weak or the strong reading sometimes claimed for (...) donkey sentences. A consequence is to narrow the range of formal analyses. (shrink)

Proceedings of the 11th Semantics and Linguistic Theory Conference, held May 11-13, 2001, at New York University.

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...) Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

The meanings of donkey sentences cannot be captured using a procedure which, like Montague’s, uses the existential quantifiers of classical logic to translate indefinites and the variables to translate pronouns. The treatment of these examples requires meanings which depend on the context in which sentences appear, and thus necessitates a logic which models this context to some extent. If context is represented as the information conveyed in discourse, and the meanings of pronouns are enriched to depend on this information, the (...) result is the E-Type approach (ETA) adapted by Heim (1990) from proposals in Evans (1980) and Cooper (1979). If the context is represented as a list of potential referents, and the meanings of indefinites are enriched to introduce new referents into this list, the result is a compositional formulation like Groenendijk and Stokhof’s (1990) of the discourse representation theory (DRT) of Kamp (1981) and Heim (1982). Either tack suffices to capture the way in which the referents of he and it systematically correspond to the alternative possibilities described by the antecedent. Disjunction offers a parallel way of introducing alternatives in the antecedent of a conditional, as shown in (2). (shrink)

The classical analysis of donkey sentences like (1.a,b) in Kamp (1981) and Heim (1982) assigns them truth conditions as given in (2.a). That is, they are treated as quantifications over farmer-donkey pairs. Partee (1984) and Kadmon (1987) have pointed out that the proper reading of (1.b), and a preferred reading of (1.a), is rather a quantification over farmers, as illustrated in (2.b).