Subjunctive Conditionals, Misc

(No abstract is available for this citation).

The natural interpretation of counterfactuals with disjunctive antecedents involves selecting from each of the disjuncts the worlds that come closest to the world of evaluation. It has been long noticed that capturing this interpretation poses a problem for a minimal change semantics for counterfactuals, because selecting the closest worlds from each disjunct requires accessing the denotation of the disjuncts from the denotation of the disjunctive antecedent, which the standard boolean analysis of or does not allow (Creary and Hill, Philosophy of (...) Science 43:341–344, 1975; Nute, Journal of Philosophy 72:773–778, 1975; Fine, Mind 84(335):451–458, 1975; Ellis et al. Journal of Philosophical Logic 6:335–357, 1977). This paper argues that the failure to capture the natural interpretation of disjunctive counterfactuals provides no reason to abandon a minimal change semantics. It shows that the natural interpretation of disjunctive counterfactuals is expected once we refine our assumptions about the semantics of or and the logical form of conditionals, and (i) we assume that disjunctions introduce propositional alternatives in the semantic derivation, in line with independently motivated proposals about the semantics of or (Aloni, 2003a; Simons, Natural Language Semantics 13:271–316, 2005; Alonso-Ovalle, Disjunction in Alternative Semantics. PhD thesis, 2006); and (ii) we treat conditionals as correlative constructions, as advocated in von Fintel (1994), Izvorski (Proceedings of NELS 26, 1996), Bhatt and Pancheva (2006), and Schlenker (2004). (shrink)

This paper investigates the interpretation of counterfactual conditionals. The main goal of the paper is to provide an account of the semantic role of similarity in the evaluation of counterfactuals. The paper proposes an analysis according to which counterfactuals are treated as predications “ de re ” over past situations in the actual world. The relevant situations enter semantic composition via the interpretation of tense. Counterfactuals are treated as law-like conditionals with de re predication over particular facts. Similarity with respect (...) to particular facts is ensured by the semantics of tense in interaction with the modal, while the modal itself is responsible for invoking laws. In the paper, various arguments are provided to support a local view of similarity over the global approach found in semantics along the line of Lewis’s and Stalnaker’s. Arguments are also provided tying the evaluation of similarity to the interpretation of tense. Finally, arguments are provided to show that in key cases, the approaches make comparable predictions. (shrink)

This paper has two purposes. We first give a new dynamic account of epistemic modal operators that account for both their test-like behaviour with respect to whole information states and their capacity to induce quantificational dependencies across worlds (modal subordination). We then use this theory, together with an analysis of conditionals and irrealis moods, to give a fully compositional semantics of indicative and counterfactual conditionals. In our analysis, the distinction between counterfactual and indicative conditionals follows directly from the interaction between (...) the semantics of the conditional and irrealis operators and the semantics of the particular modals involved in the conditional consequent. We indicate some theoretical and logical consequences of our approach. (shrink)

The author maintains that there is no special problem about the verification or analysis of counterfactual or unfulfilled conditional statements. there is no special problem about the verification or analysis of subjunctive conditionals. it exhausts the peculiar philosophical interest of these two classes of statement to explain why no philosopher ought to think them peculiarly interesting, and to explain why so many do. the author states that it should not be supposed that if he achieves his aim, all the difficulties (...) and disputes which have occurred in discussions supposed to be about counterfactual or subjunctive conditionals will be settled in his article. this is because many of these difficulties have arisen, not out of features peculiar to either of these classes of statement, but out of features common to all conditional statements. (staff). (shrink)

It seems to be generally accepted that (a) counterfactual conditionals are to be analysed in terms of possible worlds and inter-world relations of similarity and (b) causation is conceptually prior to counterfactuals. I argue here that both (a) and (b) are false. The argument against (a) is not a general metaphysical or epistemological one but simply that, structurally speaking, possible worlds theories are wrong: this is revealed when we try to extend them to cover the case of probabilistic counterfactuals. Indeed (...) a type of counterfactual probability exists which cannot be expressed in possible worlds terms at all. The argument against (b) emerges when we look at the form of an adequate account of both probabilistic and non-probabilistic counterfactuals. I do this by sketching and defending an approach to counterfactuals that, first, invoke a generalized notion of cause as primitive and, secondly, is algorithmic in form: counterfactuals are evaluated algorithmically in terms of other counterfactuals, without vicious circularity. Structures like possible worlds do not play a role either in general truth-conditions or in evaluation. They are simply the wrong sorts of structures. (shrink)

