Rubin and Pearl offered approaches to causal effect estimation and Lewis and Pearl offered theories of counterfactual conditionals. Arguments offered by Pearl and his collaborators support a weak form of equivalence such that notation from the rival theory can be re-purposed to express Pearl’s theory in a way that is equivalent to Pearl’s theory expressed in its native notation. Nonetheless, the many fundamental differences between the theories rule out any stronger form of equivalence. A renewed emphasis on comparative research can (...) help to guide applications, further develop each theory, and better understand their relative strengths and weaknesses. (shrink)

This thesis studies Judea Pearl’s logic of counterfactuals derived from the causal modeling framework, in comparison to the influential Stanlnaker-Lewis counterfactual logics. My study focuses on a characteristic principle in Pearl’s logic, named reversibility. The principle, as Pearl pointed out, goes beyond Lewis’s logic. Indeed, it also goes beyond the stronger logic of Stanlnaker, which is more analogous to Pearl’s logic. The first result of this thesis is an extension of Stanlnaker’s logic incorporating reversibility. It will be observed that the (...) translation of reversibility from Pearl’s language to the standard language for conditional logic deserves some attention. In particular, a straightforward translation following Pearl’s suggestion would render reversibility incompatible with Stanlnaker’s logic. A new translation of reversibility will be proposed, and an extension of Stanlnaker’s logic with the inclusion of the translated reversibility will be investigated. More importantly, it will be shown that the extended Stanlnaker’s logic is sound and complete with respect to a modified Stanlnaker’s semantics. The extension of Stanlnaker’s logic has an interesting implication. Zhang, Lam, and de Clercq have shown that special case of reversibility, despite its name, actually states an important kind of irreversibility: counterfactual dependence between distinct events is irreversible. In other words, reversibility entails that there is no cycle of counterfactual dependence altogether generalizations of reversibility. However, as shown in Zhang et al., Pearls’ logic does not rule out cycles of counterfactual dependence altogether. It in fact allows cycles that involve three or more distinct events. This is peculiar because the status of cyclic counterfactual dependence seems no more metaphysically secure than that of mutual counterfactual dependence. This consideration leads to an exploration of logics that rule out all cycles of counterfactual dependence. A surprising result is that the extension of Stanlnaker’s logic is precisely a logic of this sort. (shrink)

Galles & Pearl (l998) claimed that s [possible-worlds] framework.s framework. Recursive models are shown to correspond precisely to a subclass of (possible-world) counterfactual structures. On the other hand, a slight generalization of recursive models, models where all equations have unique solutions, is shown to be incomparable in expressive power to counterfactual structures, despite the fact that the Galles and Pearl arguments should apply to them as well. The problem with the Galles and Pearl argument is identified: an axiom that they (...) viewed as irrelevant, because it involved disjunction (which was not in their language), is not irrelevant at all. (shrink)