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)

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)

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)

In this paper, we offer a theory of the role of the nominal in complex demonstrative expressions, such as 'this dog' or 'that glove with a hole in it'.

The domain of a quantifier is determined by a variety of factors, which broadly speaking fall into two types. On the one hand, the context of utterance plays a role: if the focus of attention is on a particular collection of kangaroos, for example, then “Q kangaroos” is likely to range over the individuals in that set. On the other hand, the utterance itself will help to establish the quantificational domain, inter alia through presuppositions triggered within the sentence. In this (...) paper, we concentrate our attention on constructions like the following, in which “the square to which... ” is the critical presupposition trigger: Q circles... Q of these circles... Q of these five circles...... have the same colour as the square to which they are connected. Many theories predict that all instances of these schemata will give rise to the presupposition that every circle is connected to a square. We present an analysis which predicts that these sentences should generally be accepted in a context in which not all the circles are connected to a square, with one exception only: if a quantified sentence is of type and Q is non-intersective, then the sentence should be more likely to be rejected. Furthermore, we predict that manipulating the context so as to make the connected circles more or less salient should have an effect on statements with non-intersective quantifiers only. These predictions were tested in a series of experiments. (shrink)

This paper consists of two main parts and a coda. In the first part I present the ''binding theory'' of presupposition projection, which is the framework that I adopt in this paper (Section 1.1). I outline the main problems that arise in the interplay between presuppositions and anaphors on the one hand and attitude reports on the other (Section 1.2), and discuss Heim''s theory of presuppositions in attitude contexts (Section 1.3).In the second part of the paper I present my own (...) proposal. To begin with, I define an extension of DRT in which attitude reports can be represented (Sections 2.1–2.2). I then argue that the verb believe triggers a certain presupposition and that, given the binding theory, this presupposition determines the projection behaviour of the verb (Section 2.3). This analysis yields predictions which are incomplete in the sense that they do not fully account for speakers'' intuitions about presuppositions and anaphors in belief contexts. In Section 2.4 I suggest that this is as it should be because we may assume on independent grounds that there is a class of plausibility inferences which complement the predictions of the presupposition theory. Finally, the analysis is extended to the verb want (Section 2.5). (shrink)

This paper discusses some formal properties of trivalent approaches to presupposition projection, and in particular of the middle Kleene system of Peters (1977) and Krahmer (1998). After exploring the relationship between trivalent truth-functional accounts and dynamic accounts in the tradition of Heim (1983), I show how the middle Kleene trivalent account can be formulated in a way which shows that it meets the explanatory challenge of Schlenker (2006, 2008a,b), and provide some results relating to the application of the middle Kleene (...) approach to generalised quantifiers. (shrink)

The key to an adequate account of presupposition projection is to accommodate the fact that the presuppositions of a sentence cannot always be read off the sentence but can often be identified only on the basis of prior utterances in the conversation in which the sentence is uttered. In addition, an account of presupposition requires a three-valued semantics of assertibility and deniability in a context. Presuppositions can be explicated as sentences that belong to the conversation and the assertibility of which (...) ensures that the remaining assertibility and deniability conditions of the presupposition-bearing sentence are dual to one another. The prevailing approach to presuppositions, grounded in Heim’s context-change semantics, can be criticized both on philosophical grounds and for failing to accommodate the phenomena. (shrink)

Emma Borg has defined semantic minimalism as the thesis that the literal content of well-formed declarative sentences is truth-evaluable, fully determined by their lexico-syntactic features, and recoverable by language users with no need to access non-linguistic information. The task of this article is threefold. First, I shall raise a criticism to Borg’s minimalism based on how speakers disambiguate homonymy. Second, I will explore some ways Borg might respond to my argument and maintain that none of them offers a conclusive reply (...) to my case. Third, I shall suggest that in order for Borg’s minimalism to best accommodate the problem discussed in this paper, it should allow for semantically incomplete content and be converted into a claim about linguistic competence. (shrink)

