Any counterfactual with a true antecedent and a true consequent is invariably predicted to be true by the standard Stalnaker–Lewis semantics. But many such true–true counterfactuals appear false to ordinary speakers, which is considered by many authors as evidence that the standard semantics should be revised. However, Walters and Williams prove that allowing true–true counterfactuals to be false would unacceptably invalidate some very plausible logical principles. The objective of this paper is to provide a pragmatic account of seemingly false true–true (...) counterfactuals, which explains why such counterfactuals seem false to ordinary speakers while being true semantically. In particular, a pluralistic pragmatic account is pursued: I argue that some true–trues seem false because they conversationally implicate some falsehood, and some others seem false because the focus (intonation stress) involved in them invokes some pragmatic re‐interpretation that affects speakers' truth‐value judgments. (shrink)

According to the Simple Conditional Analysis of disposition ascriptions, disposition ascriptions are to be analyzed in terms of counterfactual conditionals. The Simple Conditional Analysis is notoriously vulnerable to counterexamples. In this paper, I introduce a new sort of counterexample to the Simple Conditional Analysis of disposition ascriptions, which I call ‘tricks’. I then explore a number of possible strategies to modify the Simple Conditional Analysis so as to avoid tricks and conclude that, in order to avoid tricks, the associated counterfactual (...) should be evaluated at the closest possible world at which the manifestation of the disposition does not obtain. (shrink)

For the last several decades, dispositional properties have been one of the main topics in metaphysics. Still, however, there is little agreement among contemporary metaphysicians on the nature of dispositional properties. Apparently, though, the majority of them have reached the consensus that dispositional ascriptions cannot be analysed in terms of simple counterfactual conditionals. In this paper it will be brought to light that this consensus is wrong. Specifically, I will argue that the simple conditional analysis of dispositions, which is generally (...) thought to be dead, is in fact an adequate analysis of dispositions. I will go on to discuss Mumford’s view of dispositions from the perspective of the simple conditional analysis of dispositions. (shrink)

This paper discusses Lee’s argument that Lewis’s reformed conditional analysis of dispositions is preferable to the simple conditional analysis of dispositions. Lee’s argument is basically that there are some examples that can be adequately handled by Lewis’s analysis but cannot by the simple conditional analysis of dispositions. But I will reveal that, when carefully understood, they spell no trouble for the simple conditional analysis of dispositions, failing to serve a motivating role for Lewis’s analysis.

In ‘Finkish Dispositions’, David Lewis proposed a revised conditional analysis of dispositions, designed to rule out counterexamples based on finkish dispositions and finkish lacks of dispositions. Bird and Choi have argued that Lewis’s amended analysis is vulnerable to two further types of counterexamples trading on mimicked and masked dispositions. This paper provides a diagnosis of why Lewis’s analysis inherits these problems, and investigates whether the means can be found—in Lewis’s paper or elsewhere—to defend his analysis against the counterexamples. A range (...) of strategies for defending conditional analyses against masking and mimicking counterexamples are assessed. The conclusion is that none of them will save Lewis’s analysis; some strategies fail, while the rest threaten to make Lewis’s amendments redundant. The discussion offers a number of general lessons about how to defend conditional analyses of dispositions. (shrink)

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)

To say that this lump of sugar is soluble is to say that it would dissolve, if submerged anywhere, at any time and in any parcel of water. To say that this sleeper knows French, is to say that if, for example, he is ever addressed in French, or shown any French newspaper, he responds pertinently in French, acts appropriately or translates correctly into his own tongue.

This is an essay on the understanding of disposition concepts, which exploits the Ramsey test semantics of conditionals for a refined conditional analysis of dispositions. I will show that this semantics allows for a more accurate account of disposition concepts than the standard semantics of conditionals by David Lewis. This includes dealing with the counterexamples to the conditional analysis, which are known as finks, antidotes, and mimics.

While knowledge of mere possibilities is difficult to understand, knowledge of possibilities that are actual seems unproblematic (as far as we know the actual world). The principle that what is actual is possible has been near-universally accepted. After summarizing some sporadic dissent, I present a proposal for how the validity of the principle might be restricted. While the principle certainly holds for sufficiently inclusive objective and epistemic possibilities, it may not hold when the accessibility of possibilities is contextually restricted.

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

