Department of Computer, Control and Management Engineering

What does it mean that an event C ``actually caused'' event E?

The problem of defining actual causation goes beyond mere philosophical speculation.  For example, in many legal arguments, it is precisely what needs to be established in order to determine responsibility.   (What exactly was the actual cause of the car accident or the medical problem?) The philosophy literature has been struggling with the problem of defining causality since the days of Hume, in the 1700s. Many of the definitions have been couched in terms of counterfactuals. (C is a cause of E if, had C not happened, then E would not have happened.) In 2001, Judea Pearl and I introduced a new definition of actual cause, using Pearl's notion of structural equations to model counterfactuals.  The definition has been revised twice since then, extended to deal with notions like "responsibility" and "blame", and applied in databases and program verification.  I survey the last 15 years of work here, including joint work with Judea Pearl, Hana Chockler, and Chris Hitchcock.  The talk will be completely self-contained.

Prof. Joe Halpern (Cornell University) will give this very lecture at the National Geographic Festival Delle Scienze "Le Cause delle Cose" presso L'Auditorium Parco della Musica. His talk there will be the same day Aprill 19, 2018 in the evening. https://www.auditorium.com/rassegna/national_geographic_festival_delle_s...