In recent papers, Philip Swenson (2016) has argued that presentism is incompatible with the conjunction of libertarianism and divine foreknowledge, and Michael Rea (2006) has argued that presentism is incompatible with the conjunction of libertarianism and bivalence. In this paper, I respond to Swenson’s and Rea’s arguments. In each case, I develop a parody argument that seeks to show that actualism -- the view that everything is actual -- is inconsistent with the conjunction of (in the case of Rea) libertarianism (...) and bivalence and the conjunction of (in the case of Swenson) libertarianism and divine foreknowledge. Seeing how these parody arguments using actualism go wrong helps us see how the arguments using presentism go wrong. I conclude that we have not yet been provided with a sound argument that presentism is inconsistent with the conjunction of libertarianism and bivalence or that presentism is inconsistent with the conjunction of libertarianism and divine foreknowledge. (shrink)

In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing to deny the (...) conditional excluded middle principle. In order to make this point I demonstrate that (β) is valid on Stalnaker's theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

Traditional compatibilism about free will is widely considered to be untenable. In particular, the conditional analysis of the ability to do otherwise appears to be subject to clear counterexamples. I will propose a new version of traditional compatibilism that provides a conditional account of both the ability to do otherwise and the ability to choose to do otherwise, and I will argue that this view withstands the standard objections to traditional compatibilism. For this, I will assume with incompatibilists that the (...) mere possession of a general ability to do otherwise is not sufficient for having the ability that is required for free will. This concession distinguishes the view from the traditional conditional analysis and from recent dispositional accounts of the ability to do otherwise, and we will see that this concession enables a straightforward response to the counterexamples. This, in turn, will play a crucial role in my response to the strongest version of the consequence argument for incompatibilism. (shrink)

In this paper, I present an argument that shows that the belief in libertarian freedom is inconsistent with two assumptions widely accepted by those who are physicalists with regard to the relation between the mental and the physical - that mental properties are distinct from physical properties, and that mental properties supervene on physical properties. After presenting the argument, I trace its implications for the question of the compatibility of libertarian free will and physicalism in general.

Nesta monografia, discutirei o Argumento Direto pelo incompatibilismo. Incompatibilismo ´e a tese de que responsabilidade moral ´e incompat´ıvel com o determinismo nomol´ogico. De ma- neira simplificada, o argumento ´e o seguinte: N´os n˜ao somos respons´aveis pelo passado e pelas leis da natureza. Se o determinismo for verdadeiro, nossas ac¸ ˜oes s˜ao consequˆencia do passado e das leis da natureza. Portanto, se o determinismo for verdadeiro, n˜ao somos respons´aveis por nossas ac¸ ˜oes. Defendo ao longo da monografia que o Argumento Direto (...) ´e nem prima facie uma ameac¸a ao compatibilismo – a posic¸ ˜ao oposta ao incompatibilismo –, j´a que os proponen- tes do argumento falham em motivar com sucesso o argumento. A monografia se divide em trˆes cap´ıtulos. No primeiro, apresento a formulac¸ ˜ao do Argumento Direto proposta por Peter van Inwagen (1983). Sua formulac¸ ˜ao se vale de um operador modal de n˜ao-responsabilidade, para o qual van Inwagen define duas regras dedutivas. Nos dois cap´ıtulos subsequentes, discuto algumas das cr´ıticas encontradas na literatura contra essas regras e apresento minhas pr´oprias cr´ıticas. Na conclus˜ao, considero alguns modos pelo qual o debate pode avanc¸ar. (shrink)

The consequence argument purports to show that determinism is true only if no one has free will. Judgments about whether the argument is sound depend on how one understands locutions of the form 'p and no one can render p false'. The main interpretation on offer appeals to counterfactual sufficiency: s can render p false just in case there is something s can do such that, were s to do it, p would be false; otherwise, s cannot render p false. (...) Here I show that, in the context of the consequence argument, this interpretation conflicts with widely endorsed principles governing the logic of counterfactuals. (shrink)