The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...) of (Q > R) is to be explained. If (P > (Q > R)) has a backtracking reading then the contingent facts that (Q > R) needs to be true in the closest P-worlds are absent. If (P > (Q > R)) has a forwardtracking reading, then the laws required by (Q > R) to be true in the closest P-worlds will be absent, because they are violated in those worlds. Solutions like lossy laws or denial of embedding won't work. The only approach to counterfactuals that explains the embedding is a pragmatic metalinguistic approach in which the whole idea that counterfactuals are about a modal reality, be it abstract or concrete, is given up. (shrink)

Counterfactual Entailment is the view that a counterfactual conditional is true just in case its antecedent entails its consequent. I present an argument for Counterfactual Entailment, and I develop a strategy for explaining away apparent counterexamples to the view. The strategy appeals to the suppositional view of counterfactuals, on which a counterfactual is essentially a statement, made relative to the supposition of its antecedent, of its consequent.

Let us call a statement of the form ‘If A was, is, or will be the case, then C was, is, or will be the case’ an indicative conditional. And let us call a statement of the form ‘If A had been, were, or were to be the case, then C would have been, would be, or would come to be the case’ a subjunctive, or counterfactual, conditional.

I aim to show that standard theories of counterfactuals are mistaken, not in detail, but in principle, and I aim to say what form a tenable theory must take. Standard theories entail a categorical interpretation of counterfactuals, on which to state that, if it were that A, it would be that C is to state something, not relative to any supposition or hypothesis, but categorically. On the rival suppositional interpretation, to state that, if it were that A, it would be (...) that C is to state that it would be that C relative to the supposition that it were that A. The two interpretations make incompatible predictions concerning the correct evaluation of counterfactuals. I argue that the suppositional interpretation makes the correct prediction. (shrink)

In the article I discuss possible amendments and corrections to Lewis’s semantics for counterfactuals that are necessary in order to account for the indeterministic and non-local character of the quantum world. I argue that Lewis’s criteria of similarity between possible worlds produce incorrect valuations for alternate-outcome counterfactuals in the EPR case. Later I discuss an alternative semantics which rejects the notion of miraculous events and relies entirely on the comparison of the agreement with respect to individual facts. However, a controversy (...) exists whether to include future indeterministic events in the criteria of similarity. J. Bennett has suggested that an indeterministic event count toward similarity only if it is a result of the same causal chain as in the actual world. I claim that a much better agreement with the demands of the quantum-mechanical indeterminism can be achieved when we stipulate that possible worlds which differ only with respect to indeterministic facts that take place after the antecedent-event should always be treated as equally similar to the actual world. In the article I analyze and dismiss some common-sense counterexamples to this claim. Finally, I critically evaluate Bennett’s proposal regarding the truth-conditions for true-antecedent counterfactuals. (shrink)

Subjunctives have always posed a severe threat to truth-conditional semantics and the correspondence theory of truth. If we are ever forced to fall into some sort of coherence theory of truth, then the problem of subjunctives is very likely to be the first thing which makes this plain. It is instructive to work through the details of Pollock's very thorough working-out of a kind of coherence theory for subjunctives.I find Pollock's book a kind of cautionary tale for coherence theorists. The (...) fierce technical complexities and inelegancies of Pollock's account must surely be weighed against the ontological extravagance of Lewis's much more elegant modal realism. (shrink)

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will win) translates into a (...) factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. [This paper was published in 2011 as "Time and modality without tenses or modals"]. (shrink)

It has received little attention that the truth values of sequential counterfactuals (i.e. counterfactuals in which the antecedent event precedes the consequent event) can shift over time. In the footsteps of Goodman, I develop a theory of sequential counterfactuals that can account for this feature. The theory (i) defends a semifactual test of cotenability, (ii) spells out the truth conditions for semifactuals in probabilistic terms and (iii) accounts for truth-value shifts by appealing to a dynamic view of time.

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

The human imagination remains one of the last uncharted terrains of the mind. People often imagine how events might have turned out something had been different. The of reality, those aspects more readily changed, indicate that counterfactual thoughts are guided by the same principles as rational thoughts. In the past, rationality and imagination have been viewed as opposites. But research has shown that rational thought is more imaginative than cognitive scientists had supposed. In The Rational Imagination, I argue that imaginative (...) thought is more rational than scientists have imagined. People exhibit remarkable similarities in the sorts of things they change in their mental representation of reality when they imagine how the facts could have turned out differently. For example, they tend to imagine alternatives to actions rather than inactions, events within their control rather than those beyond their control, and socially unacceptable events rather than acceptable ones. Their thoughts about how an event might have turned out differently lead them to judge that a strong causal relation exists between an antecedent event and the outcome, and their thoughts about how an event might have turned out the same lead them to judge that a weaker causal relation exists. In a simple temporal sequence, people tend to imagine alternatives to the most recent event. The central claim in the book is that counterfactual thoughts are organised along the same principles as rational thought. The idea that the counterfactual imagination is rational depends on three steps: (1) humans are capable of rational thought; (2) they make inferences by thinking about possibilities; and (3) their counterfactual thoughts rely on thinking about possibilities, just as rational thoughts do. The sorts of possibilities that people envisage explain the mutability of certain aspects of mental representations and the immutability of other aspects. (shrink)

