Philosophers have long analyzed the truth-condition of counterfactual conditionals in terms of the possible-worlds semantics advanced by Lewis [13] and Stalnaker [23]. In this paper, I argue that, from the perspective of philosophical semantics, the causal modeling semantics proposed by Pearl [17] and others (e.g., Briggs [3]) is more plausible than the Lewis-Stalnaker possible-worlds semantics. I offer two reasons. First, the possible-worlds semantics has suffered from a specific type of counterexamples. While the causal modeling (...) class='Hi'>semantics can handle such examples with ease, the only way for the possible-worlds semantics to do so seems to cost it its distinctive status as a philosophical semantics. Second, the causal modeling semantics, but not the possible-worlds semantics, has the resources enough for accounting for both forward-tracking and backtracking counterfactual conditionals. (shrink)

The last section made it clear that an analysis which at first seems to fail is viable after all. It is viable if we let it depend on a partition function to be provided by the context of conversation. This analysis leaves certain traits of the partition function open. I have tried to show that this should be so. Specifying these traits as Pollock does leads to wrong predictions. And leaving them open endows counterfactuals with just the right amount (...) of variability and vagueness. (shrink)

No aConsiders the question of how far the different ‘closeness’ relations, indexed by worlds, in a given model for counterfactual conditionals may be derived from a common source. Counterbalancing some well-known negative observations, we show that there is also a strong positive answer.

Adam Elga has presented an anti-thermodynamic process as a counterexample to Lewis’s default semantics for counterfactuals. The outstanding reaction of Jonathan Schaffer and Boris Kment is revisionary. It sacrifices Lewis’s aim of defining causation in terms of counterfactual dependence. Lewis himself suggested an alternative: «counter-entropic funnybusiness» should make for dissimilarity. But how is this alternative to be spelled out? I discuss a recent proposal: include special science laws, among them the laws of thermodynamics. Although the proposal fails, it (...) serves to uncover the limits of Elga’s example. (shrink)

McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).

Causal Modeling Semantics (CMS, e.g., Galles and Pearl 1998; Pearl 2000; Halpern 2000) is a powerful framework for evaluating counterfactuals whose antecedent is a conjunction of atomic formulas. We extend CMS to an evaluation of the probability of counterfactuals with disjunctive antecedents, and more generally, to counterfactuals whose antecedent is an arbitrary Boolean combination of atomic formulas. Our main idea is to assign a probability to a counterfactual (A ∨ B) > C at a causal model (...) M as a weighted average of the probability of C in those submodels that truthmake A∨ B (Briggs 2012; Fine 2016, 2017). The weights of the submodels are given by the inverse distance to the original model M, based on a distance metric proposed by Eva, Stern, and Hartmann (2019). Apart from solving a major problem in the epistemology of counterfactuals, our paper shows how work in semantics, causal inference and formal epistemology can be fruitfully combined. (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)

It is argued that the so‐called principles of “strong centering” and “weak centering” central to the traditional Lewis‐Stalnaker semantics for counterfactuals are both fallacious. A foundation for an alternative semantics without these prinsciples is outlined. The core idea is that the statistically normal worlds – rather than those worlds most qualitatively similar to the actual world – should serve as the semantical fulcrum.

A series of recent arguments purport to show that most counterfactuals of the form if A had happened then C would have happened are not true. These arguments pose a challenge to those of us who think that counterfactual discourse is a useful part of ordinary conversation, of philosophical reasoning, and of scientific inquiry. Either we find a way to revise the semantics for counterfactuals in order to avoid these arguments, or we find a way to ensure (...) that the relevant counterfactuals, while not true, are still assertible. I argue that regardless of which of these two strategies we choose, the natural ways of implementing these strategies all share a surprising consequence: they commit us to a particular metaphysical view about chance. (shrink)

I argue that classical counterfactual semantics in the style of Stalnaker, Lewis, and Kratzer validates an inference pattern that is disconfirmed in natural language. The solution is to alter the algorithm we use to handle inconsistency in premise sets: rather than checking all maximally consistent fragments of a premise sets, as in Krazter’s semantics, we selectively remove some of the premises. The proposed implementation starts from standard premise semantics and involves a new ‘filtering’ operation that achieves just (...) this removal. The resulting semantics is interestingly related to the semantics for counterfactuals emerging from Judea Pearl’s causal models framework in computer science: in particular, filtering is a possible worlds semantics counterpart of Pearl’s interventions. (shrink)

