2000 character limit reached
On the logic of interventionist counterfactuals under indeterministic causal laws (2312.07223v2)
Published 12 Dec 2023 in cs.LO, math.LO, math.ST, and stat.TH
Abstract: We investigate the generalization of causal models to the case of indeterministic causal laws that was suggested in Halpern (2000). We give an overview of what differences in modeling are enforced by this more general perspective, and propose an implementation of generalized models in the style of the causal team semantics of Barbero & Sandu (2020). In these models, the laws are not represented by functions (as in the deterministic case), but more generally by relations. We analyze significant differences in the axiomatization of interventionist counterfactuals in the indeterministic vs. the deterministic case, and provide strongly complete axiomatizations over the full class of indeterministic models and over its recursive subclass.
- Embedding causal team languages into predicate logic. Annals of Pure and Applied Logic, pages 103–159, 2022.
- Team semantics for interventionist counterfactuals: observations vs. interventions. Journal of Philosophical Logic, 50:471–521, 2021.
- Observing interventions: a logic for thinking about experiments. Journal of Logic and Computation, April 2022.
- Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. In Sarah Gaggl, Maria Vanina Martinez, and Magdalena Ortiz, editors, Logics in Artificial Intelligence, pages 649–664, Cham, 2023. Springer Nature Switzerland.
- Characterizing counterfactuals and dependencies over (generalized) causal teams. Notre Dame Journal of Formal Logic, 63(3), 2022.
- Causal models with constraints. In Conference on Causal Learning and Reasoning, pages 866–879. PMLR, 2023.
- David Bohm. Causality and chance in modern physics. Van Nostrand Company, Inc., Princeton, NJ, 1957.
- Rachael Briggs. Interventionist counterfactuals. Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 160(1):139–166, 2012.
- A characterization of Lewisian causal models. In International Workshop on Logic, Rationality and Interaction, pages 94–108. Springer, 2023.
- An axiomatic characterization of causal counterfactuals. Foundations of Science, 3(1):151–182, Jan 1998.
- Joseph Halpern. Actual causality. MIT Press, 2016.
- Actual causation and the art of modeling. In Causality, Probability, and Heuristics: A Tribute to Judea Pearl, pages 383–406. College Publications, 2010.
- Joseph Y. Halpern. Axiomatizing causal reasoning. J. Artif. Int. Res., 12(1):317–337, May 2000.
- Joseph Y. Halpern. From causal models to counterfactual structures. Review of Symbolic Logic, 6(2):305–322, 2013.
- Reasoning about causal models with infinitely many variables. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 36, pages 5668–5675, 2022.
- Econometric evaluation of social programs, part i: Causal models, structural models and econometric policy evaluation. Handbook of econometrics, 6:4779–4874, 2007.
- Miguel A. Hernan and J. Robins. Causal Inference: What if. Boca Raton: Chapman & Hill/CRC. forthcoming.
- Probabilistic reasoning across the causal hierarchy. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 34, pages 10170–10177, 2020.
- David Lewis. Counterfactuals. Oxford: Blackwell Publishers, 1973.
- Counterfactuals and causal inference. Cambridge University Press, 2015.
- Causation: A user’s guide. Oxford University Press, 2013.
- Judea Pearl. Causality: Models, Reasoning, and Inference. Cambridge University Press, New York, NY, USA, 2000.
- Judea Pearl. Physical and metaphysical counterfactuals: Evaluating disjunctive actions. Journal of Causal Inference, 5(2):20170018, 2017.
- Elements of causal inference: foundations and learning algorithms. MIT Press, 2017.
- Causal modeling with infinitely many variables. arXiv preprint arXiv:2112.09171, 2021.
- Bernhard Schölkopf. Causality for machine learning. In Probabilistic and Causal Inference: The Works of Judea Pearl, pages 765–804. Association for Computing Machinery, 2022.
- Causation, Prediction, and Search, volume 81 of Lecture Notes in Statistics. Springer New York, 1993.
- Tomasz Wysocki. The underdeterministic framework. British Journal for the Philosophy of Science, forthcoming.
- Jiji Zhang. A Lewisian logic of causal counterfactuals. Minds and Machines, 23(1):77–93, 2013.