Dynamic Semantics

The standard way to represent anaphoric dependencies is to co-index the anaphor with its antecedent in the syntactic input to semantic rules, which then interpret such indices as variables. Dynamic theories (e.g. Kamp’s DRT, Heim’s File Change Semantics, Muskens’s Compositional DRT, etc) combine syntactic co-indexation with semantic left-to-right asymmetry. This captures the fact that the anaphor gets its referent from the antecedent and not vice versa. Formally, a text updates the input state of information to the output state. In particular, (...) an indexed antecedent updates the entity assigned to its index, and the output entity is then picked up as the referent by any subsequent co-indexed anaphor. (shrink)

So far, we have focused on discourse reference to atomic individuals and specific times, events, and states. The basic point of the argument was that all types of discourse reference involve attention-guided anaphora (in the sense of Bittner 2012: Ch. 2). We now turn to discourses involving anaphora to and by quantificational expressions. Today, we focus on quantification over individuals but the analysis we develop will directly generalize to other semantic types. The basic idea is that quantification is one more (...) species of top-level anaphora--to wit, anaphora to top-ranked sets. (shrink)

Last time we saw that grammatical tenses anaphorically refer to top-ranked times or time-valued functions of top-ranked events, just like grammatical person markers anaphorically refer to top-ranked individuals or invididual-valued functions of top-ranked events. Today we extend this idea to grammatical aspect. Specifically, grammatical aspect marking in English and Polish is analyzed as discourse anaphora to top-ranked eventualities (states or events).

Simple Mandarin Chinese texts translated into Update with Centering. Notes toward a directly compositional fragment of Mandarin Chinese, combining Categorial Grammar with Update with Centering, to appear in Bittner (in prep.) "Temporality: Universals and Variation".

The paper proposes an account of the contrast (noticed in Karttunen 1976) between the interpretations of the following two discourses: Harvey courts a girl at every convention. {She is very pretty. vs. She always comes to the banquet with him.}. The initial sentence is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by means (...) of a new dynamic system couched in classical type logic, which extends Compositional DRT (Muskens 1996) with plural information states (modeled, following van den Berg 1996, as sets of variable assignments). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The paper also shows that modal subordination (A wolf might come in. It would eat Harvey first) can be analyzed in a parallel way, i.e. the system captures the anaphoric and quantificational parallels between the individual and modal domains argued for in Stone (1999) (among others). In the process, we see that modal / individual-level quantifiers enter anaphoric connections as a matter of course, usually functioning simultaneously as both indefinites and pronouns. (shrink)

I propose that Mandarin ｡-sentences (units marked by ｡) are aspectual topic-comment sequences, where an initial update (terminating in a pause) introduces a topic state for comment by one or more clauses. Each comment anaphorically refers to the topic state via the aspect feature of the verbal predicate. This proposal explains why Mandarin ｡-sentences have controversial boundaries, since speakers may disagree where one topic state ends and the next one begins. It also explains various manifestations of aspect-prominence and topic-prominence in (...) Mandarin discourse. In Bittner (2014), this proposal is formally implemented in Categorial Grammar and a new dynamic logic called Update with Centering. (shrink)

In order to handle presuppositions in the scope of attitude verbs, the binding theory allows presuppositions triggered in a subject's beliefs to be bound at the matrix level; and it allows presuppositions triggered in non-doxastic attitudes to be bound in the subject's beliefs (Geurts, 1999; Maier, 2015). However, we argue that this leads to serious overgeneration, for example it predicts that the unacceptable `Sue will come to the party, but Bill is sure that she won't and that only Sue will (...) come to the party' should be equivalent to the acceptable `Sue will come to the party, but Bill is sure that nobody will come to the party'. This is because the presupposition triggered by `only Sue will come to the party' should be able to be bound at the matrix level. We discuss some responses to this problem, but argue that they all have shortcomings. (shrink)

