Dear all,

We will have our next LIRa session tomorrow, on Thursday, 12 October 16:30.

This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)

You can find the details of the talk below.

Speaker: Alexandru Baltag (ILLC, University of Amsterdam)

Date and Time: Thursday, October 12th 2023, 16:30-18:00

Venue: ILLC seminar room F1.15 in Science Park 107 and online

Title: The Dynamic Logic of Causality: from counterfactual dependence to causal interventions

Abstract. Pearl's causal models have become the standard/dominant approach to representing and reasoning about causality. The setting is based on the static notion of causal graphs, but it also makes an essential use of the dynamic notion of causal interventions. In particular, Halpern and Pearl used this setting to define and investigate various notions of actual causality.

As noted by many, causal interventions have an obvious counterfactual flavour. But... their relationship with the counterfactual conditionals (a la Lewis-Stalnaker) has remained murky! A lot of confusion surrounds this topic.

The purpose of this talk is threefold: 1. understand interventions as dynamic modalities (rather than conditionals); 2. elucidate the relationship between intervention modalities and counterfactual conditionals; 3. formalize and completely axiomatize a Causal Intervention Calculus (CIC), that is general enough to allow us to capture both interventions and causal conditionals, but also expressive enough to capture the various notions of actual causality proposed in the literature.

Hope to see you there!

The LIRa team