In this paper I argue that there is a difficulty for Fine's exact semantics for counterfactuals. The difficulty undermines Fine's reasons for preferring exact semantics to possible worlds semantics.

Probabilities figure centrally in much of the literature on the semantics of conditionals. I find this surprising: it accords a special status to conditionals that other parts of language apparently do not share. I critically discuss two notable ‘probabilities first’ accounts of counterfactuals, due to Edgington and Leitgeb. According to Edgington, counterfactuals lack truth values but have probabilities. I argue that this combination gives rise to a number of problems. According to Leitgeb, counterfactuals have truth conditions-roughly, (...) a counterfactual is true when the corresponding conditional chance is sufficiently high. I argue that problems arise from the disparity between truth and high chance, between approximate truth and high chance, and from counterfactuals for which the corresponding conditional chances are undefined. However, Edgington, Leitgeb and I can unite in opposition to Stalnaker and Lewis-style ‘similarity’ accounts of counterfactuals. (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. (shrink)

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel (...) sequences. (shrink)

The use of counterfactuals for considerations of algorithmic fairness and explainability is gaining prominence within the machine learning community and industry. This paper argues for more caution with the use of counterfactuals when the facts to be considered are social categories such as race or gender. We review a broad body of papers from philosophy and social sciences on social ontology and the semantics of counterfactuals, and we conclude that the counterfactual approach in machine learning fairness (...) and social explainability can require an incoherent theory of what social categories are. Our findings suggest that most often the social categories may not admit counterfactual manipulation, and hence may not appropriately satisfy the demands for evaluating the truth or falsity of counterfactuals. This is important because the wide- spread use of counterfactuals in machine learning can lead to misleading results when applied in high-stakes domains. Accordingly, we argue that even though counterfactuals play an essential part in some causal inferences, their use for questions of algorithmic fairness and social explanations can create more problems than they resolve. Our positive result is a set of tenets about using counterfactuals for fairness and explanations in machine learning. (shrink)

The article argues for a parallelism between the interpretation of deontic modals and the interpretation of counterfactuals. The main claim is that dependencies between facts play a role in the resolution of both types of modality: in both cases, facts ‘stand and fall’ together. The article provides two types of evidence supporting this claim: (i) evidence that comes from the interaction between primary and secondary duties (as presented in contrary-to-duty imperatives) and (ii) evidence that comes from the possibility of (...) reproducing well-known counterfactual puzzles in the domain of deontic statements. The article argues that the semantics of deontic modals needs to be stated in a way that pays attention to dependencies between facts and illustrates this with a proposal building on work on counterfactuals by Kratzer and Veltman. (shrink)

This article presents an extension of Lewis’ analysis of counterfactuals to a graded framework. Unlike standard graded approaches, which use the probabilistic framework, we employ that of many-valued logics. Our principal goal is to provide an adequate analysis of the main background notion of Lewis’ approach—the one of the similarity of possible worlds. We discuss the requirements imposed on the analysis of counterfactuals by the imprecise character of similarity and concentrate in particular on robustness, i.e., the requirement that (...) small changes in the similarity relation should not significantly change the truth value of the counterfactual in question. Our second motivation is related to the logical analysis of natural language: analyzing counterfactuals in the framework of many-valued logics allows us to extend the analysis to counterfactuals that include vague statements. Unlike previous proposals of this kind in the literature, our approach makes it possible to apply gradedness at various levels of the analysis and hence provide a more detailed account of the phenomenon of vagueness in the context of counterfactuals. Finally, our framework admits a novel way of avoiding the Limit Assumption, keeping the core of Lewis’ truth condition for counterfactuals unchanged. (shrink)

People frequently entertain counterfactual thoughts, or mental simulations about alternative ways the world could have been. But the perceived plausibility of those counterfactual thoughts varies widely. The current article interfaces research in the philosophy and semantics of counterfactual statements with the psychology of mental simulations, and it explores the role of perceived similarity in judgments of counterfactual plausibility. We report results from seven studies (N = 6405) jointly supporting three interconnected claims. First, the perceived plausibility of a counterfactual event (...) is predicted by the perceived similarity between the possible world in which the imagined situation is thought to occur and the actual world. Second, when people attend to differences between imagined possible worlds and the actual world, they think of the imagined possible worlds as less similar to the actual world and tend to judge counterfactuals in such worlds as less plausible. Lastly, when people attend to what is identical between imagined possible worlds and the actual world, they think of the imagined possible worlds as more similar to the actual world and tend to judge counterfactuals in such worlds as more plausible. We discuss these results in light of philosophical, semantic, and psychological theories of counterfactual thinking. (shrink)

Causal models show promise as a foundation for the semantics of counterfactual sentences. However, current approaches face limitations compared to the alternative similarity theory: they only apply to a limited subset of counterfactuals and the connection to counterfactual logic is not straightforward. This paper addresses these difficulties using exogenous interventions, where causal interventions change the values of exogenous variables rather than structural equations. This model accommodates judgments about backtracking counterfactuals, extends to logically complex counterfactuals, and validates (...) familiar principles of counterfactual logic. This combines the interventionist intuitions of the causal approach with the logical advantages of the similarity approach. (shrink)

Backtracking counterfactuals are problem cases for the standard, similarity based, theories of counterfactuals e.g., Lewis. These theories usually need to employ extra-assumptions to deal with those cases. Hiddleston, 632–657, 2005) proposes a causal theory of counterfactuals that, supposedly, deals well with backtracking. The main advantage of the causal theory is that it provides a unified account for backtracking and non-backtracking counterfactuals. In this paper, I present a backtracking counterfactual that is a problem case for Hiddleston’s account. (...) Then I propose an informational theory of counterfactuals, which deals well with this problem case while maintaining the main advantage of Hiddleston’s account. In addition, the informational theory offers a general theory of backtracking that provides clues for the semantics and epistemology of counterfactuals. I propose that backtracking is reasonable when the state of affairs expressed in the antecedent of a counterfactual transmits less information about an event in the past than the actual state of affairs. (shrink)

