This passage is the single most important biblical text for Molinism. It explicitly depicts God communicating counterfactual knowledge—knowledge of what would happen in circumstances that never obtain.
David’s two questions create a decision tree of unrealized events
Both answers describe unrealized events. God answered “yes” to both questions, yet neither event occurred. This is the definition of counterfactual knowledge: true propositions about states of affairs that never obtain. God knew what free creatures would do in circumstances that were never actualized.
The Molinist argument: God’s answers are counterfactuals of creaturely freedom (CCFs). He knows what Saul would freely choose and what the citizens would freely choose in a scenario that never actualizes. This knowledge is logically prior to God’s decree and is used by God to guide David providentially—a textbook demonstration of scientia media in action.
How middle knowledge guided David through branching counterfactuals
Providence through knowledge: God revealed what would happen, David freely chose to leave, and God’s purpose was accomplished. No coercion, no determination — just the intersection of divine middle knowledge and libertarian human freedom.
The decisive feature of this passage is that both predicted events fail to occur. God said Saul would come—he didn’t. God said the citizens would surrender David—they never had to decide. This eliminates the simple foreknowledge reading.
The unrealized events challenge for non-Molinist systems
Simple foreknowledge is God’s knowledge of the actual future. But the events God describes here never happen. They are not part of the actual future. They are counterfactual—they belong to an unrealized branch of history.
If God only knows the actual future, He would know that David leaves, Saul doesn’t come, and the citizens are never tested. He could not tell David what would happen if David stayed, because that scenario is not part of the actual future.
Middle knowledge solves this. God knows not only what will happen (free knowledge) but what would happen in every possible set of circumstances (middle knowledge). The branching counterfactual—“if you stay, then Saul will come and Keilah will betray you”—is an object of God’s scientia media.
William Lane Craig summarizes: God knew that if David were to remain at Keilah, then Saul would come and the citizens would surrender him. Since God possessed this counterfactual knowledge, He was able to guide David’s decision by revealing it through the ephod. David freely chose to leave, and God’s purposes were accomplished through the intersection of divine knowledge and human freedom.
The Proof Text Explorer shows all four systems side by side.
God knows counterfactuals through His decree. What makes these propositions true is God's determination of what would happen, not independent creaturely freedom.
The grounding objection cuts both ways. The Calvinist says God's decree grounds counterfactual truth. But if God decrees what creatures would do, their choices are not free in any meaningful sense—they are determined by the decree. Molinism preserves genuine libertarian freedom while maintaining God's comprehensive knowledge.
The text shows David freely changing the outcome. David receives God's counterfactual knowledge and freely chooses a different course. If God had decreed everything—David's inquiry, God's answers, David's departure—then the entire exchange is a predetermined script, not a genuine dialogue between a free agent and an omniscient God.
Simple foreknowledge is sufficient. God knows counterfactuals as part of His comprehensive omniscience without needing a logically distinct middle knowledge.
Simple foreknowledge cannot access unrealized branches. If God's foreknowledge is knowledge of the actual future, He cannot know what would have happened in scenarios that never obtain. The actual future is: David leaves, Saul doesn't come. Simple foreknowledge gives God no access to the counterfactual branch where David stays.
The passage demands counterfactual knowledge. God's answers describe events in a scenario that never actualizes. This is precisely the domain of scientia media—knowledge that is neither necessary (natural knowledge) nor actual (free knowledge) but counterfactual.
God knows hypotheticals because He's omniscient. No special framework needed—just divine knowledge.
‘God just knows’ is not an explanation. Saying God knows counterfactuals 'because He's omniscient' restates the claim without explaining the mechanism. How does omniscience access truths about unrealized scenarios? Middle knowledge provides the mechanism: God knows all true CCFs prior to His creative decree.
Parsimony is not always a virtue. Sometimes reality is complex, and the simpler model fails to account for the data. Simple omniscience cannot explain how God knows about events that never happen. The Molinist model provides the explanatory framework.