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

We define a model for computing probabilities of right-nested conditionals in terms of graphs representing Markov chains. This is an extension of the model for simple conditionals from Wójtowicz and Wójtowicz. The model makes it possible to give a formal yet simple description of different interpretations of right-nested conditionals and to compute their probabilities in a mathematically rigorous way. In this study we focus on the problem of the probabilities of conditionals; we do not discuss questions concerning logical and metalogical (...) issues such as setting up an axiomatic framework, inference rules, defining semantics, proving completeness, soundness etc. Our theory is motivated by the possible-worlds approach ; however, our model is generally more flexible. In the paper we focus on right-nested conditionals, discussing them in detail. The graph model makes it possible to account in a unified way for both shallow and deep interpretations of right-nested conditionals. In particular, we discuss the status of the Import-Export Principle and PCCP. We briefly discuss some methodological constraints on admissible models and analyze our model with respect to them. The study also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

We define a semantics for conditionals in terms of stochastic graphs which gives a straightforward and simple method of evaluating the probabilities of conditionals. It seems to be a good and useful method in the cases already discussed in the literature, and it can easily be extended to cover more complex situations. In particular, it allows us to describe several possible interpretations of the conditional and to formalize some intuitively valid but formally incorrect considerations concerning the probabilities of conditionals under (...) these two interpretations. It also yields a powerful method of handling more complex issues. The stochastic graph semantics provides a satisfactory answer to Lewis’s arguments against the PC = CP principle, and defends important intuitions which connect the notion of probability of a conditional with the notion of conditional probability. It also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

The morphological marking that distinguishes conditionals that are called “counterfactual” from those that are not, can also be found in other modal constructions, such as in the expression of wishes and oughts. We propose to call it “X-marking”. In this article, we lay out desiderata for a successful theory of X-marking and make some initial informal observations. Much remains to be done.

Williamsonian modal epistemology is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson’s own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a criticism indicated in (...) Williamson’s own work, and argue that it is better connected to the semantics of modal language. (shrink)

Dispositionalists try to provide an account of modality—possibility, necessity, and the counterfactual conditional—in terms of dispositions. But there may be a tension between dispositionalist accounts of possibility on the one hand, and of counterfactuals on the other. Dispositionalists about possibility must hold that there are no impossible dispositions, i.e., dispositions with metaphysically impossible stimulus and/or manifestation conditions; dispositionalist accounts of counterfactuals, if they allow for non-vacuous counterpossibles, require that there are such impossible dispositions. I argue, first, that there are in (...) fact no impossible dispositions; and second, that the dispositionalist can nevertheless acknowledge the non-vacuity of some counterpossibles. The strategy in the second part is one of ‘divide and conquer’ that is not confined to the dispositionalist: it consists in arguing that counterpossibles, when non-vacuous, are read epistemically and are therefore outside the purview of a dispositional account. (shrink)

Conditional learning, where agents learn a conditional sentence ‘If A, then B,’ is difficult to incorporate into existing Bayesian models of learning. This is because conditional learning is not uniform: in some cases, learning a conditional requires decreasing the probability of the antecedent, while in other cases, the antecedent probability stays constant or increases. I argue that how one learns a conditional depends on the causal structure relating the antecedent and the consequent, leading to a causal model of conditional learning. (...) This model extends traditional Bayesian learning by incorporating causal models into agents’ epistemic states. On this theory, conditional learning proceeds in two steps. First, an agent learns a new causal model with the appropriate relationship between the antecedent and the consequent. Then, the agent narrows down the set of possible worlds to include only those which make the conditional proposition true. This model of learning can incorporate both standard cases of Bayesian learning and the non-uniform learning required to learn conditional information. (shrink)

Why can I not appropriately utter ‘It must be raining’ while standing outside in the rain, even though every world consistent with my knowledge is one in which it is raining? The common response to this problem is to hold that epistemic must, in addition to quantifying over epistemic possibilities, carries some additional evidential information concerning the source of one'S evidence. I argue that this is a mistake: epistemic modals are mere quantifiers over epistemic possibilities. My central claim is that (...) the seeming anomaly of the data above arises from a mistaken conception of what a possibility is. Instead of conceiving of possibilities as possible worlds, I argue that we should conceive of possibilities as answers to open questions. (shrink)

Stalnaker's Thesis about indicative conditionals is, roughly, that the probability one ought to assign to an indicative conditional equals the probability that one ought to assign to its consequent conditional on its antecedent. The thesis seems right. If you draw a card from a standard 52-card deck, how confident are you that the card is a diamond if it's a red card? To answer this, you calculate the proportion of red cards that are diamonds -- that is, you calculate the (...) probability of drawing a diamond conditional on drawing a red card. Skyrms' Thesis about counterfactual conditionals is, roughly, that the probability that one ought to assign to a counterfactual equals one's rational expectation of the chance, at a relevant past time, of its consequent conditional on its antecedent. This thesis also seems right. If you decide not to enter a 100-ticket lottery, how confident are you that you would have won had you bought a ticket? To answer this, you calculate the prior chance--that is, the chance just before your decision not to buy a ticket---of winning conditional on entering the lottery. The central project of this article is to develop a new uniform theory of conditionals that allows us to derive a version of Skyrms' Thesis from a version of Stalnaker's Thesis, together with a chance-deference norm relating rational credence to beliefs about objective chance. (shrink)

