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 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 counter-strategies on behalf of orthodoxy. (shrink)

It is commonly believed that the role of context cannot be ignored in the analysis of conditionals, and counterfactuals in particular. On truth conditional accounts involving possible worlds semantics, conditionals have been analysed as expressions of relative necessity: “If A, then B” is true at some world w if B is true at all the A-worlds deemed relevant to the evaluation of the conditional at w. A drawback of this approach is that for the evaluation of conditionals with the same (...) antecedents at some world, the same worlds are deemed as relevant for all occasions of utterance. But surely this is inadequate, if shifts of contexts between occasions are to be accounted for. Both the linguistic and logical implications of this defect are discussed, and in order to overcome it a modification of David Lewis’ ordering semantics for counterfactuals is developed for a modified language. I follow Lewis by letting contexts determine comparative similarity assignments, and show that the addition of syntactic context parameters (context indices) to the language gives the freedom required to switch between sets of relevant antecedent worlds from occasion to occasion by choosing the corresponding similarity assignment accordingly. Thus an account that extends Lewis’ analysis of a language containing a single counterfactual connective > to a language containing infinitely many counterfactual connectives >_c, each indexed by a different context name c, overcomes the limitations of traditional analyses. Finally it is also shown that these traditional accounts can be recovered from the modified account if certain contextual restrictions are in place. -/- . (shrink)

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)

The aim of this paper is to motivate a view on dispositions according to which dispositions and their manifestations are partially identical, the DM identity theory. It sets out by extrapolating the desiderata of a dispositionalist account of properties. It then shows that the previous theories are burdened with different problems, whose common cause, so the argument goes, is the separation assumption, which almost all share. It states that dispositions and their manifestations are numerically distinct. The paper then explores whether (...) the separation assumption can be abandoned and shows that there are precursors of a DM identity theory. The DM identity theory is then outlined in its central features and it is outlined how they can fulfil the desiderata of dispositionalism. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

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)

The objection of horrible commands claims that divine command metaethics is doomed to failure because it is committed to the extremely counterintuitive assumption that torture of innocents, rape, and murder would be morally obligatory if God commanded these acts. Morriston, Wielenberg, and Sinnott-Armstrong have argued that formulating this objection in terms of counterpossibles is particularly forceful because it cannot be simply evaded by insisting on God’s necessary perfect moral goodness. I show that divine command metaethics can be defended even against (...) this counterpossible version of the objection of horrible commands because we can explain the truth-value intuitions about the disputed counterpossibles as the result of conversational implicatures. Furthermore, I show that this pragmatics-based defence of divine command metaethics has several advantages over Pruss’s reductio counterargument against the counterpossible version of the objection of horrible commands. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (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)

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 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)

As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation (...) conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. (shrink)

Hardcore actualism (HA) grounds all modal truths in the concrete constituents of the actual world (see, e.g., Borghini and Williams (2008), Jacobs (2010), Vetter (2015)). I bolster HA, and elucidate the very nature of possibility (and necessity) according to HA, by considering if it can validate S5 modal logic. Interestingly, different considerations pull in different directions on this issue. To resolve the tension, we are forced to think hard about the nature of the hardcore actualist's modal reality and how radically (...) this departs from possible worlds orthodoxy. Once we achieve this departure, the prospects of a hardcore actualist validation of S5 look considerably brighter. This paper thus strengthens hardcore actualism by arguing that it can indeed validate S5–arguably the most popular logic of metaphysical modality–and, in the process, it elucidates the very nature of modality according to this revisionary, but very attractive, modal metaphysics. (shrink)

Dispositions (powers, potentialities) have become popular in metaphysics in recent years, and some of their proponents are advertising them as the best metaphysical grounds for modality. This project has a logical as well as an ontological side: dispositionalists offer modal and counterfactual semantics that make no use of possible worlds. I argue that, as a result of their counterfactual semantics, dispositionalists are in fact committed to entities that play the same theoretical role as possible worlds. Roughly, the claim is that (...) certain counterfactuals (ones that concern 'very large' states) force the dispositionalist to posit world-sized states that play the theoretical role of worlds. As a result, dispositionalists can (and perhaps should) make use of the mainstream framework (Kripke frames and the Lewis–Stalnaker counterfactual semantics) even if they ground all modal facts in dispositions. (shrink)

