Causality in concurrent systems

Concurrent systems identify systems, either software, hardware or even biological systems, that are characterized by sets of independent actions that can be executed in any order or simultaneously. Computer scientists resort to a causal terminology to describe and analyse the relations between the actions in these systems. However, a thorough discussion about the meaning of causality in such a context has not been developed yet. This paper aims to fill the gap. First, the paper analyses the notion of causation in concurrent systems and attempts to build bridges with the existing philosophical literature, highlighting similarities and divergences between them. Second, the paper analyses the use of counterfactual reasoning in ex-post analysis in concurrent systems (i.e. execution trace analysis).Comment: This is an interdisciplinary paper. It addresses a class of causal models developed in computer science from an epistemic perspective, namely in terms of philosophy of causalit

Processes, pre-emption and further problems

In this paper I will argue that what makes our ordinary judgements about token causation true can be explicated in terms of interferences into quasi-inertial processes. These interferences and quasi-inertial processes can in turn be fully explicated in scientific terms. In this sense the account presented here is reductive. I will furthermore argue that this version of a process-theory of causation can deal with the traditional problems that process theories have to face, such as the problem of misconnection and the problem of disconnection as well as with a problem concerning the mis-classification of pre-emption cases

"If Oswald had not killed Kennedy" – Spohn on Counterfactuals

Wolfgang Spohn's theory of ranking functions is an elegant and powerful theory of the structure and dynamics of doxastic states. In two recent papers, Spohn has applied it to the analysis of conditionals, claiming to have presented a unified account of indicative and subjunctive (counterfactual) conditionals. I argue that his analysis fails to account for counterfactuals that refer to indirect causes. The strategy of taking the transitive closure that Spohn employs in the theory of causation is not available for counterfactuals. I have a close look at Spohn's treatment of the famous Oswald-Kennedy case in order to illustrate my points. I sketch an alternative view that seems to avoid the problems

Is There High-Level Causation?

The discovery of high-level causal relations seems a central activity of the special sciences. Those same sciences are less successful in formulating strict laws. If causation must be underwritten by strict laws, we are faced with a puzzle (first noticed by Donald Davidson), which might be dubbed the 'no strict laws' problem for high-level causation. Attempts have been made to dissolve this problem by showing that leading theories of causation do not in fact require that causation be underwritten by strict laws. But this conclusion has been too hastily drawn. Philosophers have tended to equate non-strict laws with ceteris paribus laws. I argue that there is another category of non-strict law that has often not been properly distinguished: namely, (what I will call) minutiae rectus laws. If, as it appears, many special science laws are minutiae rectus laws, then this poses a problem for their ability to underwrite causal relations in a way that their typically ceteris paribus nature does not. I argue that the best prospect for resolving the resurgent 'no strict laws' problem is to argue that special science laws are in fact typically probabilistic (and thus able to support probabilistic causation), rather than being minutiae rectus laws

Counterfactuals and Explanatory Pluralism

Recent literature on non-causal explanation raises the question as to whether explanatory monism, the thesis that all explanations submit to the same analysis, is true. The leading monist proposal holds that all explanations support change-relating counterfactuals. We provide several objections to this monist position. 1Introduction2Change-Relating Monism's Three Problems3Dependency and Monism: Unhappy Together4Another Challenge: Counterfactual Incidentalism4.1High-grade necessity4.2Unity in diversity5Conclusio

Counterfactuals of Ontological Dependence

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. To apply the extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding

The End of Mystery

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that Lewis would not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered

The metaphysics of Machian frame-dragging

The paper investigates the kind of dependence relation that best portrays Machian frame-dragging in general relativity. The question is tricky because frame-dragging relates local inertial frames to distant distributions of matter in a time-independent way, thus establishing some sort of non-local link between the two. For this reason, a plain causal interpretation of frame-dragging faces huge challenges. The paper will shed light on the issue by using a generalized structural equation model analysis in terms of manipulationist counterfactuals recently applied in the context of metaphysical enquiry by Schaffer (2016) and Wilson (2017). The verdict of the analysis will be that frame-dragging is best understood in terms of a novel type of dependence relation that is half-way between causation and grounding

Causality, Human Action and Experimentation: Von Wright's Approach to Causation in Contemporary Perspective

This paper discusses von Wright's theory of causation from Explanation and Understanding and Causality and Determinism in contemporary context. I argue that there are two important common points that von Wright's view shares with the version of manipulability currently supported by Woodward: the analysis of causal relations in a system modelled on controlled experiments, and the explanation of manipulability through counterfactuals - with focus on the counterfactual account of unmanipulable causes. These points also mark von Wright's departure from previous action-based theories of causation. Owing to these two features, I argue that, upon classifying different versions of manipulability theories, von Wright's view should be placed closer to the interventionist approach than to the agency theory, where it currently stands. Furthermore, given its relevance in contemporary context, which this paper aims to establish, I claim that von Wright's theory can be employed to solve present problems connected to manipulability approaches to causation