Indicative Conditionals, Misc

The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or not (...) arguments involving conditionals are valid. I also demonstrate that the Paradox of Indicative Conditionals does not actually involve a paradox, but instead contains some paralogistic elements that make it appear to be a paradox. The discussion of the paradox in this paper further reveals that the material interpretation of conditionals adversely affects the treatment of disjunctions. -/- Much has been said about these matters in the literature that point in the same direction. However, there seems to be some reluctance against fully complying with the arguments against the truth functional account of conditionals, since many of the alternative accounts rely on the material conditional, or at least on an understanding of the conditional as a function of antecedent and consequent in a similar sense as the material conditional. My argument against truth functionality indicates that it may in general involve similar problems to treat conditionals as such functions, whether one deals with theories of truth, assertability or probability. (shrink)

Four intuitions are recurrent and influential in theories about conditionals: the Ramsey’s test, the Adams’ Thesis, the Equation, and the robustness requirement. For simplicity’s sake, I call these intuitions ‘the big four’. My aim is to show that: (1) the big four are interdependent; (2) they express our inferential dispositions to employ a conditional on a modus ponens; (3) the disposition to employ conditionals on a modus ponens doesn’t have the epistemic significance that is usually attributed to it, since the (...) acceptability or truth conditions of a conditional is not necessarily associated with its employability on a modus ponens. (shrink)

Akman (2017) argued that our logic textbooks should be burned, since they present a propositional analysis of necessary and sufficient conditions that leads to a contradiction. According to Akman, we should instead adopt a first-order analysis where conditions are interpreted as one-place predicates. I will argue that (1) Akman’s argument fails to show that the propositional analysis of conditions leads to a contradiction, since the negation of a conjunction is not a conjunction with negated conjuncts, but rather a disjunction with (...) negated disjuncts; (2) we can still infer a contradiction from the propositional analysis of conditions by negating two propositions individually and using them to form a conjunction that is contradictory; (3) Akman’s interpretation of the first-order analysis does not accurately represent most attributions of conditions; (4) a proper representation of most attributions of conditions in the first-order analysis also implies a contradiction; (5) the propositional and the first-order analysis of conditions imply a contradiction because they use the material conditional, but they can be formulated with other conditional connectives that prevent this consequence; (6) we should still maintain the material conditional in both analyses and explain away its counter-intuitive character as the result of an epistemic bias that favours intentional evidence over extensional evidence, and acceptability conditions and criteria of truth over truth conditions. (shrink)

There is a profound, but frequently ignored, relationship between the classical conception of logical consequence and the material implication. The first repeats the patterns of the latter, but with a wider modal reach. This relationship suggests that there should be also a connection between the notion of logical consequence and the conditional connective of any given logical system. This implies, among other things, that it is incoherent to propose alternatives to the material implication while maintaining the classical conception of logical (...) consequence. The other important implication is that we need to posit different conceptions of logical consequence that are consistent with different theories of conditionals in order to evaluate their relative merits from new and unexplored angles. As a pilot study of this research program, we evaluate two new notions of logical consequence motivated by conditional-assertion theory and possible world theories. Those alternatives are compared unfavourably with the classical conception of logical consequence. (shrink)

The material account of indicative conditionals states that indicative conditional sentences and the material implication have the same truth conditions. Many conditional logics are motivated by attempts to fix the counter-intuitive aspects associated with the material account. Some counter-intuitive instances of classical argumentative forms, e.g., strengthening of the antecedent, contraposition, and conditional negation, are regarded as evidence that the material account is wrong and that classical logic should be rejected in favour of a new logic system in which these argumentative (...) forms are invalid. It is argued that these logical revisions are ad hoc, because those controversial argumentative forms are implied by other argumentative forms we want to keep. It is impossible to remove a counter-intuitive argumentative form from a logical system without getting entangled in an intricate logical web, since these revisions imply the removal of other parts of logic we want to maintain. Consequently, these revisions are incoherent and unwarranted. At the very least, the usual approach in the analysis of putative counter-examples of argumentative forms must be seriously reconsidered. (shrink)

