This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

The aim of this paper is to present an explanation for the impact of normative considerations on people’s assessment of certain seemingly purely descriptive matters. The explanation is based on two main claims. First, a large category of expressions are tacitly modal: they are contextually equivalent to modal proxies. Second, the interpretation of predominantly circumstantial or teleological modals is subject to certain constraints which make certain possibilities salient at the expense of others.

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel sequences.

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

Closest-possible-world analyses of counterfactuals suffer from what has been called the ‘problem of counterpossibles’: some counterfactuals with metaphysically impossible antecedents seem plainly false, but the proposed analyses imply that they are all (vacuously) true. One alleged solution to this problem is the addition of impossible worlds. In this paper, I argue that the closest possible or impossible world analyses that have recently been suggested suffer from the ‘new problem of counterpossibles’: the proposed analyses imply that some plainly true counterpossibles (viz., (...) ‘counterlogicals’) are false. After motivating and presenting the ‘new problem’, I give reasons to think that the most plausible objection to my argument is not compelling. (shrink)

Statues and lumps of clay are said by some to coincide - to be numerically distinct despite being made up of the same parts. They are said to be numerically distinct because they differ modally. Coincident objects would be non-modally indiscernible, and thus appear to violate the supervenience of modal properties on nonmodal properties. But coincidence and supervenience are in fact consistent if the most fundamental modal features are not properties, but are rather relations that are symmetric as between coincident (...) entities, relations such as "opposite-possibly surviving being squashed". (shrink)

This paper proposes a formalization of ability that is motivated in part by linguistic considerations and by the philosophical literature in action theory and the logic of ability, but that is also meant to match well with planning formalisms, and so to provide an account of the role of ability in practical reasoning. Some of the philosophical literature concerning ability, and in particular [Austin, 1956], suggests that some ways of talking about ability are context-dependent. I propose a way of formalizing (...) this dependency. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

A ‘might’ counterfactual is a sentence of the form ‘If it had been the case that A, it might have been the case that C’. Recently, John Hawthorne has argued that the truth of many ‘might’ counterfactuals precludes the truth of most ‘would’ counterfactuals. I examine the semantics of ‘might’ counterfactuals, with one eye towards defusing this argument, but mostly with the aim of understanding this interesting class of sentences better.

I set out and defend a view on indicative conditionals that I call “indexical relativism ”. The core of the view is that which proposition is expressed by an utterance of a conditional is a function of the speaker’s context and the assessor’s context. This implies a kind of relativism, namely that a single utterance may be correctly assessed as true by one assessor and false by another.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

If we seek to analyse causation in terms of counterfactual conditionals then we must assume that there is a class of counterfactuals whose members (i) are all and only those we need to support our judgements of causation, (ii) have truth-conditions specifiable without any irreducible appeal to causation. I argue that (i) and (ii) are unlikely to be met by any counterfactual analysis of causation. I demonstrate this by isolating a class of counterfactuals called non-projective counterfactuals, or NP-counterfactuals, and indicate (...) how counterfactual analyses of causation must appeal to them to account for the correct causal judgements we make. I show that the truth-conditions of NP-counterfactuals are specifiable only by irreducible appeal to causation. A dilemma then holds: if counterfactual analyses of causation eschew appeal to NP-counterfactuals they are empirically inadequate, but if they appeal to NP-counterfactuals they are circular and thus conceptually inadequate. (shrink)

The epistemic thesis is the thesis that a 'might' counterfactual like 'If Matt had gone to the parade, David might have gone to the parade' has the same meaning as 'Maybe, if Matt had gone to the parade, David would have gone to the parade.' I offer a new theory of the counterfactual interpretation of the modal 'might' on which 'might' has the same meaning as 'maybe would'. And I show that, when coupled with a plausible semantics for 'if' clauses, (...) my theory validates the epistemic thesis. (shrink)

