I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, (...) I argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time (...) would have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

Counterpossibles are counterfactuals that involve some metaphysical impossibility. Modal normativism is a non-descriptivist account of metaphysical necessity and possibility according to which modal claims, e.g. ‘necessarily, all bachelors are unmarried’, do not function as descriptive claims about the modal nature of reality but function as normative illustrations of constitutive rules and permissions that govern the use of ordinary non-modal vocabulary, e.g. ‘bachelor’. In this paper, I assume modal normativism and develop a novel account of counterpossibles and claims about (...) metaphysical similarity between possible and impossible worlds. I argue that considerations of metaphysical similarity between various impossible worlds and the actual world only require us to tacitly consider how the actual constitutive rules that govern the use of our terms change in order to accommodate the description of some hypothetical impossible scenario. I then argue for my account by raising worries for alternative epistemic and realist accounts of counterpossibles and showing how my account avoids those worries. (shrink)

The longstanding philosophical orthodoxy on counterfactuals holds, in part, that counterfactuals with metaphysically impossible antecedents are indiscriminately vacuously true. Drawing on a number of examples from across scientific practice, I argue that science routinely treats counterpossibles as non-vacuously true and also routinely treats other counterpossibles as false. In fact, the success of many central scientific endeavors requires that counterpossibles can be non-vacuously true or false. So the philosophical orthodoxy that counterpossibles are indiscriminately vacuously true is inconsistent (...) with scientific practice. I argue that this provides a conclusive reason to reject the orthodoxy. (shrink)

Several themes of David Lewis's theory of counterfactuals, especially their sensitivity to context, pave the way for a viable theory of non-trivial counterpossibles. If Lewis was successful in defending his account against the early objections, a semantics of counterpossibles can be defended from similar objections in the same way. The resulting theory will be extended to address 'might' counterfactuals and questions about the relative "nearness" of impossible worlds.

Dispositionalists try to provide an account of modality—possibility, necessity, and the counterfactual conditional—in terms of dispositions. But there may be a tension between dispositionalist accounts of possibility on the one hand, and of counterfactuals on the other. Dispositionalists about possibility must hold that there are no impossible dispositions, i.e., dispositions with metaphysically impossible stimulus and/or manifestation conditions; dispositionalist accounts of counterfactuals, if they allow for non-vacuous counterpossibles, require that there are such impossible dispositions. I argue, first, that there are (...) in fact no impossible dispositions; and second, that the dispositionalist can nevertheless acknowledge the non-vacuity of some counterpossibles. The strategy in the second part is one of ‘divide and conquer’ that is not confined to the dispositionalist: it consists in arguing that counterpossibles, when non-vacuous, are read epistemically and are therefore outside the purview of a dispositional account. (shrink)

We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.