The material account of indicative conditionals faces a legion of counterexamples that are the bread and butter in any entry about the subject. For this reason, the material account is widely unpopular among conditional experts. I will argue that this consensus was not built on solid foundations, since these counterexamples are contextual fallacies. They ignore a basic tenet of semantics according to which when evaluating arguments for validity we need to maintain the context constant, otherwise any argumentative form can be (...) rendered invalid. If we maintain the context fixed, the counterexamples to the material account are disarmed. Throughout the paper I also consider the ramifications of this defence, make suggestions to prevent contextual fallacies, and anticipate some possible misunderstandings and objections. (shrink)

Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences in two circumstances: (1) when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a proposition she (...) accepts because she doesn’t know what the truth-values of its propositional contents; (2) when she accepts a proposition based on extensional evidence, but thinks that this evidence is insufficient to establish its logical consequences, which would require intensional evidence. It is argued that this tension is responsible for the counter-intuitive aspects of the material account of conditionals involving the negation of conditionals, hypothetical syllogism, contraposition and the inferential passage from disjunctions to conditionals (or-to-if). This tension is also behind some known puzzles involving conditionals, namely, conditional stand-offs, Adam pairs, the cheating partner example, jump-out conditionals, the problem of counterfactuals and the burglar’s puzzle. It is shown that this tension is always dissolved in favour of extensional evidence, since intensional evidence is defeasible, while extensional evidence is not. Thus, it is irrational to deny the logical consequences of an accepted proposition due to its reliance on intensional evidence and ignorance of its extensional evidence. (shrink)

It is usually accepted that conditional sentences are sui generis and enigmatic. In this paper I try to make them more accessible by interpreting them as claims to relations of implication restricted to a parameter world. This interpretation revives an old idea that fell into disuse, but in its improved version leads to refreshing solutions to known problems in conditional theory. The many benefits of this approach are evidenced by its insightful explanation of some apparent counter-examples to classical argumentative forms (...) (the paradoxes of material implication, antecedent strengthening, contraposition, hypothetical syllogism, conditional negation), conditional standoffs, the problem of counterfactuals, the referential/inferential nature of conditionals, the Apartheid thesis, the triviality results and conditionals embedding. (shrink)

Moti Mizrahi (2013) presented a putative counterexample to Hypothetical Syllogism (HS) for indicative conditionals aiming to succeed where previous attempts to refute HS have failed. Lee Walters (2014a) objected that Mizrahi’s putative counterexample results from an inadequate analysis of conditionals with embedded modals, but advanced new putative counterexamples to HS for subjunctive conditionals that are supposed to bypass this issue (Walters, 2014a; 2014b). It is argued that Walter’s analysis of embedded modals is unnecessary to prevent Mizrahi’s putative counterexample, since the (...) example can be disarmed either as a fallacy of equivocation or as a contextual fallacy. Walters’s putative counterexamples to HS are also criticized as contextual fallacies. The conclusion is that neither Mizrahi nor Walters provided compelling reasons to reject HS. (shrink)

The material account of indicative conditionals states that indicative conditional sentences and the material implication have the same truth conditions. Recently, Adam Rieger has carried out a survey of arguments in favour of the material account. In this paper, I extend this survey by presenting yet more arguments for the material account. On top of presenting more arguments, I also want to argue that it is plausible to extend the material account to subjunctive conditionals. For that reason, the arguments here (...) presented contain principles that hold for both indicative and subjunctive conditionals. Towards the end, I defend why there are good reasons to accept these new arguments and try to explain why similar arguments have been somewhat unpopular. (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, Yael Sharvit and Zoltàn Gendler Szabò.

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 \, 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 (...) consequent is true in certain submodels \, 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)

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.

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.

In this paper I will be concerned with the question as to whether expressivist theories of meaning can coherently be combined with deflationist theories of truth. After outlining what I take expressivism to be and what I take deflationism about truth to be, I’ll explain why I don’t take the general version of this question to be very hard, and why the answer is ‘yes’. Having settled that, I’ll move on to what I take to be a more pressing and (...) interesting version of the question, arising from a prima facie tension between deflationism about truth and the motivations underlying expressivism for what I take to be two of its most promising applications: to indicative conditionals and epistemic modals. Here I’ll argue that the challenge is substantive, but that there is no conceptual obstacle to its being met, provided that one’s expressivism takes the right form. (shrink)

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) (...) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