I explain what exactly constrains presupposition projection in compound sentences and argue that the presuppositions that do not project are conditionalized, giving rise to inferable conditional presuppositions. I combine elements of and which, together with an additional, independently motivated assumption, make it possible to construct an analysis that makes correct predictions. The core of my proposal is as follows: When a speaker felicitously utters a compound sentence whose constituent clauses require presuppositions, the hearer will infer that the speaker presupposes those (...) propositions, unless the sentence contains some element that makes the hearer realize that, if the speaker actually presupposed them, she would be either uninformative or inconsistent in her beliefs. In these cases, the propositions that would have been presupposed, had the clauses been uttered in isolation, will not be presupposed, i.e. the clausal presuppositions will not project. (shrink)

In this paper I provide a new account of linguistic presuppositions, on which they are ancillary speech acts defined by constitutive norms. After providing an initial intuitive characterization of the phenomenon, I present a normative speech act account of presupposition in parallel with Williamson’s analogous account of assertion. I explain how it deals well with the problem of informative presuppositions, and how it relates to accounts for the Triggering and Projection Problems for presuppositions. I conclude with a brief discussion of (...) the consequences of the proposal for the adequacy of Williamson’s account of assertion. (shrink)

In this paper I elaborate on previous criticisms of the influential Stalnakerian account of presuppositions, pointing out that the well-known practice of informative presupposition puts heavy strain on Stalnaker’s pragmatic characterization of the phenomenon of presupposition, in particular of the triggering of presuppositions. Stalnaker has replied to previous criticisms by relying on the well-taken point that we should take into account the time at which presupposition-requirements are to be computed. In defense of a different, ‘semantic’ account of the phenomenon of (...) presupposition, I argue that that point does not suffice to rescue the Stalnakerian proposal, and I portray Lewisian ‘accommodation’ as one way in which speakers adjust themselves to one another in the course of conversation. (shrink)

The representation of Neg-Raising in the grammar is a matter of controversy. I provide evidence for representing Neg-Raising as a kind of presupposition associated with certain predicates by providing a detailed analysis of NPI-licensing in Neg-Raising contexts. Specific features of presupposition projection are used to explain the licensing of strict NPIs under Neg-Raising predicates. Discussion centers around the analysis of a licensing asymmetry noted in Horn (1971, Negative transportation: Unsafe at any speed? In CLS 7 (pp. 120–133)).Having provided this analysis, (...) I go on to discuss its implications for the theory of NPI-licensing more generally. In particular, I discuss how the present proposal reflects on von Fintel’s (1999, Journal of Semantics, 16, 97–148) proposal to use Strawson downward entailment in the statement of NPI-licensing principles. (shrink)

One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a way that helps orient theorists to the various tasks that a logic of abduction should concern itself with. We are mindful of criticisms that have been levelled against the very idea of a logic of abduction; so we think it prudent to proceed with a certain diffidence. That our own account of abduction is itself abductive is methodological (...) expression of this diffidence. A second objective is to test our conception of abduction's logical structure against some of the more promising going accounts of abductive reasoning. We offer our various suggestions in a benignly advisory way. The primary targets of our advice is ourselves, meant as guides to work we have yet to complete or, in some instances, start. It is possible that our colleagues in the abduction research communities will find our counsel to be of some interest. But we repeat that our first concern is to try to get ourselves straight about what a logic of abduction should encompass. (shrink)

In this paper, we investigate the ‘ought implies can’ thesis, focusing on explanations and interpretations of OIC, with a view to clarifying its uses and relevance to legal philosophy. We first review various issues concerning the semantics and pragmatics of OIC; then we consider how OIC may be incorporated in Hartian and Kelsenian theories of the law. Along the way we also propose a taxonomy of OIC-related claims.

Generic language (e.g., “tigers have stripes”) leads children to assume that the referenced category (e.g., tigers) is inductively informative and provides a causal explanation for the behavior of individual members. In two preregistered studies with 4- to 7-year-old children (N = 497), we considered the mechanisms underlying these effects by testing how correcting generics might affect the development of these beliefs about novel social and animal kinds (Study 1) and about gender (Study 2). Correcting generics by narrowing their scope to (...) a single individual limited beliefs that the referenced categories could explain what their members would be like while broadening the scope to a superordinate category (Study 2) uniquely limited endorsement of gender norms. Across both studies, correcting generics did not alter beliefs about feature heritability and had mixed effects on inductive inferences, suggesting that additional mechanisms (e.g., causal reasoning about shared features) contribute to the development of full-blown essentialist beliefs. These results help illuminate the mechanisms by which generics lead children to view categories as having rich inductive and causal potential; in particular, they suggest that children interpret generics as signals that speakers in their community view the referenced categories as meaningful kinds that support generalization. The findings also point the way to concrete suggestions for how adults can effectively correct problematic generics (e.g., gender stereotypes) that children may hear in daily life. (shrink)

