Free Will, Control, and the Possibility to do Otherwise from a Causal Modeler’s Perspective

Strong notions of free will are closely connected to the possibility to do otherwise as well as to an agent’s ability to causally influence her environment via her decisions controlling her actions. In this paper we employ techniques from the causal modeling literature to investigate whether a notion of free will subscribing to one or both of these requirements is compatible with naturalistic views of the world such as non-reductive physicalism to the background of determinism and indeterminism. We argue that from a causal modeler’s perspective the only possibility to get both requirements consists in subscribing to reductive physicalism and indeterminism.


Introduction
Free will is still one of the most heavily discussed issues in philosophy. Most philosophers (except free will sceptics, hard determinists, and hard incompatibilists) as well as most non-philosophers (cf. Nahmias et al. 2005;Nahmias 2011;Sarkissian et al. 2010) believe that we have free will. The disagreement begins with the discussion about which analysis of free will gets things right. Many such analyses have been proposed in the philosophical literature and each of them comes with its own merits and problems. Philosophical theories cover a multitude of notions of free will ranging from libertarian ones, requiring an agent to be able to act one way or another while holding the laws of nature and the past fixed while at the same time providing the agent with ultimate control over her actions (cf. Kane 1994Kane , 1996van Inwagen 1975van Inwagen , 1983, to compatibilist and semi-compatibilist notions, arguing that free will is compatible with there being only one course of action open to the agent (Dennett 1984;Frankfurt 1969).
There are different taxonomies of positions in the free will debate, usually based on possible combinations of different answers to the following questions (see, e.g., Elzein and Pernu 2017, p. 227;Pereboom 2001, p. xix;Strawson 1986, p. 6): Does free will require alternative possibilities? Are alternative possibilities compatible with physical determinism? Does physical determinism obtain? Does free will require ultimate control? Is this kind of control compatible with physical determinism and/or indeterminism? In this paper we distinguish between strong notions of free will which assert that certain metaphysical truths about causality, agency, and control must obtain in the actual world if we are to have free will, and weak notions which claim that free will is compatible with whatever turns out to be the case according to our best physical theories. This division cuts across the traditional compatibilist versus incompatibilist (libertarian and hard incompatibilist) spectrum, and reflects the fact that most contemporary compatibilists do not argue that physical determinism is either true or necessary for free will. Examples of strong notions can be found in libertarian (e.g., Kane 1994;O'Connor 2000), hard incompatibist (e.g., Pereboom 2001) and strong compatibilist (soft-determinist) theories (e.g., Hobart 1934). Weak notions of free will include, among others, conditional analysis, mesh theories (e.g., Frankfurt 1971), and the Strawsonian approach.
Whatever one's opinions concerning determinism and indeterminism, if one is to have a complete theory of free will, one must explain the causal mechanisms underlying it. Having control over one's actions and thoughts, for example, is clearly a causal notion (cf. Fischer and Ravizza 1998). If freedom requires the ability to choose between different future paths of action, then an agent's decisions seem to be required to make a (causal) difference for which future events come about. Compatibilist dispositional analysis of abilities must provide a description of conditions under which an agent is disposed to perform an act, i.e., to cause an event to happen (Lewis 1997;Vihvelin 2004). Similar considerations apply to libertarian accounts (see, e.g., Clarke 2003) which have to explain how exactly an agent's actions and their sources fit into the causal structure of the world, which role they play therein, and so on and so forth. Though this close connection to causation exists, free will is typically not discussed to the background of a specific approach to causation and most of the debate relies on a rather informal understanding of that concept. But as Hitchcock (2012) demonstrated, the outcomes of philosophical debates involving causal concepts might be heavily influenced by the specific understanding of causation endorsed.
In this paper we investigate strong notions of free will as characterized above to the background of the causal interpretation of the Bayesian network machinery (Pearl 1988) as presented in (Spirtes et al. 1993). Causal Bayes nets are widely appreciated (in philosophy, computer science, and psychology), since they seem to give us the best grasp on causation we have so far. Given that the causal Markov condition is satisfied (for details, see Sect. 4), the framework allows for testing causal hypotheses on the basis of empirical data and for developing powerful algorithmic procedures for uncovering causal structure (ibid). Moreover, as elaborated in (Gebharter 2017b;Schurz and Gebharter 2016), the causal Markov condition provides the best explanation for certain empirical phenomena and if enriched by weak additional assumptions (such as a weak version of faithfulness), it generates novel predictions by which it can be tested. Thus, the approach seems to satisfy standards of successful theories of the sciences. Our hope is that the framework can also be used as a tool for shedding new light on free will. Since there is a whole plethora of different notions of free will, we will not be able to cover all of them in this paper. To start this project, we focus on strong incompatibilist notions of freedom involving a certain kind of control and the possibility to do otherwise and combine these notions with certain metaphysical assumptions. Note that reconstructing these notions within a causal Bayes net setting will involve some idealization and abstraction. In the end, we will get precision at the cost of losing some details and nuances.
We aim at investigating free will from a naturalistic angle according to which everything going on is based on facts of physics and obeys the laws of nature. In particular, we will focus on positions according to which an agent's free will, decisions, reasons, etc. at least supervene on the physical. It is worth noting that most participants in the contemporary free will debate strive to formulate and defend theories compatible with such a naturalistic worldview. 1 This sets the stage for two ontological positions to whose background we will assess strong incompatibilist notions of free will: non-reductive and reductive physicalism. But note that the project of this paper is not to argue for non-reductive or reductive physicalism or for any particular theory of free will. Instead, we are interested in the consequences of analyzing strong notions of free will to the background of a causal modeler's understanding of causation. We show that this analysis produces unexpected results concerning the possibility of reconciling different demands that certain theories of free will make with different combinations of four broad ontological positions: determinism, indeterminism, and non-reductive and reductive physicalism.
The paper is structured as follows: In Sect. 2 we say more about the strong notions of free will to be investigated in subsequent sections. In Sect. 3 we briefly discuss non-reductive physicalism, reductive physicalism (reductionism for short), physical determinism, and physical indeterminism. In Sect. 4 we present the basics of the Bayes net formalism and the causal interpretation of Bayes nets used throughout the rest of the paper. In Sect. 5 we translate the commitments of strong incompatibilist notions of free will introduced in Sect. 2 and the four positions introduced in Sect. 3 into causal Bayes net terminology. We develop two simple models on whose basis we investigate the compatibility of these commitments with different combinations of these four positions. We conclude in Sect. 6. 1 Compatibilists, unsurprisingly, are usually in favor of naturalist accounts of free will. Hard incompatibilists often claim that the reason why they assert that people do not have free will is precisely the impossibility to reconcile the conditions that agents must meet in order to have free will with what science tells us about the world (cf. Pereboom 2001). Event-causal libertarians (cf. Ekstrom 2003;Kane 1996Kane , 2007 and non-causal libertarians (cf. Ginet 1990; Pink 2016) claim that their accounts are naturalistic. Departing from naturalism has become a rather unusual move, made by some agent-causal libertarians (Chisholm 1964(Chisholm /2015(Chisholm , 1976 and by the so-called mysterians (van Inwagen 1983(van Inwagen , 2000Shabo 2011).

Free Will, Control, and the Possibility to do Otherwise
To start the project outlined in Sect. 1, we focus on strong incompatibilist notions of free will. Such notions presuppose an agent's ability to do otherwise. According to this requirement, an agent is free only if she could have done (or decided to do) otherwise, given that the past and the laws are fixed. Proponents of strong incompatibilist notions argue that having this ability is incompatible with determinism (cf. van Inwagen 1983van Inwagen , 2008. To avoid this kind of worry, some compatibilists have proposed definitions of free will that do not rely on the possibility to do otherwise (see, e.g., Frankfurt 1969;Watson 1975;Dennett 1984). Classical compatibilists, on the other hand, redefine the ability to do otherwise in conditional or dispositional terms (Hume 1748(Hume /1999Saunders 1968;Lewis 1997;Vihvelin 2004;Fara 2008). We do not consider the latter approaches in this paper, because they rely on weak notions of free will which deny that an agent's abilities have causal status different from that of other physically realized dispositions. According to a strong compatibilist understanding of free will, which is also known as "soft determinism", free will demands physical determinism and is inconceivable without it, as Hobart claims in his famous paper (Hobart 1934). This position was quite popular in the first decades of the twentieth century, when physics taught that the world is governed by deterministic laws (Moore 1912;Ayer 1954). We do not discuss soft determinism in detail in this paper; however, in Sect. 5 we show that at least one of the models which we propose can capture some strong compatibilist intuitions.
Incompatibilists have traditionally claimed that a conditional analysis of free will, even if it can be spelled out without contradictions, is nothing over and above a trick. According to the incompatibilists, the analysis of "could have done otherwise" along the lines of "would have done otherwise if" misrepresents our modal intuitions. Incompatibilists claim that their understanding of free will captures the intuitive meaning that non-philosophers have in mind when asserting that someone could have done otherwise. 2 There seems to be nothing "iffy" about abilities, they are categorical (Austin 1979): If an agent is free, then, given the same circumstances (i.e., the past together with the laws of nature), she could have decided to do otherwise (see, among many others, van Inwagen 1983;Ginet 1990;Kane 1996;Ekstrom 1998). Let us label this strong incompatibilist requirement for an agent's free will as follows: (PDO) The agent could have decided to do otherwise (given the actual past together with the laws of nature).
Another concept strong notions of free will require is the concept of control. According to the leeway libertarians, the relevant control is understood as including the ability to do otherwise, while the sourcehood libertarians lay emphasis on whether an agent is the relevant source of her action, even if she could not have done otherwise in some particular situation. 3 In this paper, we have a certain kind of control in mind: For an agent to be called free in this sense, she must be able to control at least some of her actions on the basis of her decisions, meaning that at least some of the agent's decisions must have a probabilistic causal impact on her actions. In other words: The agent's decisions must be able to make a probabilistic causal difference. Note that this is a very weak sense of control that covers strict as well as probabilistic versions of control. Without this assumption, (PDO) would be more or less worthless. Even if an agent would be able to decide to do otherwise, different decisions would never lead to different consequences and she would have no possibility to willingly influence the future whatsoever. To capture the idea that the possibility to do otherwise can be exercised by the agent as a continuation of the actual world, some authors refer to this possibility as "actualist" (cf. Elzein and Pernu 2017). Let us also label this second requirement for a strong notion of an agent's free will: (CTRL) The agent's decisions have a causal impact on her environment (including her actions and attempts to act).
Finally, note that (PDO) and (CTRL) are logically independent, meaning that someone can consistently subscribe to one but not to the other. An agent could have the possibility to decide otherwise even if it would make no difference for the outcome if she had done so. And, vice versa, an agent's decisions could be (causal) difference makers for parts of her environment even if she could not have decided to do otherwise. For someone subscribing to a strong incompatibilist notion of free will, both alternatives seem unsatisfying. If one wants to have a notion of freedom in the sense that her decisions could have been different in an incompatibilist sense of "could", while at the same time actually making a difference to the world, one needs to subscribe to both, (PDO) and (CTRL).

Non-reductive Physicalism, Reductionism, Determinism, and Indeterminism
In this paper we combine strong notions of free will with reductive and non-reductive variants of physicalism. We start with non-reductive physicalism. Non-reductive physicalism is understood as a position that grants a certain amount of autonomy to higherlevel phenomena. Therefore, it might look especially advantageous for libertarianism.
Non-reductive physicalism subscribes to the following three theses (cf. Kim 2005): Higher-level properties are non-identical and not reducible to fundamental physical properties. 4 Higher-level states (i.e., instantiated higher-level properties) supervene on physical states (i.e., instantiated physical properties). And, finally, higher-level properties sometimes play a role in bringing about lower-level states. The first of these three theses drives an ontological wedge between higher levels and the fundamental physical level. It makes room for the view that properties relevant for free will such as making a decision or having a reason populate a level that is ontologically different from the fundamental physical level. Let us call this level the agential level. The second of the three theses establishes a minimal connection between higher levels and the fundamental physical level: Every change at a higher level is necessarily associated with changes at the fundamental physical level. The third thesis finally reflects the commitment that higher-level properties are at least sometimes causally autonomous. Specified to the agential level (populated by an agent's decisions, reasons, and so on) these three theses can be formulated as follows: (ONI) Agential properties (e.g., making a decision) are on a higher ontological level than (and, thus, non-identical with) physical properties.

(CE)
Agential properties are at least sometimes causally relevant for bringing about states of the agent at the physical level.
Reductionism, on the other hand, basically denies the non-identity of higher-level properties with fundamental physical properties. According to this view, all higherlevel properties are reducible to fundamental physics. Specified to the agential level this amounts to: 5 (RED) Agential properties (e.g., making a decision) are identical with (and, thus, reducible to) physical properties.
Non-reductive physicalism as well as reductionism can be combined with determinism or indeterminism: (DET) Given a specified way things are at a time t, the way things go thereafter is fixed by the laws of nature (cf. Hoefer 2016).

(IND)
It is not the case that given a specified way things are at a time t, the way things go thereafter is fixed by the laws of nature.
In the following, we understand the two latter positions as views about the fundamental physical level. At first glance, it seems that non-reductive physicalism as well as reductionism allow for a strong incompatibilist notion of free will subscribing to both (PDO) and (CTRL) if the world is indeterministic. This combination of claims constitutes the core of all libertarian accounts. And if determinism is true, then it seems plausible that free will is at least compatible with non-reductive physicalism: Even if the fundamental physical level is fully determined, higher-level phenomena might be multiply realizable by lower-level phenomena and, thus, there might be room for the possibility to do otherwise at the agential level. List (2014) argues that the possibility to do otherwise at the agential level gives us (PDO) without further libertarian commitments. 6 Therefore, both traditional libertarian as well as agential level libertarian accounts, seem to demand non-reductive physicalism in order to satisfy both (PDO) and (CTRL). Incompatibilists argue that being able to do otherwise is incompatible with physical determinism (cf. van Inwagen 1983van Inwagen , 2008; see Hausmann 2019 for a recent evaluation of van Inwagen's argument). Taking all this into account, we arrive at a first wild guess about the possibility of (PDO) and (CTRL) summarized in the following table: Determinism Indeterminism Note that we do not claim that the table's cells should actually be filled in as above. The point is rather to illustrate that how exactly they should be filled in is not entirely clear only on the basis of (PDO), (CTRL), (ONI), (SUP), (CE), (RED), (DET), and (IND). This is why we speak of a first wild guess above. How to fill in these cells crucially depends on the specific understanding of causation endorsed. In Sect. 5 we will build two causal Bayes net models and translate (PDO), (CTRL), (ONI), (SUP), (CE), (RED), (DET), and (IND) into the language of these models. We will then use the causal Bayes net machinery as a tool for determining how to fill in the cells of the table. If one is sympathetic to the first wild guess provided above, one might find these results quite surprising. It will turn out that non-reductive physicalism cannot account for (CTRL), regardless of whether determinism or indeterminism is true, and that reductionism actually fares better than non-reductive physicalism in both cases. Even more surprisingly, it will turn out that libertarians who accept (PDO) and (IND) by definition, and are often sympathetic to both (CTRL) and non-reductive accounts of consciousness, which would imply (ONI), cannot have all four of them. 7 But first, we will briefly introduce the basics of the causal Bayes net formalism required for this analysis.

Causal Bayes Nets
Bayes nets can be used to represent all kinds of relations and dependencies that have just the right formal properties. In particular, they must conform to the Markov condition (Spirtes et al. 1993, p. 33). There are several versions of the Markov condition and how to best present it depends to some extent on the purpose one has in mind. For this paper, we choose the following version, where V is a set of variables X 1 , … , X n representing states or properties, E is a set of arrows ( ⟶ ) connecting pairs of variables in V, P is a probability distribution over V, and Par(X i ) , the set of X i 's parents, is defined as the set of all X j ∈ V with X j ⟶ X i : If satisfied, the Markov condition guarantees that every variable X i ∈ V becomes independent of its non-descendants (i.e., the variables X j not connected via a path X i ⟶ ⋯ ⟶ X j to X i ) conditional on X i 's direct ancestors (i.e., the variables in Par(X i ) ). Now one kind of relation that conforms to Eq. (1) and, thus, could be represented by a Bayes net's arrows, is direct causal dependence (Spirtes et al. 1993). A Bayes net in which some (or all) arrows are causally interpreted is called a causal Bayes net (CBN). Other relations that seem to conform to Eq. (1) are, for example, supervenience and constitution (Gebharter 2017a, c). Recent work by Schaffer (2016) suggests that also the grounding relation might be representable by the arrows of a Bayes net. In its causal interpretation, the Markov condition establishes a connection between causal structures and probability distributions. In particular, it 7 Robert Kane, to give just one example, subscribes to this position. Having argued at length that for an agent to have free will she must (i) have alternative possibilities open to her, and (ii) exercise control (in his theory, it is "plural (or dual) rational control"), he writes that the goal of his account "is not to eliminate all mystery from free will. Rather, it is to eliminate mysteries that are created by taking a distinctively libertarian view of free will-as opposed to mysteries that confront everyone, no matter what their position on free will [...]. Indeterministic efforts are mysterious because they partake of several deep cosmological problems that are problems for everyone, not just libertarians. One of these problems is 'the mind/body problem,' including at its core the 'problem of consciousness': How can thoughts, perceptions, and other conscious experiences-including efforts of will-be brain processes? But this is a problem whether you are a compatibilist or incompatibilist, libertarian or nonlibertarian. It is no less mysterious how neural firings in the brain could be conscious mental events if they are determined than if they are undetermined, or if they involve undetermined chaotic processes than if they do not" (Kane 1996, p. 159). guarantees that every dependence between variables in V can be explained by some causal connection between these variables. Among many other consequences, the Markov condition implies Reichenbach's (1956) insights that common causes screen off their effects and that direct causes screen off effects from their indirect causes.
Before we go on, let us briefly explain the status of the Markov condition for our understanding of causation. Following (Spirtes et al. 1993), we understand causation as one of those relations that conform to the Markov factorization. Note that, according to this understanding, causation is only implicitly characterized and not explicitly defined. Causation understood in this manner has, thus, a lot in common with how theoretical concepts in the sciences are typically understood and introduced (for more details, see Gebharter 2017b; Schurz and Gebharter 2016). We would also like to emphasize that we do not subscribe to an interventionist interpretation of causation according to which causation is characterized or even defined (see, e.g., Woodward 2003) in terms of interventions. 8 Because interventions are not required for the endeavor of this paper and since how exactly interventions into the kind of mixed systems we are interested in work is still controversial (see, e.g., Baumgartner 2010Baumgartner , 2013Gebharter 2017aGebharter , 2019Woodward 2015), we prefer an understanding of causation in line with Spirtes et al. (1993) in this paper.
One advantage of a Bayes net representation of causal relations is that the framework comes with a simple test for the productivity of single causally interpreted arrows (cf. Schurz andGebharter 2016, p. 1087): If X i ⟶ X j is part of a Bayes net ⟨V, E, P⟩ , then this arrow is productive if and only if X j is probabilistically dependent on X i conditional on X j 's alternative parents Par(X j )�{X i }. 9, 10 Now the idea is that a variable D describing an agent's possible decisions has a causal impact on another variable X if and only if D ⟶ X is productive, i.e., if there are some circumstances in which D has a probabilistic causal influence on X. In other words: The variable D is a probabilistic causal difference-maker for the variable X. This simple criterion for a variable's causal impact will turn out to be useful when investigating under which conditions the control requirement (CTRL) can be satisfied. 11

Free Will and Its Compatibility with the Four Positions
In this section we will translate the four positions introduced in Sect. 3 as well as (PDO) and (CTRL) into CBN terminology. Hand in hand with the translation process we will develop two causal models which will allow us to evaluate whether (PDO) and (CTRL) can be combined with these views. We will use these models to explore which combinations of (PDO) and (CTRL) are metaphysically possible given the different combinations of non-reductive versus reductive physicalism and determinism versus indeterminism. Assuming different combinations of these positions will give us different constraints on the probability distributions compatible with our models and, thus, will delimit the space of metaphysical possibilities. Let us start with some basic assumptions for both models. For the evaluation we are aiming at we need to represent an agent's decisions as well as what is going on at the fundamental physical level. Let us do this by means of a variable D (modeling an agent's decisions) and the three variables P 0 , P 1 , and P 2 (representing different physical states). We assume that P 0 is a direct cause of P 1 , and that P 1 is a direct cause of P 2 . Thus, our two models will feature the causal chain P 0 ⟶ P 1 ⟶ P 2 . In addition, let us assume that the agential states modeled by D supervene on the physical states represented by P 1 .
Next, let us see which constraints we have to accept if non-reductive physicalism were true. Recall that non-reductive physicalism is committed to (ONI), (SUP), and (CE). ( ) demands that D is on an ontologically different level than the physical states represented by P 0 , P 1 , P 2 . Because of this, D should not be identified with one of these variables: ( BN ) D is not identical with one of the variables P 0 , P 1 , P 2 .
( ) says that an agent's decisions supervene on physical states. For our model this means that D supervenes on P 1 , which gives us the following topological and probabilistic constraints: ( BN ) P 1 ⟹ D is part of the model and the following two equations hold: The arrow P 1 ⟹ D represents the supervenience relation in our model. It is required to account for the dependence of D on P 1 and is assumed to technically work exactly like an ordinary single-tailed causal arrow: It conforms to the Markov factorization [Eq. (1)]. 12 Equation (2) says that if the decision variable D changes its value, the probability distribution over its supervenience base P 1 has to change as well, and Eq. (3) guarantees that fixing the value of the supervenience base P 1 fully determines the value of the supervening variable D. Note that ( BN ) does not provide a definition of supervenience; the condition should rather be seen as a consequence (formulated in terms of the CBN model) that comes with assuming supervenience (SUP).
( ) finally forces us to add an arrow from D to P 2 . This reflects the assumption that, according to non-reductive physicalism, decisions are at least sometimes causally relevant for an agent's actions at the physical level: The graph of the model we get when subscribing to non-reductive physicalism will, according to the considerations above, be the one depicted in Fig. 1. 13 Reductive physicalism, on the other hand, can be modeled by a CBN with the structure depicted in Fig. 2. We arrive at this graph by removing the arrow P 1 ⟹ D and by identifying D with P 1 . This move can be justified by translating (RED) into ( BN ). ( BN ) reflects the main thesis of reductionism which implies that agential properties are identical to physical properties in our model: 14 We have now two models available: One captures non-reductive physicalism (Fig. 1), and one reductive physicalism (Fig. 2). We can further constrain both models' probability distributions in such a way that they reflect the assumption of determinism or indeterminism. Let us start with determinism. To represent (DET) in our models, we have to establish a deterministic dependence of every physical variable on its direct physical cause: ( BN ) For all p i , p j with i ∈ {0, 1} and j = i + 1 : P(p j |p i ) is either 1 or 0.
Indeterminism can, in accordance with (IND), be formulated as the negation of ( BN ): ( BN ) For some p i , p j with i ∈ {0, 1} and j = i + 1 : P(p j |p i ) is neither 1 nor 0.
One might wonder whether determinism and indeterminism are not represented in a too simplistic way. (DET) and (IND) both refer to how things are earlier and to the laws of nature. In our models, on the other hand, P 1 and P 2 have only one direct cause and ( BN ) simply assumes that each P 0 -value determines some P 1 -value with probability 1 and that each P 1 -value determines some P 2 -value with probability 1, where ( BN ) is the negation of that claim. In addition, neither ( BN ) nor ( BN ) mention laws of nature. The idea here is the same as in the case of ( BN ) above: ( BN ) and ( BN ) should not be read as definitions of determinism and indeterminism, respectively, but rather as consequences one gets by assuming (DET) or (IND) formulated in terms of the two models. The laws of nature, for example, are not explicitly represented in the models. They appear, however, implicitly: They are crucial for how exactly the models' probability distributions are constrained. And that we assume that P 1 's only cause is P 0 and that P 2 's only cause is P 2 is a harmless simplification. One could also split each one of the variables P i (with 0 ≤ i ≤ 2 ) into two or more variables. This would make the reasoning and the models a little bit more complicated, but would have no impact on the results we will present below. Hence, we stick with the nice and simple models whose graphs are depicted in Figs. 1 and 2.
Before we can evaluate whether a strong notion of free will committed to (PDO) and (CTRL) is compatible with the four ontological positions introduced in Sect. 3, we finally have to translate (PDO) and (CTRL) into the language of our models as well. (PDO) requires that the agent has the possibility to decide otherwise. In terms of our two causal models this idea could be expressed by assuming that D's value is not fully determined by the variables describing the past: ( BN ) The conditional probabilities P(d|x) are not extreme, where X stands for the set of variables describing D's past.
Note that ( BN ) nicely fits the strong version of the possibility to do otherwise we introduced in Sect. 2: If an agent's decisions are not fully determined by the laws and the past, then the probabilities P(d|x) in ( BN ) should not be extreme. This corresponds, in terms of the model, to the assumption that the agent possesses the actualist possibility to do otherwise as is captured by (PDO) introduced in Sect. 2.
The second requirement for free will which we introduced in Sect. 2 is that an agent is supposed to have to some extent (causal) control over her environment. To decide whether D has probabilistic causal impact on the agent's environment (here represented by P 2 ), we can employ the productivity test for single causal arrows introduced in Sect. 4. (CTRL) can then be translated as follows: ( BN ) P 2 probabilistically depends on D conditional on Par(P 2 )�{D}.
More informally, ( BN ) requires that-for an agent to have free will-her decisions must be probabilistic causal difference makers. They have to make a probabilistic causal difference for her environment in at least some causal setting, where possible causal settings are modeled by P 2 's alternative causes Par(P 2 )�{D} taking different values r.
We have now all the tools available for evaluating whether a strong notion of free will subscribing to (PDO) and (CTRL) is compatible with our four world views introduced in Sect. 3. Let us start with the first model ( Fig. 1) representing nonreductive physicalism, which seemed to be one of the more promising views for a strong incompatibilist notion of free will.
Non-reductive Physicalism Plus Determinism According to our first wild guess (Sect. 3) this combination seems, at first glance, to allow for (PDO) as well as for (CTRL). However, to get ( BN ), D's value must be allowed to vary when conditionalizing on D's past (including P 0 ). But once we conditionalize on any P 0 -value, we get an extreme probability distribution over P 1 due to ( BN ), which gives us, in turn, an extreme probability distribution over D due to ( BN ). Hence, the actualist possibility to do otherwise is excluded if non-reductive physicalism and determinism are true.
Here is an argument that shows that also ( BN ) is excluded if non-reductive physicalism and determinism are true: 15 According to ( BN ), for every P 1 -value p 1 there is a P 2 -value p 2 such that P(p 2 |p 1 ) = 1 holds, while P(p � 2 |p 1 ) = 0 holds for all other P 2 -values p ′ 2 . Now there are two possible cases for every D-value d: Either (i) d and p 1 are compatible (i.e., P(d, p 1 ) > 0 ), or (ii) they are not (i.e., P(d, p 1 ) = 0 ). If (i), then P(p 2 |d, p 1 ) = 1 and P(p � chosen and also p 1 was arbitrarily chosen, it follows that P 2 is probabilistically independent of D conditional on Par(P 2 )�{D} = {P 1 } . But this just means that the arrow D ⟶ P 2 is not productive, i.e., that D cannot have any causal impact on P 2 whatsoever, which contradicts ( BN ).
Non-reductive Physicalism Plus Indeterminism Does non-reductive physicalism combined with indeterminism fare better when it comes to the question of free will? Since neither the agential nor the fundamental physical level are assumed to be deterministic, an agent could be able to do otherwise in this view. According to ( BN ), everything required for this is that D is not fully determined by its past. This actually turns out to be true in our model. Even if one conditionalizes on P 0 , nothing excludes that the conditional probabilities P(d|p 0 ) are non-extreme. If the probability distribution of our model (Fig. 1)  Unfortunately, there are, again, problems with ( BN ) and D's probabilistic causal impact on P 2 : Because of ( BN ) for every P 1 -value p 1 there is a D-value d such that P(d|p 1 ) = 1 and P(d � |p 1 ) = 0 for all other D-values d ′ . This time there are two possible cases for every P 2 -value p 2 : Either (i) p 2 and p 1 are compatible, or (ii) they are not. If (i), then P(d|p 2 , p 1 ) = P(d|p 1 ) = 1 and P(d � |p 2 , p 1 ) = P(d � |p 1 ) = 0 . Thus, no D-value depends on p 2 conditional on p 1 . If (ii), then no D-value depends on p 2 conditional on p 1 by definition. This result generalizes: Because p 2 and p 1 were arbitrarily chosen, D and P 2 are independent given Par(P 2 )�{D} = {P 1 } . This means, again, that D cannot have any probabilistic causal impact on P 2 and that one of the requirements for a strong notion of free will we are interested in in this paper is excluded.

Reductive Physicalism Plus Indeterminism
Here comes the last one of the possible combinations to be explored. This view is the only one of the four combinations of positions discussed in this paper that actually can account for libertarian free will committed to the possibility to do otherwise as well as the probabilistic causal efficacy of an agent's wilful decisions. ( BN ) can be satisfied because ( BN ) allows for non-extreme conditional probabilities P(p 1 |p 2 ) , and ( BN ) can be satisfied simply because nothing excludes a dependence of P 2 on P 1 in the second model (see Fig. 2). This can be demonstrated by the following probability distribution which allows for ( BN ), ( BN ), and ( BN ) as well as for ( BN ) to be satisfied: Summarizing, it turned out that three of the four possible combinations of the positions discussed exclude a notion of free will committed to both (PDO) and (CTRL).
Both versions of non-reductive physicalism, the deterministic as well as the indeterministic one, exclude an agent's ability to control her environment (CTRL

Conclusion
This paper was intended as a first step into the bigger project of investigating what can be learnt about free will from the point of view of an empirically informed understanding of causation such as the CBN framework. We think that it makes sense to start such an endeavor with strong incompatibilist notions of freedom, committed to an actualist interpretation of the ability to do otherwise (PDO) as well as to the view that an agent can control her environment via her willful decisions exerting probabilistic causal influence (CTRL). In particular, we P(P 0 = 0) = 0.5 P(P 1 = 0|P 0 = 0) = 0.75 P(P 2 = 0|P 1 = 0) = 0.75 P(P 0 = 1) = 0.5 P(P 1 = 1|P 0 = 0) = 0.25 P(P 2 = 1|P 1 = 0) = 0.25 P(P 1 = 0|P 0 = 1) = 0.25 P(P 2 = 0|P 1 = 1) = 0.25 P(P 1 = 1|P 0 = 1) = 0.75 P(P 2 = 1|P 1 = 1) = 1.75 investigated whether this kind of freedom is compatible with non-reductive and reductive physicalism plus determinism or indeterminism. We then constructed two causal models on whose basis we have shown that three of the four possible combinations of these positions lead to problems with such strong incompatibilist notions of freedom. It turned out that only reductionism together with indeterminism allows for both (PDO) and (CTRL). According to our analysis, liberterians subscribing to both are safe for the moment. If one is, however, not ready to subscribe to reductionism and indeterminism, one needs to subscribe to a weaker notion of free will. If one is satisfied with a notion of freedom that only requires (PDO), then one might want to subscribe to indeterminism, and if one prefers (CTRL) over (PDO), subscribing to reductionism seems to be the way to go. We consider the result that non-reductive physicalism is not as attractive as one might think at first glance as quite surprising. (Compare also the two tables in Sects. 3 and 5.) While supporters of non-reductive physicalism have only one of the conditions of strong accounts of free will, (PDO), available, and even this only if they are ready to subscribe to indeterminism as well, reductionists can get free will (in the sense of (CTRL) alone) as well as the strongest one of the notions investigated ((PDO) plus (CTRL)). They can get the former by subscribing to determinism, and the latter by going for indeterminism. One can use these results for building different arguments. One could, for example, use it to persuade anyone flirting with determinism to be reductionist, or to push libertarians to subscribe to reductive physicalism rather than to non-reductive physicalism. Vice versa, one could see the result as support for one of the four ontological positions depending on which notion of free will one presupposes or finds evidence for.
There might, of course, be other problems with freedom if reductionism and/or indeterminism were true such as the prominent worry that indeterminism would render the effects of an agent's decisions to some extent a matter of luck (see, e.g., Strawson 1994;Kane 1996;Mele 2006). We conjecture that modern theories of probabilistic actual causation (see, e.g., Fenton-Glynn 2017) might be able to shed new light on the luck problem. Such approaches allow for actual causation in an indeterministic world and, thus, probably for the formulation of degrees of causal influence even if an agent's decisions do not fully determine her actions. Issues like this as well as questions concerning the compatibility of weaker versions of freedom with different views about the world from a causal modeler's perspective have to await their investigation in future work.
Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creat iveco mmons .org/ licen ses/by/4.0/.