A Modification of the Halpern-Pearl Definition of Causality

However, as is well known, the but-for test is not always sufficient to determine causality. Consider the following The original Halpern-Pearl definition of causality well-known example, taken from [Paul and Hall, 2013]: [Halpern and Pearl, 2001] was updated in the journal Suzy and Billy both pick up rocks and throw them version of the paper [Halpern and Pearl, 2005] at a bottle. Suzy's rock gets there first, shattering to deal with some problems pointed out by Hopkins the bottle. Since both throws are perfectly accurate, and Pearl [2003]. Here the definition is modified Billy's would have shattered the bottle had it not yet again, in a way that (a) leads to a simpler definition, been preempted by Suzy's throw.