I generalize the notion of a conditional attitude by bringing together two topics of inquiry. One is the ordinary inquiry into conditional attitudes. The other topic is the inquiry into the attitude of thinking that a proposition is likely, or having a high credence in a proposition. For instance, what is it to intend to go to the game if it is likely that Kershaw pitches? Being likely that Kershaw pitches is the condition of the attitude. Given a natural position (...) about statements like “It is likely that Kershaw pitches,” the target attitude looks different from ordinary conditional attitudes. (shrink)

We show that each of three natural sets of assumptions about the conditional entails necessitarianism: that anything possible is necessary.

A festschrift for Dorothy Edgington, containing contributions from Cleo Condoravdi, Dorothy Edgington, Kit Fine, Alan Hájek, John Hawthorne, Sabine Iatridou, Nick Jones, Rosanna Keefe, Angelika Kratzer, David Over, Daniel Rothschild, Robert Stalnaker, Scott Sturgeon, and Timothy Williamson.

Decision theorists tend to treat indicative conditionals with reservation, because they can easily lead a deliberating agent astray. However, many indicatives can be very helpful in contexts of deliberation, so denying them all a role in such contexts seems to be overkill. We show that a recently revived inferential view on conditionals provides a straightforward explanation of why some indicatives are unassertable in contexts of deliberation and hints at a way of telling "deliberationally useless" and "deliberationally useful" conditionals apart.

A conversation can be conceived as aiming to circumscribe a set of possibilities that are relevant to the goals of the conversation. This set of possibilities may be conceived as determined by the goals and objective circumstances of the interlocutors and not by their propositional attitudes. An indicative conditional can be conceived as circumscribing a set of possibilities that have a certain property: If the set of relevant possibilities is subsequently restricted to one in which the antecedent holds, then it (...) will be restricted as well to one in which the consequent holds. We will identify a number of desiderata concerning the validity of arguments; we will develop a formally precise semantics for conditionals conceived in this way that satisfies the desiderata, and we will present a deductive calculus that is sound and complete with respect to the semantics. Finally, we will argue that the semantics compares well, both formally and foundationally, with two other semantic theories of indicative conditionals that satisfy the desiderata, namely, those of Gillies and Bledin. (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)

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)

The present dissertation investigates certain facets of the logical structure of oughts – where “ought” is used as a noun, roughly meaning obligation. I do so by following two lines of inquiry. The first part of the thesis places oughts in the context of practical rationality. The second part of the thesis concerns the inference rules governing arguments about oughts, and specifically the inference rule of Reasoning by Cases. These two lines of inquiry, together, aim to expound upon oughts in (...) rationality and reasoning. The methodology used in this dissertation is the one of philosophical logic, in which logical, qualitative models are developed to support and foster conceptual analysis. The dissertation consists of four main chapters. The first two chapters are devoted to the role of oughts in practical rationality. I focus on the so-called Enkratic principle of rationality, which – in its most general formulation – requires that if an agent believes sincerely and with conviction that she ought to do X, then she intends to X. I develop a logical framework to investigate the (static and dynamic) relation between those oughts believed by the agent and her intentions. It is shown that, under certain minimal assumptions, the Enkratic principle of rationality is a principle of limited validity. The following two chapters of the dissertation constitute a study of the classical inference rule of Reasoning by Cases, which – in its simplest form – moves from the premises “A or B”, “if A then C” and “if B then C” to the conclusion “C”. Recent literature has called the validity of Reasoning by Cases into question, with the most influential counterexample being the so-called Miners’ Puzzle – an instance of Reasoning by Cases where “C” involves oughts. I provide a unifying explanation of why the Miners’ Puzzle emerges. It is shown that, within specific boundaries, Reasoning by Cases is a valid inference rule. (shrink)

Chancy modus ponens is the following inference scheme: ‘probably φ’, ‘if φ, then ψ’, therefore, ‘probably ψ’. I argue that Chancy modus ponens is invalid in general. I further argue that the invalidity of Chancy modus ponens sheds new light on the alleged counterexample to modus ponens presented by McGee. I close by observing that, although Chancy modus ponens is invalid in general, we can recover a restricted sense in which this scheme of inference is valid.

The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is the (...) characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

