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 Situations and Individuals, Paul Elbourne argues that the natural language expressions that have been taken to refer to individuals — pronouns, proper names, and definite descriptions — have a common syntax and semantics, roughly that of definite descriptions as construed in the tradition of Frege. In the course of his argument, Elbourne shows that proper names have previously undetected donkey anaphoric readings.This is contrary to previous theorizing and, if true, would undermine what philosophers call the direct reference theory (which (...) holds that the sole contribution of a proper name to the truth conditions of a sentence is an individual) as well as the related doctrine that proper names are rigid designators. Elbourne begins by addressing donkey anaphora, relating other concerns about pronouns to the solution of this notorious problem. His subsequent argumentation provides a unified semantics for the donkey anaphoric and bound and referential uses of pronouns and discusses the prospect of unifying the syntax and semantics of pronouns with the syntax and semantics of normal definite descriptions. Elbourne's aim is not only to advance his proposal of a unified syntax and semantics but also to urge linguists and philosophers dealing with pronoun interpretation to consider a wider range of theories than they do at present, and to test the competing claims of description-based theories and dynamic semantics against the data. (shrink)

In the last thirty years, the problem of presupposition projection has been taken to provide a decisive argument for a dynamic approach to meaning, one in which expressions are not evaluated with respect to the ‘global’ context of utterance, but rather with respect to a ‘local context’ obtained by updating the global one with expressions that occur earlier in the sentence. The computation of local contexts is taken by dynamic analyses to follow from a generalization of the notion of belief (...) update. I argue that the dynamic approach is faced with a dilemma: in its pragmatic incarnation (Stalnaker), it is explanatory but not general; in its semantic incarnation (Karttunen and Heim), it is general but not explanatory. I suggest that the dilemma stems for a faulty understanding of ‘local contexts’, and I offer a new reconstruction of this notion which eschews belief update but offers a general and fully precise solution to the projection problem. (shrink)

We distinguish three ways that a theory of linguistic meaning and communication might be considered dynamic in character. We provide some examples of systems which are dynamic in some of these senses but not others. We suggest that separating these notions can help to clarify what is at issue in particular debates about dynamic versus static approaches within natural language semantics and pragmatics.

There is a longstanding debate in the literature about static versus dynamic approaches to meaning and conversation. A formal result due to van Benthem is often thought to be important for understanding what, conceptually speaking, is at issue in the debate. We introduce the concept of a conversation system, and we use it to clarify the import of van Benthem's result. We then distinguish two classes of conversation systems, corresponding to two concepts of staticness. The first class corresponds to a (...) generalization of the class of systems that van Benthem's result concerns. These are the strongly static conversation systems. The second class is broader, and allows for a certain commonly recognized form of context sensitivity. These are the weakly static conversation systems. In the vein of van Benthem's result, we supply representation theorems which independently characterize these two varieties of conversation system. We observe that some canonically dynamic semantic systems correspond to weakly static conversation systems. We close by discussing some hazards that arise in trying to bring our formal results to bear on natural language phenomena, and on the debate about whether the compositional semantics for natural language should take a dynamic shape. (shrink)

Karttunen's seminal 1973 article Presuppositions of compound sentences, lays the groundwork for the elegant and fruitful theory of this subject which he subsequently presented in (1974). In (1973, pp. 185–8), however, he fallaciously argued that the regularities he discovered concerning the behavior of and, or, and if ... then in English cannot be embodied in any three-valued logic giving a truth-functional interpretation to these connectives. The present paper refutes Karttunen's argument by exhibiting an interpretation with the desired properties, and shows (...) further how the full articulation of his 1974 system can be developed naturally within a truth-conditional semantics for English if bivalence is abandoned — contrary to what Karttunen expected. (shrink)

Sentences containing pronouns and indefinite noun phrases can be said toexpress open propositions, propositions which display gaps to be filled.This paper addresses the question what is the linguistic content ofthese expressions, what information they can be said to provide to ahearer, and in what sense the information of a speaker can be said tosupport their utterance. We present and motivate first order notions ofcontent, update and support. The three notions are each defined in acompositional fashion and brought together within a (...) single and coherentframework. (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.

The Identity principle says that conditionals with the form 'If p, then p' are logical truths. Identity is overwhelmingly plausible, and has rarely been explicitly challenged. But a wide range of conditionals nonetheless invalidate it. I explain the problem, and argue that the culprit is the principle known as Import-Export, which we must thus reject. I then explore how we can reject Import-Export in a way that still makes sense of the intuitions that support it, arguing that the differences between (...) indicative and subjunctive conditionals play a key role in solving this puzzle. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (shrink)

Both definite descriptions and pronouns are often anaphoric; that is, part of their interpretation in context depends on prior linguistic material in the discourse. For example: A student walked in. The student sat down. A student walked in. She sat down. One popular view of anaphoric pronouns, the d-type view, is that pronouns like ‘she’ go proxy for definite descriptions like ‘the student who walked in’, which are in turn treated in a classical Russellian or Fregean fashion. I argue for (...) a novel version of the d-type view in which anaphoric definites are restricted existential quantifiers that presuppose discourse uniqueness, which is uniqueness of discourse referent in the context, rather than uniqueness of object in the world. In other words, the anaphoric definites ‘the student’ and ‘she’ in and presuppose that there is a single object under discussion that is a student who walked in. I further argue that, by contrast, non-anaphoric definites are restricted existential quantifiers that presuppose worldly uniqueness, that is, that there is a unique object in the world that satisfies the descriptive information. The semantics for anaphoric and non-anaphoric definites accounts for the differences in truth conditions in discourses involving the two different types of definites, improving on existing accounts. It is further supported by crosslinguistic data. The semantics is formally implemented in a static system employing quantifier domain restriction in the style of Stanley and Szabo :219–261, 2000) and extended to account for bridging definites and donkey sentences. (shrink)