In Counterfactual Conditionals, Daniel Dohrn discusses the standard account of counterfactuals, conditionals of the form ‘If A had been the case, then B would have been the case’. According to the standard account, a counterfactual is true if the then-sentence is true in all closest worlds in which the if-sentence is true. Closeness is spelled out in terms of an ordering of worlds by their similarity. Dohrn explores resources of defending the standard account against several challenges. In particular, he defends (...) the standard logics for counterfactuals. He discusses exemplary doubts as to whether conditionals have truth conditions. He inquires into the interaction between truth and probability of counterfactuals. He tackles problems with the similarity ordering. He address the interaction between counterfactuals and normalcy conditions. He closes with elaborating peculiarities of future-directed counterfactuals. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

Is A & C sufficient for the truth of ‘if A were the case, C would be the case’? Jonathan Bennett thinks not, although the counterexample he gives is inconsistent with his own account of counterfactuals. In any case, I argue that anyone who accepts the case of Morgenbesser's coin, as Bennett does, should reject Bennett’s counterexample. Moreover, I show that the principle underlying his counterexample is unmotivated and indeed false. More generally, I argue that Morgenbesser’s coin commits us to (...) the sufficiency of A & C for the truth of the corresponding counterfactual. (shrink)

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

A number of authors have recently used causal models to develop a promising semantics for non-backtracking counterfactuals. Briggs shows that when this semantics is naturally extended to accommodate right-nested counterfactuals, it invalidates modus ponens, and therefore violates weak centering given the standard Lewis/stalnaker interpretation of the counterfactual in terms of nearness or similarity of worlds. In this paper, I explore the possibility of abandoning the Lewis/stalnaker interpretation for some alternative that is better suited to accommodate the causal modeling semantics. I (...) argue that a revision of McGee’s semantics can accommodate CM semantics without sacrificing weak centering, and that CM semantics can therefore be situated within a general semantics for counterfactuals that is based on the nearness or similarity of worlds. (shrink)

What distinguishes indicative conditionals from subjunctive conditionals, according to one popular view, is that the so-called Adams’ thesis holds for the former kind of conditionals but the so-called Skyrms’ thesis for the latter. According to a plausible metaphysical view, both conditionals and chances supervene on non-modal facts. But since chances do not supervene on facts about particular events but facts about event-types, the past as well as the future is chancy. Some philosophers have worried that this metaphysical view is incompatible (...) with the aforementioned view on the probability of conditionals. This paper however shows that there is no need to worry, as these views can all be simultaneously satisfied within the so-called Multidimensional Possible World Semantics for conditionals. (shrink)

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a species (...) of variably strict conditional I hope to shed new light upon their content and their logic. (shrink)

According to the Counterfactual Comparative Account of harm and benefit, an event is overall harmful for a subject to the extent that this subject would have been better off if it had not occurred. In this paper we present a challenge for the Counterfactual Comparative Account. We argue that if physical processes are chancy in the manner suggested by our best physical theories, then CCA faces a dilemma: If it is developed in line with the standard approach to counterfactuals, then (...) it delivers that the value of any event for a subject is indeterminate to the extreme, ranging from terribly harmful to highly beneficial. This problem can only be avoided by developing CCA in line with theories of counterfactuals that allow us to ignore a-typical scenarios. Doing this generates a different problem: when the actual world is itself a-typical we will sometimes get the result that the counterfactual nonoccurrence of an actual benefit is itself a benefit. An account of overall harm bearing either of these two implications is deficient. Given the general aspiration to account for deprivational harms and the dominance of the Counterfactual Comparative Account in this respect, theorists of harm and benefit face a deadlock. (shrink)

The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...) the antirealist notion of truth, alethic antirealism should probably be rejected. In this paper we analyse the conditional fallacy from a semantic (i.e. model-theoretic) point of view. This allows us to identify with precision the philosophical commitments that ground the validity of this type of argument. We show that the conditional fallacy arguments against alethic antirealism are valid only if controversial metaphysical assumptions are accepted. We suggest that the antirealist is not committed to the conditional fallacy because she is not committed to some of these assumptions. (shrink)