When we discuss normative reasons, oughts, requirements of rationality, hypothetical imperatives (or “anankastic conditionals”), motivating reasons and so on, we often use verbs like “believe” and “want” to capture a relevant subject’s perspective. According to the received view about sentences involving these verbs, what they do is describe the subject’s mental states. Many puzzles concerning normative discourse have to do with the role that mental states consequently appear to play in this discourse. This book uses tools from formal semantics and (...) the philosophy of language to develop an alternative account of sentences involving these verbs. According to this view, which is called parentheticalism (in honour of J. O. Urmson), we very commonly use these verbs in a parenthetical sense. Used with this sense, these verbs themselves express backgrounded side-remarks on the contents they embed, and these latter, embedded contents constitute the at-issue contents of our utterances. This means that instead of speaking about the subject’s mental states, we often use sentences involving “believe” and “want” to speak about the world in a way that, in the conversational background, relates our utterances to her point of view. This idea is made precise, and it is used to solve various puzzles concerning normative discourse. The final result is a new, unified understanding of normative discourse, which gets by without postulating conceptual breaks between objective and subjective normative reasons, or normative reasons and rationality, or indeed between the reasons we ascribe to an agent and the reasons she herself can be expected to cite. Instead of being connected to either subjective mental states or objective facts, all of these normative statuses can be adequately articulated by citing worldly considerations from the subject’s point of view. (shrink)

ABSTRACTIf-thenism is a strategy of paraphrasing seemingly obvious claims in order to avoid their problematic commitments. The success of this strategy, says Yablo, depends on the possibility of reading everyday language conditionals incrementally. The incremental reading is to exclude that the supposition of the antecedent might interfere with the truth of the consequent, as in the standard or ‘interference’ reading. I argue that Yablo's main arguments for the incremental reading are question-begging.

Sobel sequences have had a huge impact on the discussion of counterfactuals. They can be composed of conditionals and mere descriptions. What is especially puzzling about them is that they are often felicitously uttered when their reversal is not. Up to now, there is no unified explanation. I examine two strategies. We might begin with conditionals and proceed to descriptions. Or we might begin with descriptions and proceed to conditionals. I argue for the latter variant and outline a universal theory (...) of Sobel sequences in terms of presuppositional anaphora. One relevant result is that the phenomenon neither counts against nor in favour of the simplified standard account of counterfactuals à la Stalnaker-Lewis. (shrink)

This is a handbook article about conditionals.

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)

Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for (...) a language with epistemic modals and indicative conditionals. In the other direction, the formal semantics for indicative conditionals due to Kolodny and MacFarlane [9] gives rise to a new dynamic operator that is very natural from the point of view of dynamic epistemic logic, allowing succinct expression of dependence (as in dependence logic) or supervenience statements. We prove decidability for the logic with epistemic modals and Kolodny and MacFarlane's indicative conditional via a full and faithful computable translation from their logic to the modal logic K45. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and classical (...) logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

It is generally agreed that there are two kinds of indicative conditionals that do not contain conditional 'then.' There are hypothetical conditionals such as 'If Mary has done the groceries, there is beer in the fridge' and there are biscuit conditionals such as 'If you are thirsty, there is beer in the fridge.' There is also broad consensus that we cannot find an analogous distinction between hypothetical and biscuit conditionals within indicative conditionals that do feature 'then.' Conditionals containing 'then,' it (...) is assumed, are uniformly read as hypothetical conditionals. In this article, I shall argue that there are biscuit conditionals featuring 'then.' This result, I take it, is not only interesting on its own. It also puts pressure on the popular view that conditional 'then' triggers the presupposition that in some situations in which the conditional's antecedent is not true, its consequent is not true either. (shrink)