It has been suggested that intuitions supporting the nonvacuity of counterpossibles can be explained by distinguishing an epistemic and a metaphysical reading of counterfactuals. Such an explanation must answer why we tend to neglect the distinction of the two readings. By way of an answer, I offer a generalized pattern for explaining nonvacuity intuitions by a stand-and-fall relationship to certain indicative conditionals. Then, I present reasons for doubting the proposal: nonvacuists can use the epistemic reading to turn the table (...) against vacuists, telling apart significant from spurious intuitions. Moreover, our intuitions tend to survive even if we clear-headedly intend a metaphysical reading. -/- . (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I (...) introduce several arguments against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. (...) Another justification derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

The will of an omnipotent being would be perfectly efficacious. Alexander Pruss and I have provided an analysis of perfect efficacy that relies on non-trivial counterpossible conditionals. Scott Hill has objected that not all of the required counterpossibles are true of God. Sarah Adams has objected that perfect efficacy of will (on any analysis) would be an extrinsic property and so is not suitable as a divine attribute. I argue that both of these objections can be answered if the (...) divine will is taken to be the ground, rather than the cause, of its fulfillment. (shrink)

A counterpossible conditional, or counterpossible for short, is a conditional proposition whose antecedent is impossible. The filioque doctrine is a dogma of western Christian Trinitarian theology according to which the Holy Spirit proceeds from the Father and the Son. The filioque doctrine was the principal theological reason for the Great Schism, the split between Eastern Orthodoxy and western Christianity, which continues today. In the paper, I review one of the earliest medieval defenses of the doctrine in Anselm of Canterbury, and (...) I show that Anselm’s treatment of counterpossible conditionals concerning the procession of the spirit from the son in Trinitarian theology represent an early foray into default logic. Thus, the mutual estrangement of eastern and western positions on the matter may not lie fundamentally in a change in dogma, but rather in a change in logic. (shrink)

I. Non-Trivial Counterpossibles On Lewis’ account, a subjunctive of the form ‘if it were the case that p, it would be the case that q’ (represented as ‘p → q’) is to be given the following rough meta-linguistic truth-conditions1.

This article explores three ways in which physics may involve counterpossible reasoning. The first way arises when evaluating false theories: to say what the world would be like if the theory were true, we need to evaluate counterfactuals with physically impossible antecedents. The second way relates to the role of counterfactuals in characterizing causal structure: to say what causes what in physics, we need to make reference to physically impossible scenarios. The third way is novel: to model metaphysical dependence in (...) physics, we need to consider counterfactual consequences of metaphysical impossibilities. Physics accordingly bears substantial and surprising counterpossible commitments. (shrink)

In a series of articles, Wes Morriston has launched what can only be considered a full-scale assault on the divine command theory (DCT) of morality. According to Morriston, proponents of this theory are committed to an alarming counterpossible: that if God did command an annual human sacrifice, it would be morally obligatory. Since only a ‘terrible’ deity would do such a ‘terrible’ thing, we should reject DCT. Indeed, if there were such a deity, the world would be a terrible place—certainly (...) far worse than it is. We argue that Morriston’s non-standard method for assessing counterpossibles of this sort is flawed. Not only is the savvy DCT-ist at liberty to reject it, but Morriston’s method badly misfires in the face of theistic activism—a metaphysical platform available to DCT-ists, according to which if God didn’t exist, neither would anything else. (shrink)

This paper outlines a non-reductive counterfactual account of grounding along interventionist lines, and uses the account to argue that taking grounding seriously requires ascribing non-trivial truth-conditions to a range of counterpossible counterfactuals. This result allows for a diagnosis of a route to scepticism about grounding, as deriving at least in part from scepticism about non-trivial counterpossible truth and falsity.

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and (...) give an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

Orthodoxy has it that all counterpossibles are vacuously true. Yet there are strong arguments both for and against the use of non-vacuous counterpossibles in metaphysics. Even more compelling evidence may be expected from science. Arguably philosophy should defer to best scientific practice. If scientific practice comes with a commitment to non-vacuous counterpossibles, this may be the decisive reason to reject semantic orthodoxy and accept non-vacuity. I critically examine various examples of the purported scientific use of non-vacuous (...) class='Hi'>counterpossibles and argue that they are not convincing. They neither establish that scientific practice comes with a commitment to the non-vacuity of counterpossibles, nor that incurring such a commitment would be useful in scientific practice. I illustrate a variety of counterstrategies on behalf of orthodoxy. (shrink)

Counterpossibles, counterfactuals conditional with impossible antecedents, are notoriously contested; while the standard view makes them trivially true, some authors argue that they can be non-trivially true. In this paper, I examine the use of counterfactuals in the context of games, and argue that there is a case to be made for their non-triviality in a restricted sense. In particular, I examine the case of retro problems in chess, where it can happen that one is tasked with evaluating counterfactuals about (...) illegal positions. If we understand illegality as a type of restricted impossibility, those counterfactuals are non-trivial counterpossibles. I suggest that their non-triviality stems from their role in practices of rule coordination and revision, and suggest that this model could be generalized to counterpossibles in different domains. I then compare the approach to the accounts of Vetter 2016 and Locke 2019. (shrink)

One well-known objection to the traditional Lewis-Stalnaker semantics of counterfactuals is that it delivers counterintuitive semantic verdicts for many counterpossibles (counterfactuals with necessarily false antecedents). To remedy this problem, several authors have proposed extending the set of possible worlds by impossible worlds at which necessary falsehoods may be true. Linguistic ersatz theorists often construe impossible worlds as maximal, inconsistent sets of sentences in some sufficiently expressive language. However, in a recent paper, Bjerring (2014) argues that the “extended” Lewis-Stalnaker semantics (...) delivers the wrong truth-values for many counterpossibles if impossible worlds are required to be maximal. To make room for non-maximal or partial impossible worlds, Bjerring considers two alternative world-ontologies: either (i) we construe impossible worlds as arbitrary (maximal or partial) inconsistent sets of sentences, or (ii) we construe them as (maximal or partial) inconsistent sets of sentences that are closed and consistent with respect to some non-classical logic. Bjerring raises an objection against (i), and suggests that we opt for (ii). In this paper, I argue, first, that Bjerring’s objection against (i) conflates two different conceptions of what it means for a logic to be true at a world. Second, I argue that (ii) imposes too strong constraints on what counts as an impossible world. I conclude that linguistic ersatzists should construe impossible worlds as arbitrary (maximal or partial) inconsistent sets of sentences. (shrink)

The object of this paper is to examine two approaches to giving non-vacuous truth conditions for counterpossibles, counterfactuals with impossible antecedents. I first develop modifications of a Lewis-style sphere semantics with impossible worlds. I argue that this approach sanctions intuitively invalid inferences and is supported by philosophically problematic foundations. I then develop modifications of certain ceteris paribus conditional logics with impossible worlds. Tableaux are given for each of these in an appendix and soundness and completeness results are proved. While (...) certain of the latter systems are shown to have similar problems to logics from the first approach, at least one relatively weak system appears to offer an adequate uniform semantics for counterpossibles and counterfactuals. (shrink)

The aim of this paper is to argue in favor of the view that some counterpossibles are false. This is done indirectly by showing that accepting the opposite view, i.e., one that ascribes truth to each and every counterpossible, results in the claim that every necessarily false theory has exactly the same consequences. Accordingly, it is shown that taking every counterpossible to be true not only undermines the value of debates over various alternative theories and their consequences, but also (...) puts into question the very possibility of such debates. In order to explicate this thesis, the close bond between counterpossibles and the so-called story prefix is explored. A number of possible responses to this criticism are also presented, and it is argued that none of them address the main problem. (shrink)

Lewis/Stalnaker semantics has it that all counterpossibles (i.e., counterfactual conditionals with impossible antecedents) are vacuously true. Non-vacuism, by contrast, says the truth-values of counterpossibles are affected by the truth-values of the consequents. Some counterpossibles are true, some false. Williamson objects to non-vacuism. He asks us to consider someone who answered ‘11’ to ‘What is 5 + 7?’ but who mistakenly believes that he answered ‘13’. For the non-vacuist, (1) is false, (2) true: (1) If 5 + 7 (...) were 13, x would have got that sum right (2) If 5 + 7 were 13, x would have got that sum wrong Williamson is not persuaded by the initial intuitiveness of such examples: ... they tend to fall apart when thought through. For example, if 5 + 7 were 13 then 5 + 6 would be 12, and so (by another eleven steps) 0 would be 1, so if the number of right answers I gave were 0, the number of right answers I gave would be 1. (2006) That’s the whole argument—much of it implicit. Alan Baker’s critique (2007) of Brogaard and Salerno (2007) prompts us to say something less abbreviated about a less abbreviated form of Wiliamson’s argument. Then we further develop our (2007) counterfactual analysis of essense. (shrink)

Wright (In Gendler and Hawthorne (Eds.), Conceivability and possibility, 2002) rejects some dominant responses to Kripke’s modal argument against the mind-body identity theory, and instead he proposes a new response that draws on a certain understanding of counterpossibles. This paper offers some defensive remarks on behalf of Lewis’ objection to that argument, and it argues that Wright’s proposal fails to fully accommodate the conceivability intuitions, and that it is dialectically ineffective.

The aim of this paper is to show why the theories of impossible worlds do not fully solve the problem of counterpossibles, but merely shift it. Moreover, by making a distinction between two types of languages, we will show that some expectations about proper theory of counterfactuals might be too great.

Several theorists have been attracted to the idea that in order to account for counterpossibles, i.e. counterfactuals with impossible antecedents, we must appeal to impossible worlds. However, few have attempted to provide a detailed impossible worlds account of counterpossibles. Berit Brogaard and Joe Salerno’s ‘Remarks on Counterpossibles’ is one of the few attempts to fill in this theoretical gap. In this article, I critically examine their account. I prove a number of unanticipated implications of their account that (...) end up implying a counterintuitive result. I then examine a suggested revision and point out a surprising implication of the revision. (shrink)

Closest-possible-world analyses of counterfactuals suffer from what has been called the ‘problem of counterpossibles’: some counterfactuals with metaphysically impossible antecedents seem plainly false, but the proposed analyses imply that they are all (vacuously) true. One alleged solution to this problem is the addition of impossible worlds. In this paper, I argue that the closest possible or impossible world analyses that have recently been suggested suffer from the ‘new problem of counterpossibles’: the proposed analyses imply that some plainly true (...) counterpossibles (viz., ‘counterlogicals’) are false. After motivating and presenting the ‘new problem’, I give reasons to think that the most plausible objection to my argument is not compelling. (shrink)

Guy Kahane asks an axiological question: what value would (or does) God’s existence bestow on the world? Supposing God’s existence is a matter of necessity, this axiological question faces a problem because answering it will require assessing the truth-value of counterpossibles. I argue that Kahane, Paul Moser, and Richard Davis and Paul Franks fail in their attempts to render the axiological question substantive. I then offer my own solution by bringing work in cognitive psychology and philosophy of mind to (...) bear on the possibility of assessing counterpossibles. I argue that humans can engage in counterpossible reasoning by “accepting” or “supposing” that the antecedent is true and “screening out” those beliefs that would result in contradictions when combined in inferences with the acceptance or supposition. These screened out propositions are not treated as false, but are ignored. I offer a three-valued logic for counterpossible reasoning. I conclude by outlining some implications for the axiological question. (shrink)

Spinoza reasons about impossibilities on a regular basis. But he also says they're unthinkable and that reasoning is a mental process. How can he do this? The paper defends a linguistic account of counterpossible inferences in Spinoza's geometrical method.

In this paper I critically examine Brian Leftow's attempt to construct a theistic semantics for counterpossibles, one that can be used to make sense of the fact that propositions, which exist necessarily, nevertheless depend on God as their cause. I argue that the impressive theoretical framework erected by Leftow cannot guarantee an asymmetrical dependence of propositions on God, and ultimately leads to a semantic collapse in which every counterpossible comes out false. I end by defending an alternative account of (...) God and propositions -- what I call 'theistic existentialism'. It is shown how this account underwrites a semantics for counterpossibles that conveniently avoids the problems attending Leftow's theory. (shrink)

A mathematical model in science can be formulated as a counterfactual conditional, with the model’s assumptions in the antecedent and its predictions in the consequent. Interestingly, some of these models appear to have assumptions that are metaphysically impossible. Consider models in ecology that use differential equations to track the dynamics of some population of organisms. For the math to work, the model must assume that population size is a continuous quantity, despite that many organisms are necessarily discrete. This means our (...) counterfactual representation of the model can have an impossible antecedent, giving us a counterpossible. Analogous counterpossibles arise in other sciences, as we’ll see. According to a prominent view in counterfactual semantics, the vacuity thesis, all counterpossibles are vacuously true, that is, true merely because their antecedents are necessarily false. But some counterpossible formulations of differential equation models in science are not all vacuously true—some are non-vacuously true, and some are false. I go on to show how an alternative semantics, one that employs impossible worlds, can deliver this judgment. (shrink)

This dissertation explores various attempts to solve the Dependence Problem problem posed by the following question: How can necessary truths stand to God in a one-way relation of dependence, given that neither they nor God could have failed to exist?

Nina Emery and Christopher Hill proposed a pragmatic approach toward the debate about counterpossibles—i.e., counterfactuals with impossible antecedents. The core of this approach is to move the burden of the problem from the notion of truth value into the notion of assertion. This is meant to explain our pre-theoretical intuitions about counterpossibles while claiming that each and every counterpossible is vacuously true. The aim of this paper is to indicate a problematic aspect of this view.

Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

To solve the problem of counterpossibles, many philosophers have been arguing that one needs to invoke impossible worlds. This extension of the ontology of modality should save the analysis of counterfactuals from being insensitive to the problem of counterpossibles. Since theories of impossible worlds are extensions of original accounts of modalities, it is worth stressing that proper analyses of counterpossibles should not weaken the latter.In this paper I argue that these theories of impossible wolrds, which are based (...) on D. Lewis' modal realism - Extended Modal Realism and Hybrid Modal Realism - might be consider as either an unattractive for modal realists or insufficient for analyzing counterpossibles. (shrink)

According to the most popular theories, counterfactuals with impossible antecedents are vacuously true. Critiques of this view argue that contrary to this, we tend to consider only some of them true and others to be false. In his recent paper Timothy Williamson has ingeniously explained the motivations for the orthodox view and argued that although there are some heuristic reasons that may suggest the plausibility of the unorthodox view, they are fallible. The most important of Williamson’s arguments is that the (...) unorthodox interpretation is inconsistent with the heuristic assumption that supposedly motivates this very view. The aim of this paper is to consider Williamson’s critique and to support the unorthodox approach towards counterpossibles. In order to do so, we argue in favor of the modified version of the heuristic assumption. (shrink)

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which we also (...) consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) (...) causal counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation (CTE) for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires us (...) to rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)