This is part A of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual ‘ifAthenB’ to be true even in the presence of relevant ‘Aand notB’-worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. (...) Despite its probabilistic nature, we show that the semantics and the resulting system of logic may be regarded as a naturalistically vindicated variant of David Lewis’ truth-conditional semantics and logic of counterfactuals. At the same time, the semantics overlaps in various ways with the non-truth-conditional suppositional theory for conditionals that derives from Ernest Adams’ work. We argue that counterfactuals have two kinds of pragmatic meanings and come attached with two types of degrees of acceptability or belief, one being suppositional, the other one being truth based as determined by our probabilistic semantics; these degrees could not always coincide due to a new triviality result for counterfactuals, and they should not be identified in the light of their different interpretation and pragmatic purpose. However, for plain assertability the difference between them does not matter. Hence, if the suppositional theory of counterfactuals is formulated with sufficient care, our truth-conditional theory of counterfactuals is consistent with it. The results of our investigation are used to assess a claim considered by Hawthorne and Hájek, that is, the thesis that most ordinary counterfactuals are false. (shrink)

D. Lewis proposed the reformed conditional analysis of disposition to handle Martin's influential counterexamples to the simple counterfactual analysis. Some philosophers, however, argue that the mere fact that the reformed conditional analysis of disposition can handle Martin's counterexamples should not be regarded as a reason to prefer the reformed conditional analysis to the simple analysis. In this paper, I argue that the reformed version should be preferred not because it can handle Martin's counterexamples but because there are other counterexamples to (...) the simple conditional analysis. (shrink)

This paper offers an account of propositional absurdity and investigates its connection to falsity. I propose that instances of absurdity just are cases of what I call maximal abnormality. In light of the works of Smith (2016) and Pietroski and Rey (1995) on normic conditionals which link normality to explanatory demands, I suggest that absurdity also has a close tie with explanations (more precisely, the lacking thereof). Interesting consequences follow under such an account – first, I argue that we should (...) see absurdity as ceteris paribus guide to falsehood – what is absurd is expected to be false, unless further evidence suggests otherwise; second (and relatedly), when further evidence indeed suggests otherwise, absurd propositions would not cease to be absurd. (shrink)

This paper offers an account of propositional absurdity and investigates its connection to falsity. I propose that instances of absurdity just are cases of what I call maximal abnormality. In light of the works of Smith (2016) and Pietroski and Rey (1995) on normic conditionals which link normality to explanatory demands, I suggest that absurdity also has a close tie with explanations (more precisely, the lacking thereof). Interesting consequences follow under such an account – first, I argue that we should (...) see absurdity as ceteris paribus guide to falsehood – what is absurd is expected to be false, unless further evidence suggests otherwise; second (and relatedly), when further evidence indeed suggests otherwise, absurd propositions would not cease to be absurd. (shrink)

This paper offers an account of propositional absurdity and investigates its connection to falsity. I propose that instances of absurdity just are cases of what I call maximal abnormality. In light of the works of Smith (2016) and Pietroski and Rey (1995) on normic conditionals which link normality to explanatory demands, I suggest that absurdity also has a close tie with explanations (more precisely, the lacking thereof). Interesting consequences follow under such an account – first, I argue that we should (...) see absurdity as ceteris paribus guide to falsehood – what is absurd is expected to be false, unless further evidence suggests otherwise; second (and relatedly), when further evidence indeed suggests otherwise, absurd propositions would not cease to be absurd. (shrink)

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

Philosophers typically rely on intuitions when providing a semantics for counterfactual conditionals. However, intuitions regarding counterfactual conditionals are notoriously shaky. The aim of this paper is to provide a principled account of the semantics of counterfactual conditionals. This principled account is provided by what I dub the Royal Rule, a deterministic analogue of the Principal Principle relating chance and credence. The Royal Rule says that an ideal doxastic agent’s initial grade of disbelief in a proposition \(A\) , given that the (...) counterfactual distance in a given context to the closest \(A\) -worlds equals \(n\) , and no further information that is not admissible in this context, should equal \(n\) . Under the two assumptions that the presuppositions of a given context are admissible in this context, and that the theory of deterministic alethic or metaphysical modality is admissible in any context, it follows that the counterfactual distance distribution in a given context has the structure of a ranking function. The basic conditional logic V is shown to be sound and complete with respect to the resulting rank-theoretic semantics of counterfactuals. (shrink)

