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)

The actually-operator, understood as a rigidifier, has been employed for a range of purposes in natural language semantics. In this article I argue that the properties of the operator do not correspond to any feature of natural language or feature natural language users have access to. Nor is it needed to provide a formal representation of natural language sentences—the examples usually provided to illustrate the indispensability of the operator are much more plausibly interpreted using plural quantifiers. This lack of connection (...) to natural language is a serious worry for accounts that appeal to rigidifying operations to explain natural language phenomena, as well as a challenge to theories that appeal to the operator to capture the difference between different kinds of necessity expressed in natural language. (shrink)

We present an argument for revising the theory of alternatives for Scalar Implicatures and for Association with Focus. We argue that in both cases the alternatives are determined in the same way, as a contextual restriction of the focus value of the sentence, which, in turn, is defined in structure-sensitive terms. We provide evidence that contextual restriction is subject to a constraint that prevents it from discriminating between alternatives when they stand in a particular logical relationship with the assertion or (...) the prejacent, a relationship that we refer to as symmetry. Due to this constraint on contextual restriction, discriminating between alternatives in cases of symmetry becomes the task of focus values. This conclusion is incompatible with standard type-theoretic definitions of focus values, motivating our structure-sensitive definition instead. (shrink)

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 is about the relationship between two questions: the question of what the objects of assertion are and the question of how best to theorise about ‘shifty’ phenomena like modality and tense. I argue that the relationship between these two questions is less direct than is often supposed. I then explore the consequences of this for a number of debates in the philosophy of language.

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (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 ...

Modal sentences of the form "every F might be G" and "some F must be G" have a threefold ambiguity. in addition to the familiar readings "de dicto" and "de re", there is a third reading on which they are examples of the "plural de re": they attribute a modal property to the F's plurally in a way that cannot in general be reduced to an attribution of modal properties to the individual F's. The plural "de re" readings of modal (...) sentences cannot be captured within standard quantified modal logic. I consider various strategies for extending standard quantified modal logic so as to provide analyses of the readings in question. I argue that the ambiguity in question is associated with the scope of the general term 'F'; and that plural quantifiers can be introduced for purposes of representing the scope of a general term. Moreover, plural quantifiers provide the only fully adequate solution that keeps within the framework of quantified modal logic. (shrink)

The computation of both Scalar Implicatures (SI) and Association with Focus (AF) is characterized with reference to sets of alternatives. However, it has generally been assumed that the relevant alternatives are determined in different ways for the two processes. Specifically, it has been assumed that the alternatives for SI – scalar alternatives – are computed by a special procedure specifically designed for implicatures, whereas the alternatives for AF – focus alternatives – are determined by the general theory of association with (...) focus – focus semantics. As far as we know, the only attempt to connect the two is Krifka (1995), under which scalar alternatives and focus alternatives are identical and determined by focus semantics. However, Krifka’s result is based on a specific stipulation about scalar items, which he borrows from Horn and incorporates into focus semantics, namely that scalar items are inherently focused and have their Horn Scale as their lexically specified focus values. (shrink)

A study of the contribution semantics makes to the syntactic patterns of English: an intepretive theory of grammar.

§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.

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)

A framework for pragmatic analysis is proposed which treats discourse as a game, with context as a scoreboard organized around the questions under discussion by the interlocutors. The framework is intended to be coordinated with a dynamic compositional semantics. Accordingly, the context of utterance is modeled as a tuple of different types of information, and the questions therein — modeled, as is usual in formal semantics, as alternative sets of propositions — constrain the felicitous flow of discourse. A requirement of (...) Relevance is satisfied by an utterance (whether an assertion, a question or a suggestion) iff it addresses the question under discussion. Finally, it is argued that the prosodic focus of an utterance canonically serves to reflect the question under discussion (at least in English), placing additional constraints on felicity in context. (shrink)

In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.

A person of average height would assert a truth by the conditional ‘if I were seven feet tall, I would be taller than I am,’ in which an indicative clause ‘I am’ is embedded in a subjunctive conditional. By contrast, no one would assert a truth by ‘if I were seven feet tall, I would be taller than I would be’ or ‘if I am seven feet tall, I am taller than I am’. These examples exemplify the fact that whether (...) a sentence's evaluation remains at the actual world in the scope of a modal or conditional depends on the combination of mood in the embedded and matrix clauses rather than, as is commonly thought, just on the presence of an operator ‘actually’. This essay argues that this phenomenon provides evidence that mood admits of bound and free readings along the lines of tenses and pronouns. It therefore favors the hypothesis that natural language contains variables and quantifiers for possible worlds in the object language. This, in turn, requires that the truth of a semantic value of a sentence (or whatever structure is embedded in a modal) be relativized to a sequence of worlds rather than to an individual world, and thus be distinguished from a proposition in the traditional sense. The essay also compares the framework defended with an alternative account of similar phenomena by Kai Wehmeier. (shrink)

Writers on presupposition, and on the ‘‘projection problem’’ of determining the presuppositions of compound sentences from their component clauses, traditionally assign presuppositions to each clause in isolation. I argue that many presuppositional elements are anaphoric to previous discourse or contextual elements. In compound sentences, these can be other clauses of the sentence. We thus need a theory of presuppositional anaphora, analogous to the corresponding pronominal theory.

It is argued that propositions cannot be the compositional semantic values of sentences (in context) simply due to issues stemming from the compositional semantics of modal operators (or modal quantifiers). In particular, the fact that the arguments for double indexing generalize to multiple indexing exposes a fundamental tension in the default philosophical conception of semantic theory. This provides further motivation for making a distinction between two sentential semantic contents—what (Dummett 1973) called “ingredient sense” and “assertoric content”.

It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.

This paper presents a new theory of the truth conditions for indicative conditionals. The theory allows us to give a fairly unified account of the semantics for indicative and subjunctive conditionals, though there remains a distinction between the two classes. Put simply, the idea behind the theory is that the distinction between the indicative and the subjunctive parallels the distinction between the necessary and the a priori. Since that distinction is best understood formally using the resources of two-dimensional modal logic, (...) those resources will be brought to bear on the logic of conditionals. (shrink)