One of the central topics in semantic theory over the last few decades concerns the nature of local contexts. Recently, theorists have tried to develop general, non-stipulative accounts of local contexts (Schlenker, 2009; Ingason, 2016; Mandelkern & Romoli, 2017a). In this paper, we contribute to this literature by drawing attention to the local contexts of subclausal expressions. More specifically, we focus on the local contexts of quantificational determiners, e.g. `all', `both', etc. Our central tool for probing the local contexts of (...) subclausal elements is the principle Maximize Presupposition! (Percus, 2006; Singh, 2011). The empirical basis of our investigation concerns some data discussed by Anvari (2018b), e.g. the fact that sentences such as `All of the two presidential candidates are crooked' are unacceptable. In order to explain this, we suggest that the local context of determiners needs to contain the information carried by their restrictor. However, no existing non-stipulative account predicts this. Consequently, we think that the local contexts of subclausal expressions will likely have to be stipulated. This result has important consequences for debates in semantics and pragmatics, e.g. those around the so-called "explanatory problem" for dynamic semantics (Soames, 1982; Heim, 1990; Schlenker, 2009). (shrink)

In this paper, I consider how, given mutual knowledge of the information codified in a compositional semantic theory, an assertion of a sentence serves to update the shared information in a conversation. There is a standard account, due to Stalnaker, of how such conversational updating occurs. While this account has much to recommend it, in this paper I argue that it needs to be revised in light of certain patterns of updating that result from certain natural discourses. Having argued for (...) this, I present a new account of conversational updating that can be seen as a natural generalization of the standard account, and show how it can predict these patterns in a simple and principled manner. (shrink)

Moorean constructions are famously odd: it is infelicitous to deny that you believe what you claim to be true. But what about claiming that p, only to immediately put into question your evidence in support of p? In this paper, we identify and analyse a class of quasi-Moorean constructions, which we label counterevidentials. Although odd, counterevidentials can be accommodated as felicitous attempts to mitigate one’s claim right after making it. We explore how counterevidentials differ from lexicalised mitigation operators, parentheticals, and (...) anaphoric mitigation devices, and consider some cognate non-assertoric constructions. We conclude by exploring the implications of our analysis for theorising about linguistic responsibility, assertion, and lying. (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)

It is a familiar point that we can use generic sentences to express generalisations that are tolerant to exceptions and then go on to state those exceptions explicitly. It is a less familiar point that switching the order of the generics has deleterious effects on their felicity. For example, the sequences ‘Ravens are black, but albino ravens aren’t’ is perfectly felicitous and judged to be true, whereas its reverse ‘Albino ravens aren’t black, but ravens are’ is infelicitous and contradictory-sounding. This (...) paper argues that such sequences pose a problem for extant theories of generics: while they have no trouble predicting the felicity of the first sequence of generics, they are unable to explain why reversing the order results in infelicity. I propose to account for these observations by adopting a dynamic semantic theory of generic sentences. (shrink)

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the content (...) of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

Recent advances in the Super Linguistics of pictures have laid the Super Semantic foundation for modelling the phenomena of narrative sequencing and co-reference in pictorial and mixed linguistic-pictorial discourses. We take up the question of how one arrives at the pragmatic interpretations of such discourses. In particular, we offer an analysis of: (i) the discourse composition problem: how to represent the joint meaning of a multi-picture discourse, (ii) observed differences in narrative sequencing in prima facie equivalent linguistic vs pictorial discourses, (...) and (iii) the phenomenon of co-referencing across pictures. We extend Segmented Discourse Representation Theory to spell out a formal Super Pragmatics that applies to linguistic, pictorial and mixed discourses, while respecting the particular ‘genius’ of either medium and computing their distinctive pragmatic interpretations. (shrink)

Some utterances of imperative clauses have directive force—they impose obligations. Others have permissive force—they extend permissions. The dominant view is that this difference in force is not accompanied by a difference in semantic content. Drawing on data involving free choice items in imperatives, I argue that the dominant view is incorrect.

In ‘Sly Pete’ or ‘standoff’ cases, reasonable speakers accept incompatible conditionals, and communicate them successfully to a trusting hearer. This paper uses the framework of dynamic semantics to offer a new model of the conversational dynamics at play in standoffs, and to articulate several puzzles posed by such cases. The paper resolves these puzzles by embracing a dynamic semantics for conditionals, according to which indicative conditionals require that their antecedents are possible in their local context, and update this body of (...) information by eliminating the possibilities where the antecedent is true and the consequent is false. In this way, the dynamic analysis draws on insights from the material conditional and contextualist analyses, while explaining how standoffs are genuine disagreements. (shrink)

Suppositional theories of conditionals take apparent similarities between supposition and conditionals as a starting point, appealing to features of the former to provide an account of the latter. This paper develops a novel form of suppositional theory, one which characterizes the relationship at the level of semantics rather than at the level of speech acts. In the course of doing so, it considers a range of novel data which shed additional light on how conditionals and supposition interact.