In this paper I look at indicative nested whether-conditionals, sentences like:If I pass the exam, I will pass whether I pray or not.The behavior of ‘if’ in these examples is to be contrasted with the behavior of ‘if’ in or-to-if conditionals:If Mary is at home or at work, then if she is not at home, she is at work.I argue that no currently available semantics for indicative conditionals can explain both the behavior of ‘if’ in nested whether-conditionals and the behavior (...) of ‘if’ in or-to-ifs. We need a theory that predicts both. While no currently available theory makes the right predictions, one theory comes close—Heim’s rendition of Stalnaker’s semantics :183–221, 1992). I show how to fix Heim’s view to get the right results for all cases. In sum, the paper argues for a particular development of Stalnaker’s semantics, and shows that whether-conditionals cannot be dealt with on other approaches. (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.

Kratzer semantics for modals and conditionals generates the prediction that sentences of the form if p, ought p are trivially true. As Frank and Zvolenszky show, for certain flavors of modality, like deontic modality, this prediction is false. I explain some conservative solutions to the problem, and then argue that they are inadequate to account for puzzle cases involving self-frustrating oughts. These cases illustrate a general problem: there are two forms of information-sensitivity in deontic modals. Even generalizations of Kratzer semantics (...) that predict these two roles for information, e.g. Kolodny and MacFarlane, predict that they vary together. I propose a generalization of Kratzer semantics that allows the two roles for information to vary independently of each other. (shrink)

The dominance conditional 'If I drink the contents of cup A, I will drink more than if drink the contents of cup B' is true if we know that the first cup contains more than the second. In the first part of the paper, I show that only one kind of theory of indicative conditionals can explain this fact — a Stalnaker-type semantics. In the second part of the paper, I show that dominance conditionals can help explain a long-standing mystery: (...) the question of how one-boxers and two-boxers are guided by conditionals to their respective answers to the Newcomb problem. I will suggest that both implicitly appeal to a decision theoretic principle I will call the Dominance Norm (DN), a principle that connects indicative dominance conditionals with rational courses of action. Finally, I show that DN in combination with a Stalnaker-type theory of indicatives commits us to the two-boxing answer in the Newcomb problem. (shrink)

No existing conditional semantics captures the dual role of 'if' in embedded interrogatives — 'X wonders if p' — and conditionals. This paper presses the importance and extent of this challenge, linking it to cross-linguistic patterns and other phenomena involving conditionals. Among these other phenomena are conditionals with multiple 'if'-clauses in the antecedent — 'if p and if q, then r' — and relevance conditionals — 'if you are hungry, there is food in the cupboard'. Both phenomena are shown to (...) be problematic for existing analyses. Surprisingly, the decomposition of conditionals needed to capture the link with interrogatives provides a new analysis that captures all three phenomena. The model-theoretic semantics offered here relies on a dynamic conception of meaning and compositionality, a feature discussed throughout. (shrink)

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)

A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...) story showcases two bonus applications of the framework suggested here: it offers a response to Forrester's gentle murder paradox and avoids Kolodny and MacFarlane's miners paradox about deontic reasoning under epistemic uncertainty. A comparison between the dynamic semantic proposal made in this paper and a more conservative approach combining a static semantics with a dynamic pragmatics is provided. (shrink)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...) esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution (...) requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

A proof by Allan Gibbard (Ifs: Conditionals, beliefs, decision, chance, time. Reidel, Dordrecht, 1981) seems to demonstrate that if indicative conditionals have truth conditions, they cannot be stronger than material implication. Angelika Kratzer's theory that conditionals do not denote two-place operators purports to escape this result [see Kratzer (Chic Linguist Soc 22(2):1–15, 1986, 2012)]. In this note, I raise some trouble for Kratzer’s proposed method of escape and then show that her semantics avoids this consequence of Gibbard’s proof by denying (...) modus ponens. I also show that the same holds for Anthony Gillies’ semantics (Philos Rev 118(3):325–349, 2009) and argue that this consequence of these theories is not obviously prohibitive—hence, both remain viable theories of indicative conditionals. (shrink)

Many conditionals seem to convey the existence of a link between their antecedent and consequent. We draw on a recently proposed typology of conditionals to argue for an old philosophical idea according to which the link is inferential in nature. We show that the proposal has explanatory force by presenting empirical results on the evidential meaning of certain English and Dutch modal expressions.

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

This discussion note attempts to show that, pace Niko Kolodny and John MacFarlane, the Miners case intuitively speaks in favor of subjectivism. I argue that properly understood the intuitively correct judgements concerning the case are compatible with subjectivism. My argument is based, among other things, on a comparison between the Minders case and other cases as well as on considerations of blameworthiness.

This is a handbook article about indicative conditionals.

At least many conditionals seem to convey the existence of a link between their antecedent and consequent. We draw on a recently proposed typology of conditionals to revive an old philosophical idea according to which the link is inferential in nature. We show that the proposal has explanatory force by presenting empirical results on two Dutch linguistic markers.