On the logic of theodicy in general and in PL, see the first chapter of my *Milton and the Death of Man*.