A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.

This paper aims at an account of the German “reportive subjunctive”, where the mood signals that the proposition is the object of an utterance report. The report can be explicit in the sentence or in the context, or more or less implicit. We interpret these uses as a more or less local verification or accommodation of a presupposition introduced by the subjunctive, thus accounting for a range of facts and contributing to the theory of presuppositions.

Nakanishi :115–136, 2012) presents a novel argument for the so-called scope theory of English sentential even, based on examples with antecedent-contained deletion. Nakanishi’s argument is based on the assumption that even cannot associate with a focus which has moved out of its LF scope. I show that this assumption is incorrect, defusing Nakanishi’s argument. I propose that when even associates with a focus which has moved out of its surface scope, it actually associates with focused material in the lower copies (...) of movement. I show that a closer look at ACD examples of Nakanishi’s type in fact yields a new argument against the scope theory. I conclude that English sentential even must always be interpreted in its pronounced position. The patterns of focus association with even presented here constitute a new argument for the copy theory of movement. (shrink)

Previous theorists have claimed that Russell’s theory of definite descriptions gives the wrong truth conditions to sentences in which definite descriptions are embedded under certain other operators; but the other operators used, such as conditionals and propositional attitude verbs, have introduced intensional and hyperintensional complications that might be thought to obscure the point against Russell. This paper shows that the same kind of problem arises when the operator in question allows the context to be extensional. It is further argued that (...) presuppositional theories of definite descriptions give intuitively satisfying analyses of the novel data. (shrink)

I argue that we can reason not only to new beliefs but to basically any change in attitude we can think of, including the abandonment of belief (contra John Broome), the acquisition of non-belief attitudes like relief and admiration, and the elimination of the same. To argue for this position, which I call generalism, I defend a sufficient condition on reasoning, roughly that we can reason to any change in attitude that is expressed by the conclusion of an argument we (...) can be convinced by. I then produce examples of such arguments, and argue that they are indeed arguments. To produce such examples of the elimination of non-doxastic attitudes, I develop the idea of a state of attitudinal constraint acceptance, and show how it is useful for solving this problem, and useful in other parts of philosophy as well. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

Presuppositions are capable of projecting from under the scope of operators such as negation, but do not obligatorily do so. This creates a potential difficulty for the hearer of presupposition-bearing utterances, especially given the fact that speaker can use presupposition to convey entirely new information. In this paper, I discuss the potential role of context in resolving this tension, and in particular, I argue that the inferences that are drawn about the current discourse purpose may be materially relevant to the (...) interpretation of potential presuppositions. I also consider some of the implications of this for recent experimental work on presupposition and projection. (shrink)

This paper is about the phenomenon known as Neg-Raising. All previous analyses of Neg-Raising fall into one of two categories: syntactic and semantic/pragmatic. The syntactic approach derives the unexpected interpretation of Neg-Raising expressions from a Neg movement operation in the syntax while the semantic/pragmatic approach derives it as an inference attributed to an excluded middle associated with Neg-Raising predicates. In this squib, I discuss a collection of novel and known data, which I argue indicate that both a Neg movement operation (...) as well as an excluded middle are necessary to account for the full range of data. I propose that Neg-Raising is an intrinsically semantic/pragmatic phenomenon and that the Neg movement operation is conditioned by the presence of an excluded middle. I offer a generalization that takes a step towards understanding this mysterious dependency. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

This paper offers a semantically-based solution to the problem of predicting whether a verb will display the subjective conjugation or the objective conjugation in Hungarian. This alternation correlates with the definiteness of the object, but definiteness is not a completely reliable indicator of the subjective/objective alternation, nor is specificity. A prominent view is that the subjective/objective alternation is conditioned by the syntactic category of the object, but this view has also been shown to be untenable. This paper offers a semantic (...) solution: If the referential argument of a phrase is lexically specified as familiar/new, then the phrase bears the feature [+DEF]/[−DEF], and this feature governs the conjugations. The notions of novelty and familiarity are made precise using a compositional version of DRT in the context of a suitably large fragment of Hungarian, including local and non-local personal pronouns, demonstratives, definite and indefinite articles, quantifiers, wh-words, numerals, and possessives. (shrink)