Discourse dynamics, pragmatics, and indefinites Content Type Journal Article Pages 1-30 DOI 10.1007/s11098-012-9882-y Authors Karen S. Lewis, Department of Philosophy, University of Southern California, Los Angeles, CA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of negation is (...) felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (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)

This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...) a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

Contents: Preface VII; Introduction 1; 1. The General Framework 5; 2. Some Standard Systems 61; 3. Systems in General 147; 4. Non-Standard Systems 177; Bibliography 210; General Index 215; Index of Symbols 219-220.

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

Some philosophers, notably Professors Quine and Geach, have stressed the analogies they see between pronouns of the vernacular and the bound variables of quantification theory. Geach, indeed, once maintained that ‘for a philosophical theory of reference, then, it is all one whether we consider bound variables or pronouns of the vernacular'. This slightly overstates Geach's positition since he recognizes that some pronouns of ordinary language do function differently from bound variables; he calls such pronouns ‘pronouns of laziness'. Geach's characterisation of (...) pronouns of laziness has varied from time to time, but the general idea should be clear from a paradigm example: A man who sometimes beats his wife has more sense than one who always gives in to her.The pronouns ‘one’ and ‘her’ go proxy for a noun or a noun phrase in the sense that the pronoun is replaceable in paraphrase by simple repetition of its antecedent. (shrink)

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. This paper (...) develops an explanation of the puzzling facts about embedding within an orthodox framework. (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 I revive two important formal approaches to the interpretation of natural language, that of Montague and that of Karttunen and Peters. Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion. The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals. Even so, there are illuminating and welcome empirical consequences on the subject of scope islands (as discussed (...) by Abusch and Kratzer, among many others), as well as unintended theoretical implications in the contextualist debate (Grice, Recanati, Simons, Stanley, and many others again). (shrink)

Situation semantics as conceived in Kratzer (1989) has been shown to be a valuable companion to the e-type pronoun analysis of donkey sentences (Heim 1990, and recently refined in Elbourne 2001b), and more generally binding out of DP (BOOD; Tomioka 1999; Büring 2001). The present paper proposes a fully compositional version of such a theory, which is designed to capture instances of crossover in BOOD.

In The Dynamics of Meaning , Gennaro Chierchia tackles central issues in dynamic semantics and extends the general framework. Chapter 1 introduces the notion of dynamic semantics and discusses in detail the phenomena that have been used to motivate it, such as "donkey" sentences and adverbs of quantification. The second chapter explores in greater depth the interpretation of indefinites and issues related to presuppositions of uniqueness and the "E-type strategy." In Chapter 3, Chierchia extends the dynamic approach to the domain (...) of syntactic theory, considering a range of empirical problems that includes backwards anaphora, reconstruction effects, and weak crossover. The final chapter develops the formal system of dynamic semantics to deal with central issues of definites and presupposition. Chierchia shows that an approach based on a principled enrichment of the mechanisms dealing with meaning is to be preferred on empirical grounds over approaches that depend on an enrichment of the syntactic apparatus. Dynamics of Meaning illustrates how seemingly abstract stances on the nature of meaning can have significant and far-reaching linguistic consequences, leading to the detection of new facts and influencing our understanding of the syntax/semantics/pragmatics interface. (shrink)

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)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...) new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other (...) aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge. (shrink)

I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in favor of dynamic semantics do in fact push us towards a dynamic semantics. Ultimately, I will argue that the evidence points to a dynamics of discourse that is best treated pragmatically, rather than as part of the semantics.

In modal subordination, a modal sentence is interpreted relative to a hypothetical scenario introduced in an earlier sentence. In this paper, I argue that this phenomenon reflects the fact that the interpretation of modals is an ANAPHORIC process. Modal morphemes introduce sets of possible worlds, representing alternative hypothetical scenarios, as entities into the discourse model. Their interpretation depends on evoking sets of worlds recording described and reference scenarios, and relating such sets to one another using familiar notions of restricted, preferential (...) quantification. This proposal relies on an extended model of environments in dynamic semantics to keep track of associations between possible worlds and ordinary individuals; it assumes that modal meanings and other lexical meanings encapsulate quantification over possible worlds. These two innovations are required in order for modals to refer to sets of possible worlds directly as static objects in place of the inherently dynamic objects—quite different from the referents of pronouns and tenses—used in previous accounts. The simpler proposal that results offers better empirical coverage and suggests a new parallel between modal and temporal interpretation. (shrink)

I propose a new theory of semantic presupposition, which I call dissatisfaction theory. I first briefly review a cluster of problems − known collectively as the proviso problem − for most extant theories of presupposition, arguing that the main pragmatic response to them faces a serious challenge. I avoid these problems by adopting two changes in perspective on presupposition. First, I propose a theory of projection according to which presuppositions project unless they are locally entailed. Second, I reject the standard (...) assumption that presuppositions are contents which must be entailed by the input context; instead, I propose that presuppositions are contents which are marked as backgrounded. I show that, together, these commitments allow us to avoid the proviso problem altogether, and generally make plausible predictions about presupposition projection out of connectives and attitude predicates. I close by sketching a two-dimensional implementation of my theory which allows us to make further welcome predictions about attitude predicates and quantifiers. (shrink)