A difficulty for the possible worlds analysis of counterfactuals

摘要

I present a puzzle concerning counterfactual reasoning and argue that it should be solved by giving up the principle of substitution for logical equivalents.