Some theories assume that sentences like (i) with a presupposition trigger in the scope of a quantifier carry an existential presupposition, as in (ii); others assume that they carry a universal presupposition, as in (iii). No student knows that he is lucky. Existential presupposition: At least one student is lucky.Universal presupposition: Every student is lucky. This work is an experimental investigation of this issue in French. Native speakers were recruited to evaluate the robustness of the inference from (i) to (iii). (...) The main result is that presuppositions triggered from the scope of the quantifier aucun‘no’ are in fact universal. But the present results also suggest that the presuppositions triggered from the scope of other quantifiers depend on the quantifier. This calls for important changes in the main theories of presupposition projection. (shrink)

This paper argues for and explores the implications of the following epistemological principle for knowability a priori (with 'Ka' abbreviating 'it is knowable a priori that'). -/- (AK) For all ϕ, ψ such that ϕ semantically presupposes ψ: if Ka(ϕ), Ka(ψ). -/- Well-known arguments for the contingent a priori and a priori knowledge of logical truth founder when the semantic presuppositions of the putative items of knowledge are made explicit. Likewise, certain kinds of analytic truth turn out to carry semantic (...) presuppositions that make them ineligible as items of a priori knowledge. -/- On a happier note, I argue that (AK) offers an appealing, theory-neutral explanation of the a posteriori character of certain necessary identities, as well as an interesting rationalization for a commonplace linguistic maneuver in philosophical work on the a priori. (shrink)

I argue that taking the Practical Conditionals Thesis seriously demands a new understanding of the semantics of such conditionals. Practical Conditionals Thesis: A practical conditional [if A][ought] expresses B’s conditional preferability given A Paul Weirich has argued that the conditional utility of a state of affairs B on A is to be identified as the degree to which it is desired under indicative supposition that A. Similarly, exploiting the PCT, I will argue that the proper analysis of indicative practical conditionals (...) is in terms of what is planned, desired, or preferred, given suppositional changes to an agent’s information. Implementing such a conception of conditional preference in a semantic analysis of indicative practical conditionals turns out to be incompatible with any approach which treats the indicative conditional as expressing non-vacuous universal quantification over some domain of relevant antecedent-possibilities. Such analyses, I argue, encode a fundamental misunderstanding of what it is to be best, given some condition. The analysis that does the best vis-à-vis the PCT is, instead, one that blends a Context-Shifty account of indicative antecedents with an Expressivistic, or non-propositional, treatment of their practical consequents. (shrink)

We present two experimental studies on the Italian expressive ‘stronzo’. The first study tests whether, and to which extent, the acceptability of using an expressive is sensitive to the information available in the context. The study looks both at referential uses of expressives and predicative uses of expressives. The results show that expressives are sensitive to contextual information to a much higher degree than the non-expressive control items in their referential use, but also, albeit to a lesser degree, in their (...) predicative use. The second study tests whether the lower acceptability of expressives in their predicative use may be simply due to saying something negative about someone. A comparison between expressives, such as ‘jerk’, and non-expressive negative terms, such as ‘nasty’ or ‘unbearable’, suggests that it is the expressive nature of these terms, rather than the mere negative valence, that affects acceptability. Our studies present a major challenge to the existing accounts of expressives, and raise several theoretical issues that still call for an answer. (shrink)

