Abstract

“If the tower is any taller than 320 ms, it may collapse,” Eiffel thinks out loud. Although understanding this counterfactual poses no trouble, the most successful interventionist semantics struggle to model it because the antecedent can come about in infinitely many ways. My aim is to provide a semantics that will make modeling such counterfactuals easy for philosophers, computer scientists, and cognitive scientists who work on causation and causal reasoning. I first propose three desiderata that will guide my theory: it should be general, yet conservative, yet useful. Next, I develop a formalization of events in the form of an algebra. I identify an event with all the ways in which it can be brought about and provide rules for determining the referent of an arbitrary event description. I apply this algebra to counterfactuals expressed using underdeterministic causal models-models that encode non-probabilistic causal indeterminacies. Specifically, I develop semaphore interventions, which represent how the target system may be modified from without in a coordinated fashion. This, in turn, allows me to bring about any event within a single model. Finally, I explain the advantages of this semantics over other interventionist competitors.