T. Icard. Logical foundations of causal inference