I argue for an analysis of ‘therefore’ as presupposition trigger against the more standard conventional implicature story originally put forward by Grice (1975). I propose that we model the relevant presupposition as “testing” the context in a way that is similar to how, according to some dynamic treatments of epistemic `must', ‘must’ tests the context. But whereas the presupposition analysis is plausible for ‘therefore’, ‘must’ is not plausibly a presupposition trigger. Moreover, whereas ‘must’ can naturally occur under a supposition, the (...) same is not true for ‘therefore’. In the light of these differences, I suggest we distinguish between different sorts of tests on the basis of the mechanisms whereby these expressions test the context (whether through a presupposition or through their core content) and on the basis of whether they can operate only on categorical contexts or on both categorical and hypothetical contexts. (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.

Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker 1975; Karttunen and Peters 1979; von Fintel 1998). This means we can ask an important, but under-explored, question: in contexts which license both, what relations hold between the two? In this paper, I’ll argue for an initially surprising conclusion: when attention is restricted to the relevant contexts, indicatives and subjunctives are co-entailing. §1 introduces the indicative/subjunctive distinction, along with a discussion of the (...) relevant notion of entailment; §2 presents the main argument of the paper, and §3 considers some of the philosophical implications of the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgements. (shrink)

Given current data, only a few binary Boolean operators are expressed in lexically simple fashion in the world's languages: and, or, nor. These do not occur in every combination, for example, nor is not observed by itself. To explain these cross‐linguistic patterns, we propose an encoding of Boolean operators as update procedures to accept or reject information in a context. We define a measure of conceptual simplicity for such updates, on which attested operators are conceptually simpler than the remaining Booleans. (...) Moreover, we show that language evolution selects for the attested lexical inventories by minimizing the complexity of using a lexical inventory compositionally to convey precise information. (shrink)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a new dynamic system (...) couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (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 draw attention to comparative preference claims, i.e. sentences of the form \S prefers p to q\. I show that preference claims exhibit interesting patterns, and try to develop a semantics that captures them. Then I use my account of preference to provide an analysis of desire. The resulting entry for desire ascriptions is independently motivated, and finds support from a wide range of phenomena.

This is the first part of a larger project that aims to develop a cross-categorical semantic account of a broad range of _as if_ constructions in English. In this paper, we focus on descriptive uses of _as if_ with regular truth-conditional content. The core proposal is that _as if_-phrases contribute hypothetical (_if_-like) and comparative (_as_-like) properties of situations, which are instantiated by an event, state, or larger situation when it resembles in some relevant respect its counterparts in selected stereotypical worlds (...) described by the clause embedded under _as if_. We motivate and develop this situation-semantic analysis in detail for examples like _Pedro danced as if he was possessed by demons_ where the modifying _as if_-adjunct is used to inferentially convey the manner of a reported activity. We extend this analysis to _as if_-complements of perception verbs in reports like _The soup tastes as if it contains fish sauce_, offering an alternative to conceptually problematic approaches that assimilate such perceptual resemblance reports to propositional attitude ascriptions. We also examine the predicative function of _as if_ in examples like _The state of the house is as if a tornado passed through it_ where the _as if_-phrase denotes a hypothetical comparative property of the nominal subject. (shrink)

This paper reports an experimental investigation of presuppositions and scalar implicatures in language acquisition. Recent proposals posit the same mechanisms for generating both types of inferences, in contrast to the traditional view. We used a Covered Box picture selection task to compare the interpretations assigned by two groups of children and by adults, in response to sentences with presuppositions and ones with either ‘direct’ or ‘indirect’ scalar implicatures. The main finding was that the behavior of children and adults differed across (...) inference types. This asymmetry is consistent with the traditional perspective, but poses a challenge for the more recent uniform accounts. We discuss how the latter could be amended to account for these findings, and also relate the findings to previous results on presupposition processing. Finally, we discuss an unexpected difference found between direct and indirect scalar implicatures. (shrink)

I outline a discourse-based account of presuppositions that relies on insights from the writings of Peter Strawson, as well as on insights from more recent work by Robert Stalnaker and Barbara Abbott. One of the key elements of my account is the idea that presuppositions are “assertorically inert”, in the sense that they are background propositions, rather than being part of the “at issue” or asserted content. Strawson is often assumed to have defended the view that the falsity of a (...) presupposition leads to catastrophe, in the sense that a false presupposition “wrecks the assertive enterprise”. I argue that the discourse-based account in terms of assertoric inertia can explain how cases of presupposition failure can sometimes be non-catastrophic; there are cases in which the assertive enterprise operates smoothly, despite presupposition failure. The chief problem facing this line of argument is to account for cases in which presupposition failure is catastrophic. If presuppositions are assertorically inert, then how can their falsity ever wreck the assertive enterprise? I offer a principled account that delineates the circumstances in which false presuppositions are, and those in which they are not, catastrophic. (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)

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

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