60 years ago, while attending the Winnipeg Bible Institute as a student, our theology professor made a reference to the question posed by atheists and non-believers in a vain attempt to disprove the omnipotence of God:
Can God create a stone so large that He cannot lift it?
So if the theist answers, “Yes,” then the non-theist responds, “Then there is something God is unable to do. He cannot lift that stone.”
But if the theist answers, “No,” then the non-theist responds, “Then there is something that God is unable to do. He cannot create such a stone…” The non-theist thus falsely concludes, “Therefore God is not omnipotent”.
How did our theology professor deal with this so-called “proof”? He said, “Contradictions are not objects of power…”
So one can confidently affirm that the omnipotent God cannot create such a stone, without destroying the truth that God is can do all things that are possible to do. But the “all things” do not include contradictions.
The recent arguments in the OT vs OT thread, suggesting that God can know the unknowable (that which free-will agents will choose) falls in much the same category. It is a clear contradiction to affirm that God knows that P will choose A at a future time T, and then at time T, it turns out that P instead chooses not A.
God is omniscient. He knows all things. But “all things” do not include the future actions of free-will agents.
So one can confidently affirm that the omniscient God cannot know in advance what a free-will agent will choose without destroying the truth that God knows all things that are possible to know. But “all things” do not include contradictions.
Contradictions are not objects of knowledge.