Counterpossible Conditionals
Vacuism is the view that all counterpossibles are trivially true. There are reasons to think it incorrect. An impossible worlds semantics for counterfactuals is offered, which makes room for non-trivial counterpossibles. One principle which pins down its application is the Strangeness of Impossibility condition: for any given possible world, any impossible worlds is further away from it than any possible world is. A number of Williamson’s objections to the non-vacuist approach are discussed and it is argued that they can be overcome. The question of whether counterfactuals in general should permit the substitution of rigidly coreferential terms is then raised. Having defended non-vacusim against Williamson’s objections, a range of arguments in its favour are considered.