Christian List has recently constructed a novel formal framework for representing the relationship between free will and determinism. At its core is a distinction between physical and agential levels of description. List has argued that, since the consequence argument cannot be reconstructed within this framework, the consequence argument rests on a ‘category mistake’: an illicit conflation of the physical and agential levels. I show that an expanded version of List’s framework allows the construction of a cross-level consequence argument.

This thesis investigates the conceptual relationship between laws of nature and free will. In order to clarify the discussion, I begin by distinguishing several questions with respect to the nature of a law: i) do the laws of nature cover everything that happens? ii) are they deterministic? iii) can there be exceptions to universal and deterministic laws? iv) do the laws of nature govern everything in the world? In order to answer these questions I look at three widely endorsed accounts (...) of laws: "Humean" regularity accounts, laws as relations among universals, and the dispositional essentialist account. I argue that there is nothing in the very nature of a law - in any of the accounts surveyed - that implies a positive answer to questions (i) and (ii). I show that this has important consequences for the free will problem. I then turn to the compatibility of free will and determinism. I focus on the Humean view and the dispositional essentialist account of laws. And the bulk of this discussion concerns the consequence argument, especially the question of whether the laws of nature are "up to us". I show that, on the dispositional conception of laws, there is no sense in which the laws of nature are up to us, contrary to the Humean view. However, this does not mean that there is no room for free will on the dispositional account. I argue that free will requires the laws of nature to be limited in scope, rather than being indeterministic. I conclude by showing that this allows one to resist the claim that indeterminism rules out free will. (shrink)

The aim of my paper is to compare three alternative formal reconstructions of van Inwagen’s famous argument for incompatibilism. In the first part of my paper, I examine van Inwagen’s own reconstruction within a propositional modal logic. I point out that, due to the expressive limitations of his propositional modal logic, van Inwagen is unable to argue directly (that is, within his formal framework) for incompatibilism. In the second part of my paper, I suggest to reconstruct van Inwagen’s argument within (...) a first-order predicate logic. I show, however, that even though this reconstruction is not susceptible to the same objection, this reconstruction can be shown to be inconsistent (given van Inwagen’s own assumptions). At the end of my paper, I suggest to reconstruct van Inwagen’s argument within a quantified counterfactual logic with propositional quantifiers. I show that within this formal framework van Inwagen would not only be able to argue directly for incompatibilism, he would also be able to argue for crucial assumptions of his argument. (shrink)

According to divine premotionism, God does not merely create and sustain the universe. He also moves all secondary causes to action as instruments without undermining their intrinsic causal efficacy. I explain and uphold the premotionist theory, which is the theory of St Thomas Aquinas and his most prominent exponents. I defend the premotionist interpretation of Aquinas in some textual detail, with particular reference to Suarez and to a recent paper by Louis Mancha. Critics, including Molinists and Suarezians, raise various objections (...) to the view that premotion is compatible with genuine secondary causation. I rebut a number of these objections, in the course of which I respond to the central challenge that premotionism destroys free will. I also offer a number of positive reasons for embracing the premotionist theory. (shrink)

The main goal of this paper is to contribute to the clarification of the dialectics between compatibilists and incompatibilists on free action. I describe a new incompatibilist position that has been neglected in the literature. I also provide a proper rationale for such a position. First, I present a justification for incompatibilism that is composed of an old idea and a new one. The old idea is the FRAP principle: freedom requires alternative possibilities. Compatibilists and incompatibilists alike usually share a (...) Key Assumption about how the open alternative possibilities allowed by indeterminism are supposed to support the libertarian case: the existence of alternative possibilities should make a metaphysically relevant difference concerning the control and/or the authorship of the agent over the action. The other component in the justification for incompatibilism is the rejection of the Key Assumption. Why to preserve FRAP when the Key Assumption is dropped? The answer has three parts: we have a strong pre-theoretical intuition in favour of FRAP; a crucial anti-libertarian argument, known as the Luck Argument, can be interpreted as showing that FRAP and the Key Assumption cannot both be true; the Luck Argument doesn't work when directed against FRAP itself. (shrink)