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)

Humean accounts of chance have a problem with undermining futures: they have to accept that some series of events are physically possible and have a nonzero chance but are inconsistent with the chances being what they are. This contradicts basic platitudes about chances (such as those given by Bigelow et al. (1993) and Schaffer (2007)) and leads to inconsistency between plausible constraints on credences. We show how Humeans can avoid these contradictions by drawing on metaphysically impossible worlds that are, nevertheless, (...) scientifically possible. One major advantage of our approach is that one single move deals with these both problems, whereas previous Humean approaches to undermining (such as that given by Lewis (1994), Thau (1994), and Hall (1994)) have only addressed the connection between credence and chance. Furthermore, our approach connects more closely with the way we employ stochastic scientific theories. And it’s part of a unified solution to other challenges that the Humean faces. (shrink)

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis says all counterpossibles are true solely because their antecedents are impossible. Recently, some have rejected the vacuity thesis by citing purported non-vacuous counterpossibles in science. One limitation of this work, however, is that it is not grounded in experimental data. Do scientists actually reason non-vacuously about counterpossibles? If so, what is their basis for doing so? We presented biologists (N = 86) with two counterfactual formulations of a well-known (...) model in biology, the antecedents of which contain what many philosophers would characterize as a metaphysical impossibility. Participants consistently judged one counterfactual to be true, the other to be false, and they explained that they formed these judgments based on what they perceived to be the mathematical relationship between the antecedent and consequent. Moreover, we found no relationship between participants’ judgments about the (im)possibility of the antecedent and whether they judged a counterfactual to be true or false. These are the first experimental results on counterpossibles in science with which we are familiar. We present a modal semantics that can capture these judgments, and we deal with a host of potential objections that a defender of the vacuity thesis might make. (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)

Sometimes, scientific models are either intended to or plausibly interpreted as representing nonactual but possible targets. Call this “hypothetical modeling”. This paper raises two epistemological challenges concerning hypothetical modeling. To begin with, I observe that given common philosophical assumptions about the scope of objective possibility, hypothetical models are fallible with respect to what is objectively possible. There is thus a need to distinguish between accurate and inaccurate hypothetical modeling. The first epistemological challenge is that no account of the epistemology of (...) hypothetical models seems to cohere with the most characteristic function of scientific modeling in general, i.e., surrogative representation. The second epistemological challenge is a version of “reliability challenges” familiar from other areas. There is a challenge to explain how hypothetical models could be a reliable guide to what is possible, given that they are not and cannot be compared against their nonactual targets and updated accordingly. I close with some brief remarks on possible solutions to these challenges. (shrink)

Explaining the supervenience of the moral on the natural is, perhaps, the central metaphysical challenge for the non-naturalist. However, Scanlon (2014) and Fogal and Risberg (2020) have developed a strategy which purports to explain supervenience rather simply. Fogal and Risberg call it the 'Divide and Conquer' strategy. The key idea is to postulate explanatory moral principles linking the natural and the moral. The moral principles are metaphysically necessary, so trivially supervene on the natural. All other moral facts are determined by (...) the necessary moral principles and the natural facts, so they supervene on the natural too. -/- I argue that there are two versions of the Divide and Conquer strategy and both fail. The first strategy doesn’t give an adequate explanation of supervenience because it doesn't properly identify what makes a difference to the holding of supervenience. The second perhaps does give an adequate explanation of supervenience, but only by introducing something similarly puzzling that needs explanation. -/- Consequently, non-naturalists need additional metaphysical machinery to develop their view -- just appealing to moral principles or metaphysical laws won't do the job. (shrink)

Counterfactuals abound in science, especially when reasoning about and with models. This often requires entertaining counterfactual conditionals with nomologically or metaphysically impossible antecedents, namely, counternomics or counterpossibles. In this paper I defend the make-believe view of scientific counterfactuals, a naturalised fiction-based account of counterfactuals in science which provides a means to evaluate their meanings independently of the possibility of the states of affairs their antecedents describe, and under which they have non-trivial truth-values. Fiction is here understood as imagination (in contrast (...) with its most typical association with falsity), characterised as a propositional attitude of pretense or ‘make-believe’ (Walton 1990). The application of this theory to scientific counterfactuals makes their evaluation a game of make-believe: a counterfactual is (fictionally) true iff its antecedent and the rules of the game prescribe the imagining of its consequent (Kimpton-Nye 2020). The result is a practice-based account of counterfactuals and counterfactual reasoning in science which incorporates insights from theoretical and experimental analytic philosophy as well as cognitive science. This way, the make-believe view of scientific counterfactuals shows that the evaluation of scientific counterfactuals is none other than a question of scientific representation in disguise. (shrink)