The standard by which we apply decision-making for those unable to do so for themselves is an important practical ethical issue with substantial implications for the treatment and welfare of such individuals. The approach to proxy or surrogate decision-making based upon substituted judgement is often seen as the ideal standard to aim for but suffers from a need to provide a clear account of how to determine the validity of the proxy's judgements. Proponents have responded to this demand by providing (...) the truth-conditions for the substituted judgement in terms of counterfactual reasoning using a possible worlds semantics. In this paper, I show how these underpinnings fail to support the substituted judgement approach as a reasonable standard for decision-making. Firstly, I show how this counterfactual element has been poorly interpreted. I then explain how various accounts have failed to reflect problems and limitations associated with providing an interpretation of their truth-conditions using counterfactuals. Finally, I argue that, even when we attend to the initial problems of providing a counterfactual analysis, it still deeply problematic as a means of determining the validity of substituted judgements for two main reasons. Firstly, making determinate judgements as to the truth-value of these judgements will often not be possible and, secondly, there is a strong requirement when interpreting many counterfactual claims to charitably accede to their being true. I conclude that substituted judgements, as interpreted through counterfactual reasoning and possible worlds semantics, do not therefore provide an adequate standard for surrogate decision-making. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation (...) in inquisitive semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

Causal inference in the empiricalsciences is based on counterfactuals. The mostcommon approach utilizes a statistical model ofpotential outcomes to estimate causal effectsof treatments. On the other hand, one leadingapproach to the study of causation inphilosophical logic has been the analysis ofcausation in terms of counterfactualconditionals. This paper discusses and connectsboth approaches to counterfactual causationfrom philosophy and statistics. Specifically, Ipresent the counterfactual account of causationin terms of Lewis's possible-world semantics,and reformulate the statistical potentialoutcome framework using counterfactualconditionals. This procedure highlights (...) variousproperties and mechanisms of the statisticalmodel. (shrink)