According to Michael Almeida, reflections on free will and possibility can be used to show that the existence of an Anselmian God is compatible with the existence of evil. These arguments depend on the assumption that an agent can be free with respect to an action only if it is possible that that agent performs that action. Although this principle enjoys some intuitive support, I argue that Anselmianism undermines these intuitions by introducing impossible options. If Anselmianism is true, I argue, (...) then both God and creatures may be free to do the impossible. (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.

Vetter (2015) develops a localised theory of modality, based on potentialities of actual objects. Two factors play a key role in its appeal: its commitment to Hardcore Actualism, and to Naturalism. Vetter’s commitment to Naturalism is in part manifested in her adoption of Aristotelian universals. In this paper, we argue that a puzzle concerning the identity of unmanifested potentialities cannot be solved with an Aristotelian conception of properties. After introducing the puzzle, we examine Vetter’s attempt at amending the Aristotelian conception (...) in a way that avoids the puzzle, and conclude that this amended version is no longer to be considered naturalistic. Potentiality theory cannot be both actualist and naturalist. We then argue that, if naturalism is to be abandoned by the actualist, there are good reasons to adopt a Platonist conception of universals, for they offer a number of theoretical advantages and allow us to avoid some of the problems facing Vetter’s theory. (shrink)

The aim of this paper is to provide a systematic account of the metaphysically important distinction between haecceitistic properties, such as being David Lewis or being acquainted with David Lewis, and qualitative properties, such as being red or being acquainted with a famous philosopher. I first argue that this distinction is hyperintensional, that is, that cointensional properties can differ in whether they are qualitative. Then I develop an analysis of the qualitative/haecceitistic distinction according to which haecceitistic properties are relational in (...) a certain sense. I argue that this analysis can capture the hyperintensionality of the qualitative/haecceitistic distinction and is generally in accordance with the use of the notion of a qualitative property in philosophical debates. (shrink)

Substantive counterlegal discourse poses a problem for those according to whom the laws of nature are metaphysically necessary. I discern two types of necessitarianism about laws: dispositional essentialism and modal necessitarianism. I argue that Toby Handfield’s response to the problem of counterlegals cannot help the modal necessitarian, according to whom all possible worlds are identical with respect to the laws. I thus propose a fictionalist treatment of counterlegals. Fictions are not limited by metaphysical possibility; hence, fictionalism affords the modal necessitarian (...) the means to account for the apparent substance of counterlegals even granting the metaphysical necessity of the laws. (shrink)

In this paper, I raise the problem of dealing with counterpossible conditionals for theories of subject matter. I argue that existing accounts of subject matter need to be revised and extended to be able to a) provide reasonable (potentially non-degenerate) verdicts about what counterpossibles are about, b) explain the intuition that counterpossibles are in some sense about what would happen if the antecedent were true, and c) explain in what sense counterpossibles can be about individuals. I sketch how one could (...) extend atom-based and way-based theories of subject matters to handle the problem. Then, I raise the problem that it might be desirable for a theory of subject matter to prevent the inference that certain counterpossibles are about the kinds of things that they seem to mention. (shrink)

I develop a challenge for a widely suggested knowledge-first account of belief that turns, primarily, on unknowable propositions. I consider and reject several responses to my challenge and sketch a new knowledge-first account of belief that avoids it.

In two‐dimensional semantics in the tradition of Davies and Humberstone, whether a singular term receives an epistemically shifted reading in the scope of a modal operator depends on whether the world considered as actual is shifted. This means that epistemically shifted readings should be available only in environments where an explicit contrast between the actual world and some counterfactual worlds cannot be made. In this paper, I argue that this is incorrect. Whether a singular term receives an epistemically shifted reading (...) is independent of whether the world treated as actual is shifted. This, I argue, undermines the two‐dimensionalist account of epistemic shift. I then turn to the question how a positive view should handle these two phenomena separately. I argue for treating singular terms with a version of counterpart theory in which the difference between epistemically shifted and other readings is determined in the context of utterance. (shrink)