This paper defends a theory of fictional truth. According to this theory, there is a fact of the matter concerning the number of hairs on Sherlock Holmes' head, and likewise for any other meaningful question one could ask about what's true in a work of fiction. We argue that a theory of this form is needed to account for the patterns in our judgments about attitude reports that embed fictional claims. We contrast our view with one of the dominant approaches (...) to fictional truth, which originates with David Lewis. Along the way we explore the relationship between fiction, counterfactuals, and vagueness. (shrink)

The role of causation and counterfactuals in causal decision theory is vexed and disputed. Recently, Brian Hedden (2023) argues that we should abandon causal decision theory in favour of an alternative: counterfactual decision theory. I argue that, pace Hedden, counterfactual decision theory is not a competitor to, but rather a version of, causal decision theory – the most popular version by far. I provide textual evidence that the founding fathers of causal decision theory (Stalnaker, Gibbard, Harper, Lewis, Skyrms, Sobel, and (...) Joyce) all endorse counterfactual decision theories. I additionally discuss why these theories came to be called ‘causal’, rather than ‘counterfactual’. And I argue that, properly understood, causal decision theory escapes Hedden's objections. (shrink)

These are my materials (a short precis, and replies to John MacFarlane, Mitchell Green, Ryan Wasserman, and Anthony Bigg and Kristie Miller) for a symposium on my book, _The Open Future: Why Future Contingents are All False_ (OUP, 2021) in *Analytic Philosophy*. [The contribution from MacFarlane is available on his website, those from Wasserman and Green are on their Academia profiles, and the contribution from Bigg and Miller is on Miller's PhilPapers profile.].

The classic formulation of causal decision theory (CDT) appeals to counterfactuals. It says that you should aim to choose an option that would have a good outcome, were you to choose it. However, this version of CDT faces trouble if the laws of nature are deterministic. After all, the standard theory of counterfactuals says that, if the laws are deterministic, then if anything—including the choice you make—were different in the present, either the laws would be violated or the distant past (...) would be changed. And as several authors have shown, it's easy to transform this upshot of the standard theory of counterfactuals into full-blown counterexamples to CDT. In response to these counterexamples, I argue here that the problem lies, not so much with CDT's guiding idea—that it's the expected causal consequences of your actions that matter for rational decision-making—but with the fact that the classic formulation of CDT doesn't pay sufficient attention to the context-sensitivity of counterfactuals. I develop a contextualist version of CDT which better accounts for this context-sensitivity. And I show that my theory avoids the problems faced by the classic formulation of CDT in determinstic worlds. (shrink)

This paper concerns a controversy between two compelling and popular claims in the theory of ability. One is the claim that ability requires control. The other is the claim that success entails ability, that is, that φ-ing entails that you are able to φ. Since actually φ-ing obviously does not entail that φ is in your control, these two claims cannot both be true. I introduce a new form of evidence to help adjudicate this controversy: judgments about the possibility and (...) probability of ability ascriptions. I argue that these judgments provide evidence in favor of the thesis that success entails ability, and against the thesis that ability requires control. Moreover, I argue that these judgments support an analysis of ability in terms of conditionals. (shrink)

Counterfactual skepticism says that most ordinary counterfactuals are false. While few endorse counterfactual skepticism, the precise costs of the view are disputed and not generally well-understood. I have two aims in this paper. My first and primary aim is to establish, on grounds acceptable to all parties, that counterfactual skepticism is not benign. I argue it leads to significant skepticism about the future: if counterfactual skepticism is true, then we can have only very limited knowledge about the future. I give (...) three arguments to this conclusion, taking as premises principles connecting knowledge of indicative conditionals to knowledge of disjunctions; and principles linking knowledge of indicative conditionals to knowledge of counterfactual conditionals.My second aim is to examine the consequences for non-skeptical theories. My arguments indicate that not only are many ordinary counterfactuals true, but that we also know them. How can this be reconciled with the very real tension between counterfactuals and chance? I consider two solutions, one purely epistemic and one contextualist. Together they suggest something like contextualism about knowledge is required to fully resolve the skeptical threat. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

Causal eliminativists maintain that all causal talk is false. The prospects for such a view seem to be stymied by an indispensability argument, charging that any agent must distinguish between effective and ineffective strategies, and that such a distinction must commit that agent to causal notions. However, this argument has been under-explored. The contributions of this paper are twofold: first, I provide a thorough explication of the indispensability argument and the various ways it might be defended. Second, I point to (...) an important limitation in the argument and suggest that it does not give us sufficient reason to reject eliminativism. In support of this last claim, I show that the distinction between effective and ineffective strategies could perfectly well be grounded in a counterfactual rather than a causal decision theory and argue that there are fully adequate explanations of how we could come to make the requisite counterfactual judgments that need not invoke causal concepts. (shrink)

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)

