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)

One of the central problems within the free will debate lies in the apparent incompatibility of an agent's ability to do otherwise and determinism. Recently, compatibilist libertarianism was proposed as an actualist position intended to finally reconcile both. In this article, we argue that in order to maintain consistency, this position must be understood as a variant of classical compatibilism rather than a version of libertarianism. Though this seems to be an undesired consequence for proponents of compatibilist libertarianism, we think (...) that it is not that bad. We show that recent objections to this position can be avoided by embracing its compatibilist nature and argue that a modified version of compatibilist libertarianism might very well be as close to an actualist account of free will in a deterministic world as one can hope for. (shrink)