But it’s not impossible for someone not to do something if that something is contingent. That is the definition of contingent. Paidion continues to confuse contingent and necessary.
This is again the argument in syllogism form.
Premise 1: Necessarily, if God foreknows X, then X will happen.
Premise 2: God foreknows X.
Conclusion: Therefore, X will happen.
And X happens in agreement with God’s foreknowledge.
The problem is many people see the “Necessarily” at the start of Premise 1 and think it modifies the consequent “X will happen” and they thus think it means “X must happen.” But “Necessarily” doesn’t modify the consequent; it modifies the entire premise. The contingency “X will happen” is in the consequent and as a result, the contingent “X will happen” is what follows logically in the conclusion, not the necessary “X must happen.”
Now since “X will happen” is a contingent proposition, it is possible that Y would have happened instead. But if Y happened instead, God would have foreknown that contingency and thus would have foreknown that Y will happen, as described in the syllogism below, which concludes that Y will happen.
Premise 1: Necessarily, if God foreknows Y, then Y will happen.
Premise 2: God foreknows Y.
Conclusion: Therefore, Y will happen.
Thus, when X is foreknown to happen, X indeed happens, and when Y is foreknown to happen, Y indeed happens. God never foreknows something happening that doesn’t happen.
I could put it the other way around. There are multiple verses that attest to God’s omniscience concerning free choices of humans. The fact that there are different verses that claim both sides of an issue is not an indictment of the modal fallacy. It’s an indictment of the Bible or our comprehension of it.