What we want to be true about ordinary indicative conditionals seems to be more than we can possibly get: there just seems to be no good way to assign truth-conditions to ordinary indicative conditionals. Some take this argument as reason to make our wantings more modest. Others take it to show that indicative conditionals don't have truth-conditions in the first place. But we have overlooked two possibilities for assigning truth-conditions to indicatives. What's more, those possibilities deliver what we want and (...) turn out to be equivalent. CiteULike Connotea Del.icio.us Digg Reddit Technorati What's this? (shrink)

Counterfactuals are typically thought--given the force of Sobel sequences--to be variably strict conditionals. I go the other way. Sobel sequences and (what I call) Hegel sequences push us to a strict conditional analysis of counterfactuals: counterfactuals amount to some necessity modal scoped over a plain material conditional, just which modal being a function of context. To make this worth saying I need to say just how counterfactuals and context interact. No easy feat, but I have something to say on the (...) matter. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. This paper (...) develops an explanation of the puzzling facts about embedding within an orthodox framework. (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)

Conditionals are sentences of the form 'If A, then B', and they play a central role in scientific, logical, and everyday reasoning. They have been in the philosophical limelight for centuries, and more recently, they have been receiving attention from psychologists, linguists, and computer scientists. In spite of this, many key questions concerning conditionals remain unanswered. While most of the work on conditionals has addressed semantical questions - questions about the truth conditions of conditionals - this book focuses on the (...) main epistemological questions that conditionals give rise to, such as: what are the probabilities of conditionals? When is a conditional acceptable or assertable? What do we learn when we receive new conditional information? In answering these questions, this book combines the formal tools of logic and probability theory with the experimental approach of cognitive psychology. It will be of interest to students and researchers in logic, epistemology, and psychology of reasoning. (shrink)

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

entry for the Entry for the Stanford Encyclopedia of Philosophy, 2007.

Why are some conditionals subjunctive? It is often assumed that at least one crucial difference is that subjunctive conditionals presuppose that their antecedent is false, that they are counterfactual (Lakoff 1970). The traditional theory has apparently been refuted. Perhaps the clearest counter-example is one given by Alan Anderson (1951: 37): If Jones had taken arsenic, he would have shown just exactly those symptoms which he does in fact show. A typical place to use such a subjunctive conditional would be in (...) the course of an argument that tries to bolster the hypothesis that Jones did in fact take arsenic. But then it would of course be self-defeating to presuppose that the hypothesis is false. Thus, something else must be going on. (shrink)

By “epistemic modals,” I mean epistemic uses of modal words: adverbs like “necessarily,” “possibly,” and “probably,” adjectives like “necessary,” “possible,” and “probable,” and auxiliaries like “might,” “may,” “must,” and “could.” It is hard to say exactly what makes a word modal, or what makes a use of a modal epistemic, without begging the questions that will be our concern below, but some examples should get the idea across. If I say “Goldbach’s conjecture might be true, and it might be false,” (...) I am not endorsing the Cartesian view that God could have made the truths of arithmetic come out differently. I make the claim not because I believe in the metaphysical contingency of mathematics, but because I know that Goldbach’s conjecture has not yet been proved or refuted. Similarly, if I say “Joe can’t be running,” I am not saying that Joe’s constitution prohibits him from running, or that Joe is essentially a non-runner, or that Joe isn’t allowed to run. My basis for making the claim may be nothing more than that I see Joe’s running shoes hanging on a hook. (shrink)

Abstract Utterances of counterfactual conditionals are typically attended by the information that their antecedents are false. But there is as yet no account of the source of this information that is both detailed and complete. This paper describes the problem of counterfactual antecedent falsity and argues that the problem can be addressed by appeal to an adequate account of the presuppositions of various competing conditional constructions. It argues that indicative conditionals presuppose that their antecedents are epistemically possible, while subjunctive conditionals (...) bear no presupposition. Given this arrangement, utterance of the counterfactual results in an antipresupposition, that is, a scalar implicature generated from the presuppositions of competing alternatives rather than from the at-issue content of competing alternatives. The content of the antipresupposition is the negation of the presupposition of the competing indicative, i.e., that the antecedent of the conditional is known to be false by the speaker. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

: In the 1980s, the analysis of presupposition projection contributed to a ‘dynamic turn’ in semantics: the classical notion of meanings as truth conditions was replaced with a dynamic notion of meanings as Context Change Potentials. We argue that this move was misguided, and we offer an alternative in which presupposition projection follows from the combination of a fully classical semantics and a new pragmatic principle, which we call Be Articulate. This principle requires that a meaning pp’ conceptualized as involving (...) a pre-condition p should be articulated as … … rather than as … pp’ …, unless the full conjunction is ruled out because the first or the second conjunct is semantically idle. In particular, … … is infelicitous - and hence … pp’ … is acceptable - if one can determine as soon as p and is uttered that no matter how the sentence ends these words could be eliminated without affecting its contextual meaning. An equivalence theorem guarantees that this condition suffices to derive Heim’s results in almost all cases. Extensions of the condition lead to several new predictions, in particular concerning some ‘symmetric readings’, as well as presupposition projection in quantified structures, which displays a complex interaction between the nature of the trigger and the monotonicity of the quantifier. (shrink)