Interventionist counterfactuals on causal teams

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Kuvaus

We introduce an extension of team semantics which provides a framework for the logic of manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. We then introduce formal languages for deterministic and probabilistic causal discourse, and show how various notions of cause (e.g. direct and total causes) may be defined in them.
Through the tuning of various constraints on structural equations (recursivity, existence and uniqueness of solutions, full or partial definition of the functions), our framework can capture different causal models. We give an overview of the inferential aspects of the recursive, fully defined case; and we dedicate some attention to the recursive, partially defined case, which involves a shift of attention towards nonclassical truth values.
Alkuperäiskielienglanti
OtsikkoProceedings CREST 2018
Sivumäärä15
Julkaisupäivä3 tammikuuta 2019
Sivut16-30
TilaJulkaistu - 3 tammikuuta 2019
OKM-julkaisutyyppiEi sovellu
TapahtumaCREST 2018: 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology - Thessaloniki, Kreikka
Kesto: 20 huhtikuuta 201920 huhtikuuta 2019
Konferenssinumero: 3

Julkaisusarja

NimiLogic in Computer Science (cs.LO)

Lisätietoja

arXiv:1901.00073

Lainaa tätä

Barbero, F., & Sandu, G. (2019). Interventionist counterfactuals on causal teams. teoksessa Proceedings CREST 2018 (Sivut 16-30). (Logic in Computer Science (cs.LO)).
Barbero, Fausto ; Sandu, Gabriel. / Interventionist counterfactuals on causal teams. Proceedings CREST 2018. 2019. Sivut 16-30 (Logic in Computer Science (cs.LO)).
@inproceedings{67514399e9c54af395b97a1b6aa165ff,
title = "Interventionist counterfactuals on causal teams",
abstract = "We introduce an extension of team semantics which provides a framework for the logic of manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. We then introduce formal languages for deterministic and probabilistic causal discourse, and show how various notions of cause (e.g. direct and total causes) may be defined in them. Through the tuning of various constraints on structural equations (recursivity, existence and uniqueness of solutions, full or partial definition of the functions), our framework can capture different causal models. We give an overview of the inferential aspects of the recursive, fully defined case; and we dedicate some attention to the recursive, partially defined case, which involves a shift of attention towards nonclassical truth values.",
author = "Fausto Barbero and Gabriel Sandu",
note = "arXiv:1901.00073",
year = "2019",
month = "1",
day = "3",
language = "English",
series = "Logic in Computer Science (cs.LO)",
pages = "16--30",
booktitle = "Proceedings CREST 2018",

}

Barbero, F & Sandu, G 2019, Interventionist counterfactuals on causal teams. julkaisussa Proceedings CREST 2018. Logic in Computer Science (cs.LO), Sivut 16-30, CREST 2018, Thessaloniki, Kreikka, 20/04/2019.

Interventionist counterfactuals on causal teams. / Barbero, Fausto; Sandu, Gabriel.

Proceedings CREST 2018. 2019. s. 16-30 (Logic in Computer Science (cs.LO)).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

TY - GEN

T1 - Interventionist counterfactuals on causal teams

AU - Barbero, Fausto

AU - Sandu, Gabriel

N1 - arXiv:1901.00073

PY - 2019/1/3

Y1 - 2019/1/3

N2 - We introduce an extension of team semantics which provides a framework for the logic of manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. We then introduce formal languages for deterministic and probabilistic causal discourse, and show how various notions of cause (e.g. direct and total causes) may be defined in them. Through the tuning of various constraints on structural equations (recursivity, existence and uniqueness of solutions, full or partial definition of the functions), our framework can capture different causal models. We give an overview of the inferential aspects of the recursive, fully defined case; and we dedicate some attention to the recursive, partially defined case, which involves a shift of attention towards nonclassical truth values.

AB - We introduce an extension of team semantics which provides a framework for the logic of manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. We then introduce formal languages for deterministic and probabilistic causal discourse, and show how various notions of cause (e.g. direct and total causes) may be defined in them. Through the tuning of various constraints on structural equations (recursivity, existence and uniqueness of solutions, full or partial definition of the functions), our framework can capture different causal models. We give an overview of the inferential aspects of the recursive, fully defined case; and we dedicate some attention to the recursive, partially defined case, which involves a shift of attention towards nonclassical truth values.

M3 - Conference contribution

T3 - Logic in Computer Science (cs.LO)

SP - 16

EP - 30

BT - Proceedings CREST 2018

ER -

Barbero F, Sandu G. Interventionist counterfactuals on causal teams. julkaisussa Proceedings CREST 2018. 2019. s. 16-30. (Logic in Computer Science (cs.LO)).