Triviality results threaten plausible principles governing our credence in epistemic modal claims. This paper develops a new account of modal credence which avoids triviality. On the resulting theory, probabilities are assigned not to sets of worlds, but rather to sets of information state-world pairs. The theory avoids triviality by giving up the principle that rational credence is closed under conditionalization. A rational agent can become irrational by conditionalizing on new evidence. In place of conditionalization, the paper develops a new account (...) of updating: conditionalization with normalization. (shrink)

This paper develops an information-sensitive theory of the semantics and probability of conditionals and statements involving epistemic modals. The theory validates a number of principles linking probability and modality, including the principle that the probability of a conditional If A, then C equals the probability of C, updated with A. The theory avoids so-called triviality results, which are standardly taken to show that principles of this sort cannot be validated. To achieve this, we deny that rational agents update their credences (...) via conditionalization. We offer a new rule of update, Hyperconditionalization, which agrees with Conditionalization whenever nonmodal statements are at stake but differs for modal and conditional sentences. (shrink)

A fictional text is commonly viewed as constituting an invitation to play a certain game of make-believe, with the individual sentences written by the author providing the propositions we are to imagine and/or accept as true within the fiction. However, we can’t always take the text at face value. What narratologists call ‘unreliable narrators’ may present a confused or misleading picture of the fictional world. Meanwhile there has been a debate in philosophy about so-called ‘imaginative resistance’ in which we are (...) inclined to resist imagining (or even accepting as true in the fiction) what’s explicitly stated in the text. But if we can’t take the text’s word for it, how do we determine what’s true in a fiction? We propose an account of fiction interpretation in a dynamic setting (a version of DRT with a mechanism for opening, updating, and closing temporary ‘workspaces’) and combine this framework with belief revision logic. With these tools in hand we turn to modelling imaginative resistance and unreliable narrators. (shrink)

ABSTRACT ‘You may have beer or wine’ suggests that you may have beer and you may have wine. Following Klinedinst, I argue that this ‘free choice’ effect is a special kind of scalar implicature, arising from the application of an unspecific predicate to a plurality (of worlds). I show that the implicature can be derived from general norms of cooperative communication, without postulating new grammatical rules or hidden lexical items. The derivation calls for an extension to the classical neo-Gricean model. (...) I give independent arguments for this extension. (shrink)

Natural languages are riddled with context-sensitivity. One and the same string of words can express many different meanings on occasion of use, and yet we understand one another effortlessly, on the fly. How do we do so? What fixes the meaning of context-sensitive expressions, and how are we able to recover the meaning so effortlessly? -/- This book offers a novel response: we can do so because we draw on a broad array of subtle linguistic conventions that determine the interpretation (...) of context-sensitive items. Contrary to the dominant tradition, which maintains that the meaning of context-sensitive language is underspecified by grammar and that interpretation relies on non-linguistic cues and speakers' intentions, this book argues that meaning is determined entirely by discourse conventions, rules of language that have largely been missed and the effects of which have been mistaken for extra-linguistic effects of an utterance situation on meaning. The linguistic account of context developed here sheds new light on the nature of linguistic content and the interaction between content and context. At the same time, it provides a novel model of context that should constrain and help evaluate debates across many subfields of philosophy where appeal to context has been common, often leading to surprising conclusions such as epistemology, ethics, value theory, metaphysics, metaethics, and logic. (shrink)

Linguistic intervention in rational decision making is standardly captured in terms of information change. But the standard view gives us no way to model interventions involving expressions that only have an attentional effects on conversational contexts. How are expressions with non‐informational content – like epistemic modals – used to intervene in rational decision making? We show how to model rational decision change without information change: replace a standard conception of value (on which the value of a set of worlds reduces (...) to values of individual worlds in the set) with one on which the value of a set of worlds is determined by a selection function that picks out a generic member world. We discuss some upshots of this view for theorizing in philosophy and formal semantics. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

