Abstract
In this paper I present and evaluate van Inwagen’s famous Consequence Argument, as presented in An Essay on Free Will. The grounds for the incompatibility of freewill and determinism, as argued by van Inwagen, is dependent on our actions being logical consequences of events outside of our control. Particularly, his arguments depend upon, in one guise or another, the transference of the modal property of not being possibly rendered false through the logical consequence relation, i.e. the β-principle. I argue that, due to the symmetric nature of determinism, van Inwagen is exposed to what I call “reversibility arguments” in the literature. Such arguments reverse the β-principle and start from our apparent control over our own actions to our control over the initial conditions. Since van Inwagen does not endorse a particular theory of laws or logical consequence, he is open to such counterarguments. The plausibility of such reversibility arguments depends on what would be called a Wittgensteinian conception of logical consequence. In the _Remarks on the Foundation of Mathematics_, one of Wittgenstein’s main concerns is the normativity of logical inference i.e. proof. Such concerns with normativity and rule-following are generally a feature of his later philosophy. In the _Remarks_ Wittgenstein resists a conception of logical deduction which places the source of normativity outside of human practice.