Theoretical models are widely held as sources of knowledge of reality. Imagination is vital to their development and to the generation of plausible hypotheses about reality. But how can imagination, which is typically held to be completely free, effectively instruct us about reality? In this paper I argue that the key to answering this question is in constrained uses of imagination. More specifically, I identify make-believe as the right notion of imagination at work in modelling. I propose the first overarching (...) taxonomy of types of constraints on scientific imagination that enables knowledge of reality. And I identify two main kinds of knowledge enabled by models, knowledge of the imaginary scenario specified by models and knowledge of reality. (shrink)

In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing to deny the (...) conditional excluded middle principle. In order to make this point I demonstrate that (β) is valid on Stalnaker's theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

I explore the motivation and logical consequences of the idea that we have some (limited) ability to know contingent facts about the future, even in presence of the assumption that the future is objectively unsettled or indeterminate. I start by formally characterizing skepticism about the future. This analysis nudges the anti-skeptic towards the idea that if some propositions about the future are objectively indeterminate, then it may be indeterminate whether a suitably positioned agent knows them. -/- Philosophical Perspectives, Volume 35, (...) Issue 1, Page 50-69, December 2021. (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

The Free Choice effect—whereby \\) seems to entail both \ and \—has traditionally been characterized as a phenomenon affecting the deontic modal ‘may’. This paper presents an extension of the semantic account of free choice defended by Fusco to the agentive modal ‘can’, the ‘can’ which, intuitively, describes an agent’s powers. On this account, free choice is a nonspecific de re phenomenon that—unlike typical cases—affects disjunction. I begin by sketching a model of inexact ability, which grounds a modal approach to (...) agency in a Williamson -style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny ’s dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al.. In Section 3, I turn to an independently motivated actual-world-sensitive account of disjunction, and show how it extends free choice inferences into an object language for propositional modal logic. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

I have argued for a kind of ‘counterfactual scepticism’: most counterfactuals ever uttered or thought in human history are false. I briefly rehearse my main arguments. Yet common sense recoils. Ordinary speakers judge most counterfactuals that they utter and think to be true. A common defence of such judgments regards counterfactuals as context-dependent: the proposition expressed by a given counterfactual can vary according to the context in which it is uttered. In normal contexts, the counterfactuals that we utter are typically (...) true, the defence insists, while granting that there may be more rarefied contexts in which they are false. I give a taxonomy of such contextualist replies. One could be a contextualist about the counterfactual connective, about its antecedent, or about its consequent. I offer some general concerns about all these varieties of contextualism. I then focus especially on antecedent-contextualism, as I call it. I firstly raise some high-level objections to it. Then, I look at such a contextualist account due to Sandgren and Steele. I think it has many virtues, but also some problems. I conclude with some avenues for future research. (shrink)