Consider the reasonable axioms of subjunctive conditionals if p → q1 and p → q2 at some world, then p → at that world, and if p1 → q and p2 → q at some world, then → q at that world, where p → q is the subjunctive conditional. I show that a Lewis-style semantics for subjunctive conditionals satisfies these axioms if and only if one makes a certain technical assumption about the closeness relation, an assumption that is (...) probably false. I will then show how Lewisian semantics can be modified so as to assure and even when the technical assumption fails, and in fact in one sense the semantics actually becomes simpler then. (shrink)

In this paper I discuss two approaches to rigidity. I argue that they differ in the general conception of semantics that each embraces. Moreover, I argue that they differ in how each explains the rigidity of general terms, and in what each presupposes in that explanation.

Counterfactuals are inherently ambiguous in the sense that the same counterfactual may be true under one mode of counterfactualization but false under the other. Many have regarded the ambiguity of counterfactuals as consisting in the distinction between forward-tracking and backtracking counterfactuals. This is incorrect since the ambiguity persists even in cases not involving backtracking counterfactualization. In this paper, I argue that causal modeling semantics has the resources enough for accounting for the ambiguity of counterfactuals. Specifically, (...) we need to distinguish two types of causal manipulation, which I call “intervention” and “extrapolation” respectively. To intervene in a causal model M is to change M’s structural equations in some specific ways, while to extrapolate M is to change the value assignment of M’s variables in some specific ways. I argue that intervention and extrapolation offer a natural explanation for the ambiguity of counterfactuals. (shrink)

Why do utterances of counterfactual conditionals typically, but not universally, convey the message that their antecedents are false? I demonstrate that two common theoretical commitments–commitment to the existence of scalar implicature and of informative presupposition—can be supplemented with an independently motivated theory of the presuppositions of competing conditional alternatives to jointly predict this information when and only when it appears. The view works best if indicative and counterfactual conditionals have a closely related semantics, so I conclude by undermining two (...) familiar arguments for a nonunified semantics of indicative and counterfactual conditionals. (shrink)

Jonathan Schaffer (2004 ) proposes an ingenious amendment to David Lewis's semantics for counterfactuals. This amendment explicitly invokes the notion of causal independence, thus giving up Lewis's ambitions for a reductive counterfactual account of causation. But in return, it rescues Lewis's semantics from extant counterexamples. I present a new counterexample that defeats even Schaffer's amendment. Further, I argue that a better approach would be to follow the causal modelling literature and evaluate counterfactuals via an explicit postulated (...) causal structure. This alternative approach easily resolves the new counterexample, as well as all the previous ones. Up to now, its perceived drawback relative to Lewis's scheme has been its non-reductiveness. But since the same drawback applies equally to Schaffer's amended scheme, this becomes no longer a point of comparative disadvantage. (shrink)

It is often argued that inferential role semantics (IRS) entails semantic holism as long as theorists fail to answer the question about which inferences, among the many, are meaning-constitutive. Since analyticity, as truth in virtue of meaning, is a widely dismissed notion in indicating which inferences determine meaning, it seems that holism follows. Semantic holism is often understood as facing problems with the stability of content and many usual explanations of communication. Thus, we should choose between giving up IRS, (...) to avoid these holistic entailments, and defending holism against this charge, to rescue IRS. I try to pursue the second goal by analyzing certain patterns of counterfactual reasoning. Wilfrid Sellars and Robert Brandom claim that, to defend IRS, content-constitutive inferences are those counterfactually robust. While it is difficult to assess the goodness of such a view, it nonetheless entails that counterfactually non-robust inferences (which I call “modally ruled out inferences”) are not content-constitutive. If this is true, and if we take certain remarks about the grasp of concepts on board, there is a way to restrict the scope of the holism entailed by IRS to the extent of reshaping problems with the stability of content. (shrink)

The standard philosophical analysis of counterfactual conditionals—the Lewis-Stalnaker analysis—analyzes the truth-conditions of counterfactuals in terms of nearby possible worlds. This paper demonstrates that this analysis is false. §1 shows that it is a serious epistemic and metaphysical possibility that our “world” is a massive computer simulation, and that if the Lewis-Stalnaker analysis of counterfactuals is correct, then it should extend seamlessly to the case that our world is a computer simulation, in the form of a possible-simulation semantics. (...) §2 then shows, however, that a Lewis-Stalnaker-style possible-simulation semantics clearly fails as an analysis of the truth-conditions of counterfactuals in two types of simulated worlds: Humean Simulations and Necessitarian simulations. §3 then considers and answers several objections to the argument. Finally, §4 draws several skeptical, but compelling lessons about counterfactuals from the argument. (shrink)