Given his hostility to intensional locutions, it is not surprising that Quine was suspicious of the subjunctive conditional. Although he admitted its usefulness as a heuristic device, in order to introduce dispositional terms, he held that it had no place in a finished scientific theory. In this paper I argue in support of something like Quine’s position. Many contemporary philosophers are unreflectively realist about subjunctives, regarding them as having objective truth values. I contest this. “Moderate realist” theorists, such as Lewis (...) and Stalnaker, admit that subjunctives are context-relative and often indeterminate; I argue, using some examples from the contemporary literature on conditionals, that these features are deeper and more widespread than they think. “Ultra-realist” theories, which deny any indeterminacy, are not credible. Hence subjunctives are unsuitable for certain purposes, in particular the description of mind-independent reality. (shrink)

Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...) well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

Some theories of conditionals maintain that the difference between indicative and subjunctive conditionals involves the standard temporal interpretation of past tense. I provide an argument against such theories. The argument is based on the claim that these views do not correctly predict the correspondence between tense marking and temporal interpretation in certain conditionals.

In two‐dimensional semantics in the tradition of Davies and Humberstone, whether a singular term receives an epistemically shifted reading in the scope of a modal operator depends on whether the world considered as actual is shifted. This means that epistemically shifted readings should be available only in environments where an explicit contrast between the actual world and some counterfactual worlds cannot be made. In this paper, I argue that this is incorrect. Whether a singular term receives an epistemically shifted reading (...) is independent of whether the world treated as actual is shifted. This, I argue, undermines the two‐dimensionalist account of epistemic shift. I then turn to the question how a positive view should handle these two phenomena separately. I argue for treating singular terms with a version of counterpart theory in which the difference between epistemically shifted and other readings is determined in the context of utterance. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

A middle fact is a true proposition about what would have happened had A been true (where A is in fact false), whose truth isn't entailed by any non-counterfactual facts. I argue that there are no middle facts; if there were, we wouldn't know them, and our ignorance of them would result in ignorance about whether regret is fitting in cases where we clearly know it is. But there's a problem. Consider an unflipped fair coin which is such that no (...) non-counterfactual fact determines that it would have landed heads had it been flipped (or tails had it been flipped). If there are no middle facts, it's not true that it would have landed heads had it been flipped nor that it would have landed tails had it been flipped. Yet each counterfactual is still possibly true for all we know. I argue that we can resolve this tension in the anti-middle fact position, further strengthening the case against middle facts. (shrink)

I discuss three observations about backtracking counterfactuals not predicted by existing theories, and then motivate a theory of counterfactuals that does predict them. On my theory, counterfactuals quantify over a suitably restricted set of historical possibilities from some contextually relevant past time. I motivate each feature of the theory relevant to predicting our three observations about backtracking counterfactuals. The paper concludes with replies to three potential objections.

A plausible principle about the felicitous use of indicative conditionals says that there is something strange about asserting an indicative conditional when you know whether its antecedent is true. But in most contexts there is nothing strange at all about asserting indicative conditionals like ‘If Oswald didn’t shoot Kennedy, then someone else did’. This paper argues that the only compelling explanation of these facts requires the resources of contextualism about knowledge.

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)

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...) algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects. (shrink)

In this paper I present a limitation to what may be called strictly-interventionistic causal-model semantic theories for subjunctive conditionals. And I offer a line of response to Briggs’ counterexample to Modus Ponens—given within a strictly-interventionistic framework—for the subjunctive conditional. The paper also contains some discussion of backtracking counterfactuals and backtracking interpretations. The limitation inherent to strict interventionism is brought out via a class of counterexamples. A causal-model semantics is strictly interventionistic just in case the procedure it gives for evaluating a (...) subjunctive conditional requires making the values of the variables implicated in the antecedent independent from the values of the parents of these antecedent variables. Most causal-model semantic theories that have gained attention are strictly interventionistic. (shrink)

This paper considers how counterfactuals should be evaluated on the assumption that determinism is true. I argue against Lewis's influential view that the actual laws of nature would have been false if something had happened that never actually happened, and in favour of the competing view that history would have been different all the way back. I argue that we can do adequate justice to our ordinary practice of relying on a wide range of historical truths in evaluating counterfactuals by (...) saying that, in typical cases, history would have been only *very slightly* different until shortly before the relevant time. The paper also draws some connections between the puzzle about counterfactuals under determinism and the debate about whether determinism entails that no-one can ever do otherwise than they in fact do. (shrink)

