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)