From Causal Models To Counterfactual Structures

06/14/2011
by   Joseph Y. Halpern, et al.
0

Galles and Pearl claimed that "for recursive models, the causal model framework does not add any restrictions to counterfactuals, beyond those imposed by Lewis's [possible-worlds] framework." This claim is examined carefully, with the goal of clarifying the exact relationship between causal models and Lewis's framework. Recursive models are shown to correspond precisely to a subclass of (possible-world) counterfactual structures. On the other hand, a slight generalization of recursive models, models where all equations have unique solutions, is shown to be incomparable in expressive power to counterfactual structures, despite the fact that the Galles and Pearl arguments should apply to them as well. The problem with the Galles and Pearl argument is identified: an axiom that they viewed as irrelevant, because it involved disjunction (which was not in their language), is not irrelevant at all.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/04/2023

Counterfactual Identifiability of Bijective Causal Models

We study counterfactual identifiability in causal models with bijective ...
research
08/07/2014

Axiomatizing Causal Reasoning

Causal models defined in terms of a collection of equations, as defined ...
research
01/03/2019

Interventionist Counterfactuals on Causal Teams

We introduce an extension of team semantics which provides a framework f...
research
05/31/2021

Counterfactual Invariance to Spurious Correlations: Why and How to Pass Stress Tests

Informally, a `spurious correlation' is the dependence of a model on som...
research
05/27/2022

Counterfactual Analysis in Dynamic Models: Copulas and Bounds

We provide an explicit model of the causal mechanism in a structural cau...
research
03/11/2018

Exact uniform sampling over catalan structures

We present a new framework for creating elegant algorithms for exact uni...
research
12/27/2017

Guarded and Unguarded Iteration for Generalized Processes

Models of iterated computation, such as (completely) iterative monads, o...

Please sign up or login with your details

Forgot password? Click here to reset