Nevertheless, I felt the prick of the rapier when Craig referred to 1 Cor 10:13. I have often cited the text as evidence that God knows counterfactuals. He knows in what circumstances we would be unable to resist temptation, and he does not allow us to get into such situations. But I am unsure how best to respond to Craig’s proposal that 1 Cor 10:13 also indicates that we have the power of contrary choice. The text does sound, on a natural reading, to indicate that when we yield to temptation, we could have done otherwise, all things being equal.
This is, indeed, a favorite libertarian prooftext. However:
i) There’s a tension between using this as a prooftext for libertarianism and using this as a prooftext for God's counterfactual knowledge. If a libertarian cites this verse as a prooftext for God's counterfactual knowledge, then that, in turn, runs afoul of the grounding objection, viz.
ii) Calvinism doesn’t deny that humans can do otherwise, simpliciter. Humans lack direct power to do otherwise. Instead, there’s a possible world in which God predestined the alternative course of action. Hypothetical decrees.