The truthmaker literature has recently come to the consensus that the logic of truthmaking is distinct from classical propositional logic. This development has huge implications for the free will literature. Since free will and moral responsibility are primarily ontological concerns (and not semantic concerns) the logic of truthmaking ought to be central to the free will debate. I shall demonstrate that counterexamples to transfer principles employed in the direct argument occur precisely where a plausible logic of truthmaking diverges from classical (...) logic. Further, restricted transfer principles (like the ones employed by McKenna, Stump, and Warfield) are as problematic as the original formulation of the direct argument. (shrink)

Direct source incompatibilism (DSI) is the conjunction of two claims: SI-F: there are genuine Frankfurt-style counterexamples (FSCs); SI-D: there is a sound version of the direct argument (DA). Eric Yang ( 2012 ) responds to a recent criticism of DSI (Campbell 2006 ). We show that Yang misses the mark. One can accept Yang’s criticisms and get the same result: there is a deep tension between FSCs and DA, between SI-F and SI-D. Thus, DSI is untenable. In this essay, we (...) use an important yet overlooked distinction between truthmakers and determiners to help drive this point home. (shrink)

According to Nozick’s tracking theory of knowledge, an agent a knows that p just in case her belief that p is true and also satisfies the two tracking conditionals that had p been false, she would not have believed that p , and had p been true under slightly different circumstances, she would still have believed that p . In this paper I wish to highlight an interesting but generally ignored feature of this theory: namely that it is reminiscent of (...) a dispositional account of knowledge: it invites us to think of knowledge as a manifestation of a cognitive disposition to form true beliefs. Indeed, given a general account of dispositions in terms of subjunctive conditionals, the two tracking conditionals are satisfied just in case the belief in question results from some cognitive disposition to form true beliefs. Recently, such a conditional account of dispositions has, however, been criticised for its vulnerability to so-called ‘masked’, ‘mimicked’ and ‘finkish’ counterexamples. I show how the classical counterexamples to Nozick’s theory divide smoothly into four corresponding categories of counterexamples from epistemic masking, mimicking and finkishness. This provides strong evidence for the thesis that satisfaction of the two tracking conditionals is symptomatic of knowledge and that knowledge is instead constituted by a dispositional capability to form true beliefs. The attempt to capture such a cognitive, dispositional capability in terms of the tracking conditionals, although providing a good approximation in a wide variety of cases, still comes apart from the real thing whenever the epistemic layout is characterised by masking-, mimicking- and finkish mechanisms. In the last part of the paper I explore the prospect of improving the tracking theory in the light of these findings. (shrink)

In a recent paper Lee Walters criticizes a number of philosophers – including Gundersen – for committing a ‘failure in the argumentative strategy’ when they attempt to amend the standard Lewis semantics for counterfactuals in order to avoid the so‐called principle of Conjunction Conditionalization. In this article we defend a Gundersen‐style probability‐based semantics against Walter's major misgivings: that it is not logically conservative, that it is committed to the Connection Hypothesis, and that it cannot deal satisfactory with irrelevant semi‐factuals.

Are counterfactuals with true antecedents and consequents trivially true? The principle of Conjunction Conditionalization →) is highly controversial. Many philosophers view it as an attractive feature of Lewis’s semantics for counterfactuals that it can easily be modified to avoid this principle. However, Walters and Williams beg to differ. They argue that Conjunction Conditionalization is an indispensable ingredient of any Lewisian semantics, since CC is entailed by standard Lewisian theorems and a plausible semantic claim about irrelevant semifactuals. If this is true, (...) the entire tradition of revisionist counterfactual semantics is misguided, and so are many philosophical theories in which counterfactuals play a role. We argue, in defense of the revisionist tradition, that Walters and Williams’ ‘plausible semantic claim’ is in fact anything but plausible. It turns out to entail semantic principles far more controversial than Conjunction Conditionalization. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue that (...) exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)

Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".

Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References..

Conceptual analyses can be subdivided into two classes, good and evil. Em- pirical analysis is the good kind, routinely practiced in the sciences. Orthodox analysis is the malevolent version that plagues philosophical discourse. In this paper, I will clarify the difference between them, provide some reasons to prefer good over evil, and illustrate their consequences for the metaphysics of causation. By conducting an empirical analysis of causation rather than an orthodox analysis, one can segregate the genuine metaphysical problems that need (...) to be addressed from the many pseudo-problems that have long dogged traditional accounts of causation. (shrink)