‘If I were to toss a coin 1000 times, then it would land heads exactly n times’. Is there a specific value of n that renders this counterfactual true? According to an increasingly influential view, there is. A precursor of the view goes back to the Molinists; more recently it has been inspired by Stalnaker, and versions of it have been advocated by Hawthorne, Bradley, Moss, Schulz, and Stefánsson. More generally, I attribute to these authors what I call Counterfactual Plenitude:For (...) any antecedent A, there is a world wisuch that A ☐→ wiis true.Moreover, some of these authors are also committed to Primitive Counterfacts Realism:There exist primitive modal facts that serve as truth-makers for counterfactual claims.Call the conjunction of these italicized theses counterfactism. I clarify it and suggest some of its virtues, while ultimately rejecting it.Stefánsson’s counterfactism is motivated by and targeted at my “counterfactual skepticism”—I argue that most counterfactuals are false—and counterfactism has various other sources of support. I briefly defend that skepticism, and I seek to undercut those sources of support. I then argue more directly against counterfactism, especially on grounds of its ontological profligacy, and its leading to another kind of skepticism about counterfactuals that I believe is more problematic than my kind. In the process, I discuss how Bradley’s multidimensional semantics bears on counterfactism; I offer some new considerations against some central theses regarding conditionals ; and I reflect more generally on the epistemology of modality and the choice of primitives in our theorizing. (shrink)

In this paper, a critical discussion is made of the role of entailments in the so-called New Paradigm of psychology of reasoning based on Bayesian models of rationality (Elqayam & Over, 2013). It is argued that assessments of probabilistic coherence cannot stand on their own, but that they need to be integrated with empirical studies of intuitive entailment judgments. This need is motivated not just by the requirements of probability theory itself, but also by a need to enhance the interdisciplinary (...) integration of the psychology of reasoning with formal semantics in linguistics. The constructive goal of the paper is to introduce a new experimental paradigm, called the Dialogical Entailment task, to supplement current trends in the psychology of reasoning towards investigating knowledge-rich, social reasoning under uncertainty (Oaksford and Chater, 2019). As a case study, this experimental paradigm is applied to reasoning with conditionals and negation operators (e.g. CEM, wide and narrow negation). As part of the investigation, participants’ entailment judgments are evaluated against their probability evaluations to assess participants’ cross-task consistency over two experimental sessions. (shrink)

The hole argument purports to show that all spacetime theories of a certain form are indeterministic, including the General Theory of Relativity. The argument has given rise to an industry of searching for a metaphysics of spacetime that delivers the right modal implications to rescue determinism. In this paper, I first argue that certain prominent extant replies to the hole argument—namely, those that appeal to an essentialist doctrine about spacetime—fail to deliver the requisite modal implications. As part of my argument, (...) I show that threats to determinism of the sort brought out by the hole argument are more general than has heretofore been recognized. I then use these results to propose a novel essentialist doctrine about spacetime that successfully rescues determinism, what I call sufficiency metric essentialism. However, I go on to argue that once we realize what an essentialist doctrine about spacetime must look like in order to address the hole argument, we should reject all such doctrines, because they can't fulfill their ambition of improving on standard modal replies to the argument. I close by suggesting some lessons for future work on spacetime and the metaphysics of physics more broadly, and also drawing some general morals for contemporary metaphysics, in particular about (i) whether essence can be used to articulate a precise structuralist doctrine, and (ii) the relationship between essence and modality. (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)

I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...) a conception of conditionals as referential devices which allow us to talk about particular worlds. (shrink)

This paper is a guide to the main ideas and innovations in Robert Stalnaker's "Indicative Conditionals". The paper is for a volume of essays on twenty-one classics of formal semantics edited by Louise McNally and Zoltàn Gendler Szabò.

Disjunctive antecedent conditionals —conditionals of the form if A or B, C—sometimes seem to entail both of their simplifications and sometimes seem not to. I argue that this behavior reveals a genuine ambiguity in DACs. Along the way, I discuss a new observation about the role of focal stress in distinguishing the two interpretations of DACs. I propose a new theory, according to which the surface form of a DAC underdetermines its logical form: on one possible logical form, if A (...) or B, C does entail both of its simplifications, while on the other, it does not. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue that (...) exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)