"Recently some philosophers have argued that Plantinga has not proved that universal transworld depravity is logically possible. It has been argued that although it is true that for all we know every essence suffers from transworld depravity, Plantinga has not shown that it is really possible. However, even if Plantinga has not shown that it is logically possible that every essence suffers from transworld depravity, philosophers such as Howard-Snyder and O’Leary-Hawthorne have thought it clear that it is epistemically possible, in the sense that we can’t rule it out. That is, for all we know, it could be the case that every essence suffers from transworld depravity. In the following I will argue that it turns out there is a good explanation of why Plantinga and others have been unable to show the hypothesis of universal transworld depravity is possible: it is necessarily false."
Richard Otte, "Transworld Depravity and Unobtainable Worlds", Philosophy and Phenomenological Research (2009) Vol. LXXVIII, No. 1, p. 165.