A contextualist account of modal assertions is sketched that makes their truth sensitive to the presuppositions of the conversation. Support for the account is mustered by considering its application to the context-sensitivity of assertions of subjunctive conditional sentences, explanation sentences, and knowledge sentences.

(1a) If Prince Albert Victor killed those people, he is Jack the Ripper (and Jack the Ripper killed those people). (1b) If Prince Albert Victor had killed those people, Jack the Ripper wouldn't have (and Prince Albert wouldn't have been Jack the Ripper).

The notion of mutation is applicable to the generation of novel designs and solutions in engineering and science. This suggests that engineers and scientists have to work against the biases identified in counterfactual thinking. Therefore, imagination appears a lot less rational than claimed in the target article.

Standard accounts of semantics for counterfactuals confront the true–true problem: when the antecedent and consequent of a counterfactual are both actually true, the counterfactual is automatically true. This problem presents a challenge to safety-based accounts of knowledge. In this paper, drawing on work by Angelika Kratzer, Alan Penczek, and Duncan Pritchard, we propose a revised understanding of semantics for counterfactuals utilizing machinery from generalized quantifier theory which enables safety theorists to meet the challenge of the true–true problem.

Quine does not like counterfactuals. He thinks them unclear, and so he eschews them. It is enough, he thinks, for science to say of what it is that it is and that it is all that is. There is no need to say of what is not that it is not, or even worse, to say of what is not what it would be if ...

Berit Brogaard and Joe Salerno (Counterfactuals and Context, ANALYSIS 68 (2008): 39-46) argue that the standard Stalnaker-Lewis counterexamples to hypothetical syllogism, strengthening the antecedent, and contraposition trade on a failure to hold fixed the context in which truth values are determined for the premises and conclusion in each counterexample. I argue that no contextual fallacy is committed in the standard counterexamples, and I offer a different view of what it is for a fact to be held fixed by a counterfactual (...) antecedent. On my view, for a fact to be held fixed is an epistemological matter, not a semantic matter. (shrink)

Stephen Barker argues that a possible worlds semantics for the counterfactual conditional of the sort proposed by Stalnaker and Lewis cannot accommodate certain examples in which determinism is true and a counterfactual Q > R is false, but where, for some P, the compound counterfactual P > (Q > R) is true. I argue that the completeness theorem for Lewis’s system VC of counterfactual logic shows that Stalnaker–Lewis semantics does accommodate Barker’s example, and I argue that its doing so should (...) be understood as showing that the example is an exception to Lewis’s Time’s Arrow requirements. (shrink)

Following halberstadt ("int. log. rev." 1970, i) a counterfactual may be meaningless, the antecedent being syntactically faulty. the author thinks this to be pointless, since indicative and subjunctive mood may, in certain cases, present no apparent difference. halberstadt does not distinguish between subjunctive and counterfactual conditionals. the author thinks that this distinction is needed, and proposes a time factor as distinctive factor. so, the counterfactual 'i a had been the case, b would have happened' is expressible as 'if, at time (...) t, a, then b, and now time is t+n', while the subjunctive leaves open whether the sentence is uttered at time t or t+n. further, halberstadt proposes a formulation of counterfactuals which does not distinguish between 'de re' and 'de dicto'. (shrink)

In this paper I present some difficulties for Lewis’s and similar theories of counterfactuals, and suggest that the problem lies in the notion of absolute similarity. In order to explain the problem, I discuss the relation between Lewis’s and Goodman’s theory, and show that the two theories are not related in the way Lewis thought they were.

An incorrect interpretation of Goodman’s theory of counterfactuals is persistently being offered in the literature. I find that strange. Even more so since the incorrectness is rather obvious. In this paper I try to figure out why is that happening. First I try to explain what Goodman did say, which of his claims are ignored, and what he did not say but is sometimes ascribed to him. I emphasize one of the bad features of the interpretation: it gives counterfactuals some (...) formal properties that neither Goodman nor (usually) the interpreter would accept. The usual interpretation (UI), which I claim should not be ascribed to Goodman, considers a counterfactual A>C true iff A, together with natural laws and all contingent truths cotenable with it, entails C. (UI) makes valid the law of conditional excluded middle, which Goodman clearly rejected. Among possible reasons for which the interpreters might find (UI) adequate is that (UI), as I argue, smuggles in the idea of minimal change, which is otherwise attractive, natural to many, but not to be found anywhere in Goodman’s paper. At the end I stress the significance of Goodman’s theory by arguing that we still need some of his notions to test the adequacy of our modern theories. (shrink)