What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial counterpossibles, (...) which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

According to existing accounts of indicative conditionals, any argument of the following form is valid: ϕ → ψ, ( ϕ ∧ ψ ) → χ ∴ ϕ → χ. Here, I present a set of counterexamples to show that there exist invalid arguments of this form. I argue that this data poses serious problems to variably strict accounts of conditionals, as such accounts are structurally unable to accommodate it. Dynamic strict accounts, however, are a different story. While existing dynamic strict (...) accounts do not accommodate the data, they are in principle able to, and I propose a modified dynamic strict account, drawing from von Fintel, that does. The key modification is this: whereas existing dynamic strict accounts take into account only the effects of conditional antecedents in changing the semantic context, the data shows that we must also take into account the effects of conditional consequents in changing the semantic context. (shrink)

This paper is about Sobel sequences, which are sequences of counterfactuals that supposedly display two interesting properties: first, they are consistent, as accounted for by the famous Lewis-Stalnaker analysis; but second, they are not consistent in the reverse order, which is not accounted for by Lewis-Stalnaker. I argue that there has been an empirical oversight in the literature on these sequences: there are consistent sequences, and there are irreversible sequences, but no sequence is both. The Lewis-Stalnaker theory neatly captures Sobel (...) sequences, and also captures the inconsistency of Lewis sequences. But there is still a dynamic asymmetry at work with Lewis sequences, which I account for by appeal to the pragmatic phenomenon of imprecision. Lewis sequences seem consistent because they do not belie factual disagreements, but rather metalinguistic disagreements about how precise to be. This also accounts for their irreversibility—such metalinguistic disagreements about the standard of precision are only possible in one direction, as famously observed by Lewis, who observed them in discourses not containing counterfactuals. (shrink)

Subjective predicates have two interpretive and distributional characteristics that have resisted a comprehensive analysis. First, the use of a subjective predicate to describe an object is in general felicitous only when the speaker has a particular kind of familiarity with relevant features of the object; characterizing an object as _tasty,_ for example, implies that the speaker has experience of its taste. Second, subjective predicates differ from objective predicates in their distribution under certain types of propositional attitude verbs. The goal of (...) this paper is to argue that these features can be explained in a uniform way and within a broadly truth-conditional approach to semantic content, given a view of subjective language as an essentially pragmatic, context-sensitive phenomenon. Specifically, we propose that what renders an issue subjective in discourse is speakers’ awareness of _counterstance contingency_: contingency relative to information states that represent alternative pragmatic stances. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the order is reversed. Previous proposals (...) have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the order is reversed. Previous proposals (...) have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And putative counterexamples (...) to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (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)

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne, who seek to establish that mathematics is committed to its own necessity. I demonstrate that their assumptions collapse the counterfactual conditional into the material conditional. This collapse entails the success of counterfactual strengthening, which is controversial within counterfactual logic, and which has counterexamples within pure and applied mathematics. I close (...) by discussing the dispensability of counterfactual conditionals within the language of mathematics. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means of a Lewisian system of (...) spheres. Worlds in the inner sphere are considered possible; worlds outside of it are ruled out, but to different degrees. In this way, even when a state supports “not p”, it is still possible to suppose p consistently. I argue that this account does better than its predecessors with respect to a set of desiderata concerning inferences with conditionals. In particular, it captures three important facts: that a conditional is logically independent from its antecedent; that a sequence of antecedents behaves like a single conjunctive antecedent ; and that conditionals restrict the quantification domain of epistemic modals. I also discuss two ways to construe the role of a premise, and propose a generalized notion of entailment that keeps the two apart. (shrink)

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)