Characterizing counterfactuals and dependencies over (generalized) causal teams

Fausto Barbero; Fan Yang

doi:10.1215/00294527-2022-0017

Characterizing counterfactuals and dependencies over (generalized) causal teams

Fausto Barbero
, Fan Yang

University of Sheffield
University of Helsinki

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

Original language	English
Pages (from-to)	301-341
Journal	Notre Dame Journal of Formal Logic
Volume	63
Issue number	3
DOIs	https://doi.org/10.1215/00294527-2022-0017
Publication status	Published - Aug 2022
Externally published	Yes

Access to Document

10.1215/00294527-2022-0017

Cite this

@article{7a99e5f28d8140b5b476d2eeaab9e873,

title = "Characterizing counterfactuals and dependencies over (generalized) causal teams",

abstract = "We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.",

author = "Fausto Barbero and Fan Yang",

year = "2022",

month = aug,

doi = "10.1215/00294527-2022-0017",

language = "English",

volume = "63",

pages = "301--341",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "3",

}

TY - JOUR

T1 - Characterizing counterfactuals and dependencies over (generalized) causal teams

AU - Barbero, Fausto

AU - Yang, Fan

PY - 2022/8

Y1 - 2022/8

N2 - We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

AB - We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

UR - https://researchportal.helsinki.fi/en/publications/9b97cb0a-d0b8-4bbf-81ce-8b55352ad9bd

U2 - 10.1215/00294527-2022-0017

DO - 10.1215/00294527-2022-0017

M3 - Article

SN - 0029-4527

VL - 63

SP - 301

EP - 341

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 3

ER -

Characterizing counterfactuals and dependencies over (generalized) causal teams

Abstract

Access to Document

Other files and links

Fingerprint

Cite this