It has recently been argued that indeterminacy and indeterminism make most ordinary counterfactuals false. I argue that a plausible way to avoid such counterfactual skepticism is to postulate the existence of primitive modal facts that serve as truth-makers for counterfactual claims. Moreover, I defend a new theory of ‘might’ counterfactuals, and develop assertability and knowledge criteria to suit such unobservable ‘counterfacts’.

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)

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)

Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be used (...) for modelling some classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

The basic idea of counterfactual theories of causation is that the meaning of causal claims can be explained in terms of counterfactual conditionals of the form “If A had not occurred, C would not have occurred”. While counterfactual analyses have been given of type-causal concepts, most counterfactual analyses have focused on singular causal or token-causal claims of the form “event c caused event e”. Analyses of token-causation have become popular in the last thirty years, especially since the development in the (...) 1970's of possible world semantics for counterfactuals. The best known counterfactual analysis of causation is David Lewis's (1973b) theory. However, intense discussion over thirty years has cast doubt on the adequacy of any simple analysis of singular causation in terms of counterfactuals. Recent years have seen a proliferation of different refinements of the basic idea to achieve a closer match with commonsense judgements about causation. (shrink)

he paper addresses the issue of the applicability of David Lewis’s possible world semantics of counterfactual conditionals to the explication of some quantum-mechanical phenomena. Three main reasons why counterfactual semantics may be useful for this task are given. It is further argued that two possible semantic approaches to counterfactuals involving spatiotemporal events which satisfy requirements of special relativity should be taken into account. The main problem considered in the article is how to expand both approaches into full (...) semantic systems. The first of the approaches is known to be amenable to a generalization within the Lewis-style semantics. The second one, however, poses a greater challenge, as it has been proven (Bigaj 2004) that it cannot be incorporated into a similarity-based counterfactual semantics. In this article, an alternative method of generalization for the second counterfactual semantics is developed, which goes beyond Lewis’s framework based on the rigid similarity relation between possible worlds. The proposed method of evaluating counterfactuals is then put to the test using an example from the quantum theory. As a result of this test, a small correction of the method turns out to be necessary. (shrink)

The purpose of this paper is to develop a class of semantic tableau systems for some counterfactual logics. All in all I will discuss 1024 systems. Possible world semantics is used to interpret our formal languages. Soundness results are obtained for every tableau system and completeness results for a large subclass of these.

Machery et al. claim that analytic philosophers of language are committed to a method of cases according to which theories of reference are assessed by consulting semantic intuitions about actual and possible cases. Since empirical evidence suggests that such intuitions vary both within and across cultures, these experimental semanticists conclude that the traditional attempt at pursuing such theories is misguided. Against the backdrop of Kripke’s anti-descriptivist arguments, this paper offers a novel response to the challenge posed by Machery et al., (...) arguing that they either misplace or exaggerate the role played by. The lesson is that while semantic intuitions carry evidential weight in evaluating certain subjunctive conditionals reflecting counterfactual possibilities, they neither play an epistemic role in determining the actual reference of proper names, nor in evaluating certain indicative conditionals reflecting so-called counteractual possibilities. Moreover, once an asymmetry is acknowledged in Machery et al’s vignette between the narrator and the subject’s suppositions about the actual world, a corresponding ambiguity can account for the alleged culturally determined variation in semantic intuitions. (shrink)

Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.

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)

Some cases show that counterfactual conditionals (‘counterfactuals’ for short) are inherently ambiguous, equivocating between forward-tracking and backtracking counterfactu- als. Elsewhere, I have proposed a causal modeling semantics, which takes this phenomenon to be generated by two kinds of causal manipulations. (Lee 2015; Lee 2016) In an important paper (Hiddleston 2005), Eric Hiddleston offers a different causal modeling semantics, which he claims to be able to explain away the inherent ambiguity of counterfactuals. In this paper, I discuss (...) these two semantic treatments and argue that my (bifurcated) semantics is theoretically more promising than Hiddleston’s (unified) semantics. (shrink)