Indicative vs Subjunctive Conditionals

The material account proposes that indicative conditionals are material, but it is widely believed that this account cannot be applied to subjunctive conditionals. There are three reasons for this consensus: (1) the concern that most subjunctive conditionals would be vacuously true if they were material, which seems implausible; (2) the inconsistency with Adams pair, which suggests that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that the possible world theories are a superior alternative to the material (...) account. In this paper, I will argue against (1) by showing that the counterintuitive aspects of vacuously true conditionals can be explained away in a consistent manner, regardless of whether they are indicative or subjunctive. I will support this argument by demonstrating that the positive arguments for the material account of indicatives also apply to subjunctives. I will counter (2) by explaining the Adams pair as logically equivalent conditionals that may be appropriate at different times, depending on the speaker’s epistemic situation. Finally, I will challenge (3) by arguing that the possible world account faces insurmountable issues and that a comprehensive material account of both indicatives and subjunctives is ultimately a more elegant solution. (shrink)

Work in progress. Will probably split into two papers, and then, perhaps, later, will be brought back together, along with other material, into something larger. (All this only if it works out OK!).

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 popular solutions, one purely epistemic and one contextualist. Together they suggest something like contextualism about knowledge is required to fully resolve the skeptical threat. (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ò.

Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker (1975), Karttunen & 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 the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgments. (shrink)

A part of Stalnaker (1968)’s influential theory of conditionals has been neglected, namely the role for an accessibility relation between worlds. I argue that the accessibility relation does not play the role intended for it in the theory as stated, and propose a minimal revision which solves the problem, and brings the theory in line with the formulation in Stalnaker & Thomason 1970.

Williamson proposes that a "suppositional procedure" is a central heuristic we use to evaluate the truth of conditionals, though he also argues that this method often leads us astray. An alternative approach to the link between supposition and conditionals is to claim that we are guided by our antecedent conditional judgements in our supposing, and in particular in our determining which things follow from an initial supposition. This alternative explanation of the close link between conditionals and supposition is developed and (...) compared to Williamson's proposal. (shrink)

Suppositions can be introduced in either the indicative or subjunctive mood. The introduction of either type of supposition initiates judgments that may be either qualitative, binary judgments about whether a given proposition is acceptable or quantitative, numerical ones about how acceptable it is. As such, accounts of qualitative/quantitative judgment under indicative/subjunctive supposition have been developed in the literature. We explore these four different types of theories by systematically explicating the relationships canonical representatives of each. Our representative qualitative accounts of indicative (...) and subjunctive supposition are based on the belief change operations provided by AGM revision and KM update respectively; our representative quantitative ones are offered by conditionalization and imaging. This choice is motivated by the familiar approach of understanding supposition as `provisional belief revision' wherein one temporarily treats the supposition as true and forms judgments by making appropriate changes to their other opinions. To compare the numerical judgments recommended by the quantitative theories with the binary ones recommended by the qualitative accounts, we rely on a suitably adapted version of the Lockean thesis. Ultimately, we establish a number of new results that we interpret as vindicating the often-repeated claim that conditionalization is a probabilistic version of revision, while imaging is a probabilistic version of update. (shrink)

What are the truth conditions of want ascriptions? According to an influential approach, they are intimately connected to the agent’s beliefs: ⌜S wants p⌝ is true iff, within S’s belief set, S prefers the p worlds to the not-p worlds. This approach faces a well-known problem, however: it makes the wrong predictions for what we call (counter)factual want ascriptions, wherein the agent either believes p or believes not-p—for example, ‘I want it to rain tomorrow and that is exactly what is (...) going to happen’ or ‘I want this weekend to last forever, but of course it will end in a few hours’. We solve this problem. The truth conditions for want ascriptions are, we propose, connected to the agent’s conditional beliefs. We substantiate this connection by pursuing a striking parallel between (counter)factual and non-(counter)factual want ascriptions on the one hand and counterfactual and indicative conditionals on the other. (shrink)

We construct a causal-modeling semantics for both indicative and counterfactual conditionals. As regards counterfactuals, we adopt the orthodox view that a counterfactual conditional is true in a causal model M just in case its consequent is true in the submodel M∗, generated by intervening in M, in which its antecedent is true. We supplement the orthodox semantics by introducing a new manipulation called extrapolation. We argue that an indicative conditional is true in a causal model M just in case its (...) con- sequent is true in certain submodels M∗, generated by extrapolating M, in which its antecedent is true. We show that the proposed semantics can account for some important minimal pairs nicely and naturally. We also prove a theorem showing under what conditions intervention and extrapolation will yield the same result, and thus explain how counterfactual and indicative conditionals would behave in a causal-modeling semantics. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

There is long standing agreement both among philosophers and linguists that the term ‘counterfactual conditional’ is misleading if not a misnomer. Speakers of both non-past subjunctive (or ‘would’) conditionals and past subjunctive (or ‘would have’) conditionals need not convey counterfactuality. The relationship between the conditionals in question and the counterfactuality of their antecedents is thus not one of presupposing. It is one of conversationally implicating. This paper provides a thorough examination of the arguments against the presupposition view as applied to (...) past subjunctive conditionals and finds none of them conclusive. All the relevant linguistic data, it is shown, are compatible with the assumption that past subjunctive conditionals presuppose the falsity of their antecedents. This finding is not only interesting on its own. It is of vital importance both to whether we should consider antecedent counterfactuality to be part of the conventional meaning of the conditionals in question and to whether there is a deep difference between indicative and subjective conditionals. (shrink)

Ordinary speakers intuitively assign truth-values to conditional utterances in everyday conversation, but, despite the general ease with which this occurs, it is notoriously difficult to give an account of the implicit logic that is followed in making these truth-value assignments. I propose a twofold logic of the conditional – a relatively simple “factual” logic for conditionals interpreted with regard to what is actually the case, largely following the logic of the material conditional; combined with a variably strict possible-worlds counterfactual logic (...) for conditionals interpreted with regard to with what may be (or may have been) the case, incorporating a ceteris paribus clause. This theory is able to deal with a number of challenges for other prominent views of the conditional, such as counter-intuitive truth-value ascriptions provided by notions of similarity or closeness, and difficulties adequately accounting for phenomena such as reverse Sobel sequences. (shrink)

This is a handbook article about conditionals.

We study abductive, causal, and non-causal conditionals in indicative and counterfactual formulations using probabilistic truth table tasks under incomplete probabilistic knowledge (N = 80). We frame the task as a probability-logical inference problem. The most frequently observed response type across all conditions was a class of conditional event interpretations of conditionals; it was followed by conjunction interpretations. An interesting minority of participants neglected some of the relevant imprecision involved in the premises when inferring lower or upper probability bounds on the (...) target conditional/counterfactual ("halfway responses"). We discuss the results in the light of coherence-based probability logic and the new paradigm psychology of reasoning. (shrink)

Brogaard and Salerno (2008) argued that counter-examples to contraposition, strengthening the antecedent, and hypothetical syllogism involving subjunctive conditionals only seem to work because they involve a contextual fallacy where the context assumed in the premise(s) is illicitly shifted in the conclusion. To avoid such counter-examples they have proposed that the context must remain fixed when evaluating an argument for validity. That is the Brogaard-Salerno Stricture. Tristan Haze (2016), however, has recently objected that intuitively valid argumentative forms such as conjunction introduction (...) do not satisfy this constraint. This paper has two goals. First, it argues that the Brogaard-Salerno Stricture is not violated in Haze’s putative counter-example. Second, it argues that since this stricture blocks the usual counter-examples to instances of classical argumentative forms that involve indicative or subjunctive conditionals, it is reasonable to infer that indicative and subjunctive conditionals are material. (shrink)

The standard Lewis–Stalnaker semantics of counterfactuals, given the Strong Centering Thesis, implies that all true–true counterfactuals are trivially true. McGlynn developed a theory, based on Penczek, to rehabilitate the non-triviality of true–true counterfactuals. I show here that counterfactuals with true but irrelevant components are counterexamples to McGlynn’s account. I argue that an extended version of the connection hypothesis is sustainable, and grounds a full theory of counterfactuals explicable in a broadly standard way, if an indispensable asymmetry between semifacuals and other (...) counterfactuals is acknowledged. (shrink)

At the center of the literature on conditionals lies the division between indicative and subjunctive conditionals, and Ernest Adams’ famous minimal pair: If Oswald didn’t shoot Kennedy, someone else did. If Oswald hadn’t shot Kennedy, someone else would have. While a lot of attention is paid to figuring out what these different kinds of conditionals mean, significantly less attention has been paid to the question of why their grammatical differences give rise to their semantic differences. In this paper, I articulate (...) and defend an answer to this question that illuminates and unifies the meanings of both kinds of conditionals. The basic idea is that epistemic and metaphysical possibilities differ with respect to their interaction with time, such that there can be present epistemic possibilities with different pasts, while present metaphysical possibilities share the same past. The interpretation of conditionals is subject to a pragmatic constraint that rules out interpretations in which their consequents are directly settled by information used to build their domains. The past + future morphology on subjunctives, but not indicatives, is what allows them to receive a metaphysical interpretation in light of this pragmatic constraint. The resulting theory predicts several surprising features of indicatives and subjunctives, which I argue are correct. (shrink)

A few purported counterexamples to the Adams thesis have cropped up in the literature in the last few decades. I propose a theory that accounts for them, in a way that makes the connections between indicative conditionals and counterfactuals clearer.

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

Conventional wisdom has it that many intriguing features of indicative conditionals aren’t shared by subjunctive conditionals. Subjunctive morphology is common in discussions of wishes and wants, however, and conditionals are commonly used in such discussions as well. As a result such discussions are a good place to look for subjunctive conditionals that exhibit features usually associated with indicatives alone. Here I offer subjunctive versions of J. L. Austin’s ‘biscuit’ conditionals—e.g., “There are biscuits on the sideboard if you want them”—and subjunctive (...) versions of Allan Gibbard’s ‘stand-off’ or ‘Sly Pete’ conditionals, in which speakers with no relevant false beliefs can in the same context felicitously assert conditionals with the same antecedents and contradictory consequents. My cases undercut views according to which the indicative/subjunctive divide marks a great difference in the meaning of conditionals. They also make trouble for treatments of indicative conditionals that cannot readily be generalized to subjunctives. (shrink)

In deciding whether to read this paper, it might seem reasonable for you to base your decision on your confidence (i) that, if you read this paper, you will become a better person. It might also seem reasonable for you to base your decision on your confidence (ii) that, if you were to read this paper, you would become a better person. Is there a difference between (i) and (ii)? If so, are you rationally required to base your decision on (...) your confidence in one of the two conditionals, rather than the other? Keith DeRose (2010) proposes a provocative pair of answers to these questions. In this paper, I argue that DeRose’s answers are incorrect, and I defend a rival pair of answers. (shrink)

Against Barnett (2012), I argue that the theory I advance in DeRose 2010 is best construed as one on which ‘"were"ed-up’ future-directed conditionals like ‘If the house were not to be painted, it would soon look quite shabby’ are, in ways important to how they function in deliberation, different in literal content from their ‘straightforward’ counterparts like ‘If the house is not painted, it will soon look quite shabby’. I also defend my way of classifying future-directed conditionals against an attack (...) by Barnett by defending a standard (among philosophers) approach to the basic structure of some conditionals. Finally, I counter Barnett’s charge that by using the concept of deliberation in my account of the meaning of future-directed conditionals, I put an implausibly demanding constraint on what it takes to understand such sentences. (shrink)

Practical deliberation often involves conditional judgements about what will (likely) happen if certain alternatives are pursued. It is widely assumed that the conditionals useful in deliberation are counterfactual or subjunctive conditionals. Against this, I argue that the conditionals of deliberation are indicatives. Key to the argument is an account of the relation between 'straightforward' future-directed conditionals like ' If the house is not painted, it will soon look quite shabby' and * "w e r e ' ' e d F (...) D C s like ' If the house were not to be painted, it would soon look quite shabby': an account on which both of these types of FDCs are grouped with the indicatives for semantic treatment and on which, while conditionals of both types are properly used in means/ends deliberations, those of the ' were'ed-up variety are especially well suited for that purpose. (shrink)

Practical deliberation often involves conditional judgements about what will happen if certain alternatives are pursued. It is widely assumed that the conditionals useful in deliberation are counterfactual or subjunctive conditionals. Against this, I argue that the conditionals of deliberation are indicatives. Key to the argument is an account of the relation between ‘straightforward’ future-directed conditionals like ‘If the house is not painted, it will soon look quite shabby’ and ‘ “were”ed-up’ FDCs like ‘If the house were not to be painted, (...) it would soon look quite shabby’: an account on which both of these types of FDCs are grouped with the indicatives for semantic treatment and on which, while conditionals of both types are properly used in means/ends deliberations, those of the ‘were’ed-up variety are especially well suited for that purpose. (shrink)

It is known that indicative and subjunctive conditionals interact differently with a rigidifying "actually" operator. The paper studies this difference in an abstract setting. It does not assume the framework of possible world semantics, characterizing "actually" instead by the type of logically valid formulas to which it gives rise. It is proved that in a language with such features all sentential contexts that are congruential (in the sense that they preserve logical equivalence) are extensional (in the sense that they preserve (...) material equivalence). For a subjunctive conditional, the natural conclusion to draw is that it is non-congruential. It is much harder to defend the claim that an indicative conditional is non-congruential. The pressure to treat the indicative conditional as truth-functional is correspondingly greater. The implications of these results for attempts to interpret the indicative conditional as an epistemic or doxastic operator are assessed. (shrink)

Nonmonotonic conditionals (A |∼ B) are formalizations of common sense expressions of the form “if A, normally B”. The nonmonotonic conditional is interpreted by a “high” coherent conditional probability, P(B|A) > .5. Two important properties are closely related to the nonmonotonic conditional: First, A |∼ B allows for exceptions. Second, the rules of the nonmonotonic system p guiding A |∼ B allow for withdrawing conclusions in the light of new premises. This study reports a series of three experiments on reasoning (...) with inference rules about nonmonotonic conditionals in the framework of coherence. We investigated the cut, and the right weakening rule of system p. As a critical condition, we investigated basic monotonic properties of classical (monotone) logic, namely monotonicity, transitivity, and contraposition. The results suggest that people reason nonmonotonically rather than monotonically. We propose nonmonotonic reasoning as a competence model of human reasoning. (shrink)

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

I give cases where the contrast between "if Shakespeare had not written Hamlet someone else would have" and "if Shakespeare did not write Hamlet and someone else did"is found in future tense sentences. This is often denied.

In "Against the Indicative," AUSTRALASIAN JOURNAL OF PHILOSOPHY 72 (1994): 17-26, and more recently in "Classifying `Conditionals': the Traditional Way is Wrong", ANALYSIS 60 (2000): 147, V.H. Dudman argues that (a) `If Oswald didn't shoot Kennedy then someone else did' and (b) `If Oswald doesn't shoot Kennedy then someone else will' should not be classified together as "indicative conditionals." Dudman relies on the assumption that (a) is entailed by (c) `Someone shot Kennedy', whereas (b) is not entailed by (d) `Someone (...) will shoot Kennedy'. I argue that the same reasoning which shows that (d) does not entail (b) also shows that (c) does not entail (a). One upshot is that Dudman's and Mellor's respective interpretations of so-called past indicative conditionals cannot be correct. (shrink)

The commonplaces, all grammatically confused, are that ?conditionals? are ternary in structure, have ?antecedents? and conform to the traditional taxonomy. It is maintained en route that ?The bough will not break? is consistent with ?If the bough breaks ??, that there is no logical difference between ?future indicatives? and ?subjunctives?, and that there is a difference between the logic of propositions (e.g. ?The bough broke?) and that of judgments (?The bough will/might/could/should/must/needn't break?).

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

Received doctrine has an 'antecedent' message encoded within a conditional clause, such as the string comprising the first five words of the sentence 'If the bough had broken the cradle would have fallen'. Criticisms of mine of this tenet were recently challenged by Stephen Barker. In the course of responding to his examination, I venture a snappy demonstration that the 'conditionals' such sentences encode can have neither 'antecedents' nor 'consequents'. Also, less happily, I urge a binary outermost structure for these (...) conditionals. (shrink)

David Lewis has argued that there must be a difference between indicative and counterfactual conditionals beyond an indication of truth-value commitments. He cites the following contrast to show this: If Oswald did not shoot Kennedy, then someone else did. If Oswald had not shot Kennedy, then someone else would have. In response, it is shown that this difference is better explained by shifts in context. Keep context fixed, the contrast disappears. EG: If Oswald was not the one who shot Kennedy, (...) then someone else was. If Oswald had not been the one who shot Kennedy, then someone else would have been. (shrink)

When philosophers and linguists theorize about the nature of conditionals, they tend to make a number of assumptions about the linguistic structure of these sentences. For example, they almost invariably assume that conditionals have “antecedents” and “consequents” and that these have the structure of independent clauses. With a few exceptions, they assume that conditionals are categorized according to whether they are in the “indicative” or the “subjunctive” “mood”. However, rarely do they formulate criteria for identifying these moods, or for distinguishing (...) between indicative and subjunctive conditionals.Through an analysis of the coordinated verb tense structures of the clauses of English conditionals, I challenge these and other related assumptions and show that the one relatively well-developed attempt to provide criteria for distinguishing between indicative and subjunctive conditionals---that of Gibbard (1980)---fails in its task. I then offer an alternative account of the linguistic structure of conditional constructions. To represent their structure I use first-order predicate logic with added devices to indicate deictic and anaphoric reference. (shrink)

Lowe claims that "if oswald did not kill kennedy, someone else did" is a material conditional. he also claims that the difference in truth-value between this indicative conditional and the subjunctive "if oswald had not killed kennedy, someone else would have" does not support the conclusion of lewis and others that corresponding indicative and subjunctive conditionals are not always equivalent. i dispute both claims.

The idea that english has more than one declarative "mood" has been dismissed as superstitious by empirically-minded grammarians of english for centuries--with such spectacular unsuccess, however, that the indicative/subjunctive dichotomy stands today as a cornerstone for philosophical and logical speculation about "conditionals." let me be next into the breach. i shall urge that there is no grammatical basis for any such distinction. and as for the particular adjudications of mood logicians and philosophers actually propose, there is neither rhyme nor reason (...) to them. my bent, then, is basically destructive. but i shall also be outlining a better taxonomy. (shrink)