A Lewisian logic of causal counterfactuals
Minds and Machines
Causal models, Causal reasoning, Conditional logic, Counterfactual, Intervention
In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s.
Copyright © 2011 Springer Science+Business Media B.V.
Access to external full text or publisher's version may require subscription.
Zhang, J. (2013). A Lewisian logic of causal counterfactuals. Minds and Machines, 23(1), 77-93. doi: 10.1007/s11023-011-9261-z