On the logic of interventionist counterfactuals under indeterministic causal laws
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911838255448064 |
|---|---|
| author | Barbero, Fausto |
| author_facet | Barbero, Fausto |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_07223 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On the logic of interventionist counterfactuals under indeterministic causal laws Barbero, Fausto Logic in Computer Science Logic Statistics Theory 62D20 (Primary), 03A10, 03B70 (Secondary) F.4.3; I.2.4 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. |
| title | On the logic of interventionist counterfactuals under indeterministic causal laws |
| topic | Logic in Computer Science Logic Statistics Theory 62D20 (Primary), 03A10, 03B70 (Secondary) F.4.3; I.2.4 |
| url | https://arxiv.org/abs/2312.07223 |