Although I am a christian, (a calvinits), I can understand why someone would not be satisfied with the free-will defence. It is because the argument that God could logically create a world, where everyone freely chooses good rather than evil, is a logical problem.
Heaven is supposed to be a world where people freely choose good rather than evil, therefore God could create such a world. It matters not what the mechanics of creating such a world would be, -- all that matters is that such a world is logically possible, ie. it is a possible world.
If God really wants the best possible world to be actualized, then why does God not actualise a perfect world, where everyone freely chooses good?
P1) If God is omnipotent, then God can do everything which is not logically impossible.
P2) A perfect world, ie. heaven, is a possible world.
Therefore, God could have actualized a perfect world, where everyone freely chooses good rather than evil.
P3) God did not actualize a perfect world.
P4) God is omnipotent.
Therefore, either God did not want to create a perfect world, ie. is not omnibenevolent.P5) God is omnibenevolent, ie. God wanted to create a perfect world.
P6) God did not create a perfect world.
Therefore, God is not omnipotent. The molinistic FWD presupposes that God could not create a perfect world, or atleast that we can't know that God could create a perfect world. The atheist quite correctly, points out that if heaven is a perfect world, then God can in fact create a perfect world.
The molinist ends up implicitly saying that we can't know if God can create heaven, or worse, that He can't create heaven.
Ofcourse, the atheist assumes that it is wrong for God to create a world where people suffer, and logically implies that it is wrong for me to learn that the icecream I am eating does not go right down to the bottom of the cone
![](/images/boards/smilies/bawl.gif)