Comparing Functional Dependences on Interventionist Counterfactual Causal Models
Abstract/Contents
- Abstract
Formalizing causality into terms of (mathematical) logic can allow us to determine with greater precision (1) when it is appropriate to draw causal relationships, (2) whether we can express all the nuanced types of causality, and (3) how we can define the constituent parts of the machinery that drives causal reasoning, among other objectives. While work on (1) and (2) is plentiful and exemplified by Pearl’s structural causal model (SCM), the use of functional dependence logics like Vaananen’s DL based on team semantics to describe reasoning over SCMs is a relatively new tactic toward (3).
With this year’s advent of van Benthem and Baltag’s new functional dependence logic LFD, which takes a more local and modal approach to dependence relationships, I explore in this thesis the expressibility of causality in terms of SCMs in the new system of LFD, mirroring the work done using team semantics, the main result toward this end being the new logic CFD. Comparatively between the two forms of dependence logic discussed, I argue that using the more local CFD to analyze interactions between dependence and causality is more fundamental, fine-grained, and easily controllable, with respect to its global counterpart COD that is based on team semantics. However, I also show that localizing dependence in combined functional-counterfactual dependence logics still leaves various metaphysical problems for analyzing causality that lie outside the scope of said localization. Consequently, I then propose interventional analysis of sets of causal models, rather than singular models, might help solve some of these issues. All throughout, I will show how even in these localized settings, the stratification of causal inference tasks encapsulated in the Pearl Causal Hierarchy hold — and that, in general, logic still backs that correlation (almost) never implies causation.
Description
Type of resource | text |
---|---|
Date modified | December 5, 2022 |
Publication date | July 22, 2022; March 11, 2022 |
Creators/Contributors
Author | Nkoy, Josh |
![]() |
---|---|---|
Thesis advisor | Icard, Thomas | |
Thesis advisor | van Benthem, Johan |
Subjects
Subject | Counterfactuals (Logic) |
---|---|
Subject | Team semantics |
Subject | Causal hierarchy |
Subject | Causal models |
Subject | Dependence |
Subject | Logic |
Subject | Causation > Mathematical models |
Genre | Text |
Genre | Thesis |
Bibliographic information
Related item |
|
---|---|
DOI | https://doi.org/10.25740/yf843fq3736 |
Location | https://purl.stanford.edu/yf843fq3736 |
Access conditions
- Use and reproduction
- User agrees that, where applicable, content will not be used to identify or to otherwise infringe the privacy or confidentiality rights of individuals. Content distributed via the Stanford Digital Repository may be subject to additional license and use restrictions applied by the depositor.
- License
- This work is licensed under a Creative Commons Zero v1.0 Universal license (CC0).
Preferred citation
- Preferred citation
- Nkoy, J. (2022). Comparing Functional Dependences on Interventionist Counterfactual Causal Models. Undergraduate honors thesis. Stanford Digital Repository. Available at https://purl.stanford.edu/yf843fq3736
Collection
Undergraduate Honors Theses, Symbolic Systems Program, Stanford University
View other items in this collection in SearchWorksContact information
Also listed in
Loading usage metrics...