@wiploc
Your characterization of the PoE argument as bulletproof is true if you are talking about the argument being logically valid. It is. That does not mean it is a successful argument because there are defeaters for the conclusion that must be addressed.
The question remains can God create an actual world with human free will devoid of suffering. Your response is that God can do so because of his omnipotence. You are right that is not a logical problem in the sense of possible worlds. But it very well might be the case that actualizing such a world in practice is impossible. Your statement "An omnipotent god can do anything that doesn't involve logical contradiction" is not true in this case because of the introduction of the uncertainty of free will. Thus it’s possible that every world feasible for God to create, which contains free will, is a world with suffering.
https://en.wikipedia.org/wiki/Logical_possibility
There is another misunderstandings about Plantinga.
Transworld depravity: Therefore, it is certainly possible that a person completes the world by only making morally good choices; that is, there exist possible worlds where a person freely chooses to do no moral evil. However, it may be the case that for each such world, there is some morally significant choice that this person would do differently if these circumstances were to occur in the actual world. In other words, each such possible world contains a world segment, meaning everything about that world up to the point where the person must make that critical choice, such that if that segment was part of the actual world, the person would instead go wrong in completing that world.
https://en.wikipedia.org/wiki/Alvin_Plan..._depravity
Your characterization of the PoE argument as bulletproof is true if you are talking about the argument being logically valid. It is. That does not mean it is a successful argument because there are defeaters for the conclusion that must be addressed.
The question remains can God create an actual world with human free will devoid of suffering. Your response is that God can do so because of his omnipotence. You are right that is not a logical problem in the sense of possible worlds. But it very well might be the case that actualizing such a world in practice is impossible. Your statement "An omnipotent god can do anything that doesn't involve logical contradiction" is not true in this case because of the introduction of the uncertainty of free will. Thus it’s possible that every world feasible for God to create, which contains free will, is a world with suffering.
https://en.wikipedia.org/wiki/Logical_possibility
There is another misunderstandings about Plantinga.
Transworld depravity: Therefore, it is certainly possible that a person completes the world by only making morally good choices; that is, there exist possible worlds where a person freely chooses to do no moral evil. However, it may be the case that for each such world, there is some morally significant choice that this person would do differently if these circumstances were to occur in the actual world. In other words, each such possible world contains a world segment, meaning everything about that world up to the point where the person must make that critical choice, such that if that segment was part of the actual world, the person would instead go wrong in completing that world.
https://en.wikipedia.org/wiki/Alvin_Plan..._depravity