A counterpossible is a counterfactual with an impossible antecedent. Matthias Jenny has argued that relative computability theory provides examples of false counterpossibles. If Jenny were right, it would be highly significant, since it would follow that the standard analysis of counterfactuals, according to which counterpossibles are all vacuously true, is incorrect. In this paper, we argue against the claim that computability theory provides examples of false counterpossibles. We distinguish t…
Read moreA counterpossible is a counterfactual with an impossible antecedent. Matthias Jenny has argued that relative computability theory provides examples of false counterpossibles. If Jenny were right, it would be highly significant, since it would follow that the standard analysis of counterfactuals, according to which counterpossibles are all vacuously true, is incorrect. In this paper, we argue against the claim that computability theory provides examples of false counterpossibles. We distinguish two ways of reading the alleged false counterpossibles. Under the first reading, they are indeed false, but, as we will argue, they are not genuine counterpossibles. Under the second reading, they are genuine counterpossibles, but they are true. There is a way to interpret the alleged false counterpossibles as false, and there is a way to interpret them as counterpossibles, but under none of these two interpretations they are false counterpossibles.