It has been suggested that intuitions supporting the nonvacuity of counterpossibles can be explained by distinguishing an epistemic and a metaphysical reading of counterfactuals. Such an explanation must answer why we tend to neglect the distinction of the two readings. By way of an answer, I offer a generalized pattern for explaining nonvacuity intuitions by a stand-and-fall relationship to certain indicative conditionals. Then, I present reasons for doubting the proposal: nonvacuists can use the epistemic reading to turn the table against (...) vacuists, telling apart significant from spurious intuitions. Moreover, our intuitions tend to survive even if we clear-headedly intend a metaphysical reading. -/- . (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)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...) jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (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)

Vann McGee has proposed a counterexample to the Ramsey Test. In the counterexample, a seemingly trustworthy source has testified that p and that if not-p, then q. If one subsequently learns not-p, then one has reason to doubt the trustworthiness of the source and so, the argument goes, one has reason to doubt the conditional asserted by the source. Since what one learns is that the antecedent of the conditional holds, these doubts are contrary to the Ramsey Test. We argue (...) that the counterexample fails. It rests on a principle of testimonial dependence that is not applicable when a source hedges his or her claims. (shrink)

This paper concerns a puzzle about the interaction of epistemic modals and future tense. In cases of predictable forgetfulness, speakers cannot describe their future states of mind with epistemic modals under future tense, but promising theories of epistemic modals do not predict this. In §1, I outline the puzzle. In §2, I argue that it undermines a very general approach to epistemic modals that draws a tight connection between epistemic modality and evidence. In §3, I defend the assumption that tense (...) can indeed scope over epistemic modals. In §4, I outline a new way of determining the domain of quantification of epistemic modals: epistemic modals quantify over the worlds compatible with the information accumulated within a certain interval. Information loss can change which interval is relevant for determining the domain. In §5, I defend the view from some objections. In §6, I explore the connections between my view of epistemic modality and circumstantial modality. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use (...) the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

In this paper I would like to offer a new framework for hypothetical reasoning, with the goal of predicting what scenarios we consider when we interpret a conditional or causal claim (such as a sentence containing the word ‘because‘). The idea is that when we interpret a conditional or causal claim, we identify a part of the world to change and imagine changing that. Sentences are about parts of the world: when we interpret a conditional antecedent or because clause, we (...) allow the part of the world it is about to vary. -/- My main evidence for this approach is that it gives just the right range of hypothetical scenarios to account for how we interpret both conditionals and causal claims. Some approaches (such as Stalnaker and Lewis’s semantics of conditionals based on similarity, and Kratzer’s premise semantics) consider too few scenarios, while others (such as Fine’s truthmaker semantics of conditionals) consider too many. The present approach inhabits a Goldilocks zone between these extremes: not too restrictive, not too permissive, but just right. (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ò.

In this survey article, I discuss the variety of ways in which language allows us to talk about the future. Topics discussed include how the category of predictive expressions broadly understood relates to the syntactic category of tense; what it means to say that a language does not have tense; how predictiveness relates to modality; and finally technical issue concerning the scope of negation in a semantics that is capable of shifting evaluation towards the future.

This thesis extends Kit Fine's truthmaker semantics for counterfactuals to indicative conditionals. First, I provide Fine's truthmaker semantics and his extension to counterfactuals. Then I introduce a notion of context state into the semantics and provide the verification-conditions for indicative conditionals by employing this notion of context state. Afterwards, I turn to the logic of indicative conditionals under exact semantics and discuss the principles and inference rules which raise disagreements between variably strict and strict conditionals accounts. The account I provide (...) shows its promise by validating a plausible combination of principles and strikes a balance between variably strict and strict conditional theories. I discuss certain principles in logic of indicative conditionals under exact semantics in detail and show how the present account validates the plausible combination of them. In the end, I draw comparisons between the viable theories for indicatives and the present one, and argue that the present account takes the advantage in several respects. (shrink)

This thesis is about indicative conditionals and apparent counterexamples to classically valid argument forms. Specifically, it applies the following four theories: - material (inspired by Grice (1961, 1975 and 1989)); - possible-worlds (inspired by Stalnaker (1981); Lewis (1976); and Kratzer (2012)), - suppositional (inspired by Adams (1975) and Edgington (1995 and 2014)); and - hybrid (inspired by Jackson (1987)) to try and solve the following two counterexamples: - Vann McGee’s to modus ponens (1985); and - Lewis Carroll’s to modus tollens (...) (1894). I argue that none of the theories I consider can explain – without facing any problems – the three individually plausible but jointly inconsistent theses that give rise to the apparent counterexamples. The three theses of the trilemma are the following: (1) the argument is invalid; (2) the argument is an instance of modus ponens or modus tollens; and (3) modus ponens or modus tollens is valid. (shrink)