Otte :165–177, 2009) and Pruss :400–415, 2012) have produced counterexamples to Plantinga’s famous free will defence against the logical version of the problem of evil. The target of this criticism is the possibility of universal transworld depravity, which is crucial to Plantinga’s defence. In this paper, we argue that there is a simpler and more plausible free will defence that does not require the possibility of universal transworld depravity or the truth of counterfactuals of creaturely freedom. We assume only that (...) libertarianism is possibly true and that God’s existence is consistent with the existence of free agents who never go wrong. We conclude the paper by explaining how our defence may be able to succeed without assuming, in a way that is consistent with compatibilism. (shrink)

We shall use Gödel’s Second Incompleteness Theorem to show that consistency is not possibility, and then argue that the argument does serious damage to some theories of modality where consistency plays a major but not exclusive role.