Many have accepted that ordinary counterfactuals and might counterfactuals are duals. In this paper, I show that this thesis leads to paradoxical results when combined with a few different unorthodox yet increasingly popular theses, including the thesis that counterfactuals are strict conditionals. Given Duality and several other theses, we can quickly infer the validity of another paradoxical principle, ‘The Counterfactual Direct Argument’, which says that ‘A> ’ entails ‘A> ’. First, I provide a collapse theorem for the ‘counterfactual direct argument’. (...) The counterfactual direct argument entails the logical equivalence of the subjunctive and material conditional, given a variety of assumptions. Second, I provide a semantics that validates the counterfactual direct argument without collapse. This theory further develops extant dynamic accounts of conditionals. I give a new semantics for disjunction, on which A or B is only true in a context when A and B are both unsettled. The resulting framework validates CDA while invalidating other commonly accepted principles concerning the conditional and disjunction. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides a (...) positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (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.

Stojnić et al. (2013, 2017) argue that the reference of demonstratives is fixed without any contribution from the extra-linguistic context. On their `prominence/coherence' theory, the reference of a demonstrative expression depends only on its context-independent linguistic meaning. Here, we argue that Stojnić et al.’s striking claims can be maintained in only the thinnest technical sense. Instead of eliminating appeals to the extra-linguistic context, we show how the prominence/coherence theory merely suppresses them. Then we ask why one might be tempted to (...) try and offer such a view. Since we are rather sympathetic to the motivations we find, we close by sketching a more plausible alternative. (shrink)

Imperative sentences like Dance! do not seem to represent the world. Recent modal analyses challenge this idea, but its intuitive and historical appeal remain strong. This paper presents three new challenges for a non-representational analysis, showing that the obstacles facing it are even steeper than previously appreciated. I will argue that the only way for the non-representationalist to meet these three challenges is to adopt a dynamic semantics. Such a dynamic semantics is proposed here: imperatives introduce preferences between alternatives. This (...) characterization of meaning focuses on what function a sentence serves in discourse, rather than what that sentence refers to (e.g., a state of the world). By representing the meaning of imperatives, connectives and declaratives in a common dynamic format, the challenges posed for non-representationalism are met. (shrink)

In traditional formal semantics the notions of reference, truth and satisfaction are basic and that of representation is derivative and dispensable. If a level of representation is included in the formal presentation of the theory, it is included as a heuristic. Semantics in the traditional sense has no bearing on any form of mental processing. When reference is understood within this framework, cognitive neuroscience cannot possibly provide any insights into the nature of reference. Traditional semantics, however, has numerous shortcomings that (...) render it inadequate as an account of natural language. Dynamic semantic theories, such as discourse representation theory (DRT), treat ever­growing, revisable mental representations as the basic semantic entities. Within this framework, there are two central notions of reference. New information may refer back to previously introduced discourse referents and discourse referents may refer to worldly entities. Because DRT treats mental representations as indispensable elements of the theory, evidence from neuroscience, particularly the recording of electroencephalograms (EEG) and its derivative event-­related potentials (ERPs), can reasonably be thought to shed light on meaning and reference within this framework. In this chapter I first review the advantages of DRT in accommodating linguistic data and then review data from neuroscience that seem to support it. Finally, I consider some methodological concerns that have been raised about the neuroscientific approach to semantics. (shrink)

This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have soup and Mary can’t have (...) salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. -/- This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect. The claim possibly A or B is defined only when A and B are homogenous with respect to their modal status, either both possible or both impossible. Paired with a notion of entailment that is sensitive to definedness conditions, this theory validates Free Choice while retaining a wide variety of classical principles except for the transitivity of entailment. The homogeneity hypothesis is implemented in two different ways, homogeneous alternative semantics and homogeneous dynamic semantics, with interestingly different consequences. (shrink)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

What we can call asymmetric disagreement occurs when one agent is in disagreement with another, but not vice-versa. In this paper, I give an example of and develop a framework for understanding this phenomenon. One pivotal feature of my example is that one of the agents in the scenario has a belief about what might be the case—a might-belief. I show that a traditional account of might-beliefs and disagreement cannot explain the initially surprising phenomenon of asymmetric disagreement. In order to (...) provide an explanation, I develop a dynamic account of might-beliefs and a corresponding account of disagreement. I close by exploring a choice point for our account—showing that the simple dynamic account has some controversial (though, perhaps, true) consequences. I explore how revisionary notions of validity, inconsistency, and disagreement can allow us to avoid these consequences if we wish. (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)

The present dissertation investigates certain facets of the logical structure of oughts – where “ought” is used as a noun, roughly meaning obligation. I do so by following two lines of inquiry. The first part of the thesis places oughts in the context of practical rationality. The second part of the thesis concerns the inference rules governing arguments about oughts, and specifically the inference rule of Reasoning by Cases. These two lines of inquiry, together, aim to expound upon oughts in (...) rationality and reasoning. The methodology used in this dissertation is the one of philosophical logic, in which logical, qualitative models are developed to support and foster conceptual analysis. The dissertation consists of four main chapters. The first two chapters are devoted to the role of oughts in practical rationality. I focus on the so-called Enkratic principle of rationality, which – in its most general formulation – requires that if an agent believes sincerely and with conviction that she ought to do X, then she intends to X. I develop a logical framework to investigate the (static and dynamic) relation between those oughts believed by the agent and her intentions. It is shown that, under certain minimal assumptions, the Enkratic principle of rationality is a principle of limited validity. The following two chapters of the dissertation constitute a study of the classical inference rule of Reasoning by Cases, which – in its simplest form – moves from the premises “A or B”, “if A then C” and “if B then C” to the conclusion “C”. Recent literature has called the validity of Reasoning by Cases into question, with the most influential counterexample being the so-called Miners’ Puzzle – an instance of Reasoning by Cases where “C” involves oughts. I provide a unifying explanation of why the Miners’ Puzzle emerges. It is shown that, within specific boundaries, Reasoning by Cases is a valid inference rule. (shrink)

An influential suggestion from David Lewis is that we should think of assertions in terms of how they affect the conversational score. This note outlines a way to model conversational scores in such a way that two assertoric effects are brought together: that to assert is to propose to add information to the common ground, and that to assert is to undertake commitments. Rather than being seen as rivals, they should be viewed as complementary descriptions of our practises of making (...) assertions. (shrink)

What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed under logical (...) implication. (shrink)

I present data that suggest the universal entailments of counterfactual donkey sentences aren’t as universal as some have claimed. I argue that this favors the strategy of attributing these entailments to a special property of the similarity ordering on worlds provided by some contexts, rather than to a semantically encoded sensitivity to assignment.

We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary (...) assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

This paper offers a unified semantic explanation of two observations that prove to be problematic for classical analyses of modals, conditionals, and disjunctions: the fact that disjunctions scoping under possibility modals give rise to the free choice effect and the fact that counterfactuals license simplification of disjunctive antecedents. It shows that the data are well explained by a dynamic semantic analysis of modals and conditionals that uses ideas from the inquisitive semantic tradition in its treatment of disjunction. The analysis explains (...) why embedding a disjunctive possibility under negation reverts disjunction to its classical behavior, is general enough to predict less studied simplification patterns, and also makes progress toward a unified perspective on the distinction between informative, inquisitive, and attentive content. (shrink)

Bishop sentences such as “If a bishop meets a bishop, he blesses him” have long been considered problematic for the descriptivist (or E-type) approach of donkey anaphora (e.g. Evans, 1977; Heim, 1990; and Neale, 1990). Elbourne (2005) offers a situational descriptivist analysis that allegedly solves the problem, and furthermore extends its explanatory coverage to bishop sentence with coordinate subjects. However, I throw serious doubts on Elbourne’s analysis. Specifically, I argue that the purported solution is committed to the use of unbound (...) anaphora, and it cannot sustain the claimed empirical adequacy. (shrink)

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it means for (...) a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (shrink)

The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is the (...) characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

Folklore has it that Sobel sequences favor a variably strict analysis of conditionals over its plainly strict alternative. While recent discussions for or against the lore have focussed on Sobel sequences involving counterfactuals, this paper draws attention to the fact that indicative Sobel sequences are just as felicitous as are their counterfactual cousins. The fact, or so I shall argue here, disrupts the folklore: given minimal assumptions about the semantics and pragmatics of indicative conditionals, a textbook variably strict analysis fails (...) to predict that indicative Sobel sequences are felicitous. The correct lesson to draw from Sobel sequences is that their felicity challenges classical implementations of the variably strict and of the plainly strict analysis alike. In response to this challenge I develop a dynamic strict analysis of conditionals that handles indicative Sobel sequences with grace while preserving intuitive constraints on the semantics and pragmatics of their members. A discussion of how such an analysis may handle the challenge from reverse Sobel sequences is provided. (shrink)

This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.