Loading analysis
Calvinism
1 Samuel 23:6–14 (BSB)
“And David said, ‘O LORD, God of Israel… Will Saul come down, as Your servant has heard?’ ‘He will,’ said the LORD.”

Decretal Counterfactuals

God knows what would happen because He decrees what would happen. His counterfactual knowledge is grounded in His own sovereign will, not in some independent “middle knowledge” discovered prior to the decree.
System Calvinism
Passage 1 Sam 23:6–14
Key Terms ephod, sha’al, yasgiru, yered
Scholars Calvin, Bavinck, Turretin, Edwards
Decree / Decretive Will
God's eternal, all-encompassing plan determining everything that comes to pass.
Omniscience
God's comprehensive knowledge of all truths—necessary, contingent, actual, and counterfactual.
Grounding Objection
The challenge: what makes counterfactuals true if not God's decree? Nothing, Calvinists argue.
Middle Knowledge
Molinist concept of God's knowledge of counterfactual free choices prior to His decree. Rejected by Calvinists.
Compatibilism
Free will is compatible with determinism; freedom means acting on one’s desires uncoerced.
Meticulous Providence
God governs every detail of the created order, including free choices.
Ephod (ℵê½ôç)
Priestly garment with Urim and Thummim for divine oracular inquiry.
Scientia Media
Latin: “middle knowledge”—Molina’s proposed third type of divine knowledge. Reformed reject it.
01

Decretal Counterfactuals

God tells David two things that never happen: Saul would come down, and the citizens would surrender him. Both Calvinists and Molinists affirm this is genuine counterfactual knowledge. The question is: what grounds these truths?

The Calvinist answer is the decree. God knows what would happen in every conceivable scenario because He knows what He would decree in every conceivable scenario. His counterfactual knowledge is ultimately knowledge of His own sovereign will. He does not “discover” truths about what free creatures would do independently of His will; He determines what they would do.

God Knows Because He Decrees

The Reformed order of divine knowledge

Decree
God’s Eternal Will
“whatsoever comes to pass”
Knows
Counterfactual Knowledge
knows what He decreed
Reveals
Communicates to David
via ephod inquiry

The decree is the truthmaker. What makes it true that the citizens would surrender David? Not their independent libertarian choices—they do not yet exist as actual agents in the logically prior moment. The decree determines what would happen in every scenario, and God knows His own decree comprehensively.

This stands against the Molinist reading, which places counterfactual knowledge before the decree in a distinct logical moment called scientia media. For the Molinist, God “discovers” what creatures would freely do and then chooses which world to create accordingly. The Calvinist insists this gets the order backward. The decree is first; knowledge of what the decree entails follows.

How Each System Grounds God’s Counterfactual Knowledge

A comparison of four explanations for how God knew what Saul and Keilah would do

System Source of Knowledge Logical Order Grounding
Calvinism God’s eternal decree Decree → Knowledge God’s own sovereign will
Simple Foreknowledge God’s exhaustive omniscience No logical ordering Brute fact of divine nature
Molinism Middle knowledge (scientia media) Natural → Middle → Free Creaturely essences (debated)
Open Theism God does not know CCFs N/A No grounding (CCFs are false)

The Calvinist advantage: only the decretal model provides a clear, non-circular grounding for counterfactual truths. The decree is the truthmaker. Molinism faces the grounding objection; simple foreknowledge leaves the source unexplained; open theism denies the knowledge altogether.

See How All Four Systems Read This Passage

This article presents the Calvinist perspective. The Proof Text Explorer shows how Calvinism, Arminianism, Provisionism, and Molinism each interpret 1 Samuel 23:6–14 side by side.

02

Hebrew Exegesis

Four Hebrew terms carry the weight of this passage. Click each card to expand the morphological and theological analysis.

אֵפוֹד
ephod
Priestly vestment for divine inquiry
Root
From ’aphad—“to gird, bind on”
OT Usage
49x; associated with Urim and Thummim oracular function
Calvinist Significance
The ephod is the divinely appointed means of inquiry. David does not access a philosophical “middle knowledge”—he asks God directly, and God answers from His sovereign omniscience. The instrument is theocratic, not epistemological.
שָׁאַל
sha’al
To ask, inquire of
Morphology
Qal imperfect; common verb of oracular inquiry
OT Pattern
Used with be-YHWH (“of the LORD”) throughout 1–2 Samuel
Calvinist Significance
David asks the LORD—not an oracle of possibilities but the sovereign God who determines all things. The answer he receives reflects God’s own decretal knowledge of what He would bring about under those circumstances.
יֵרֵד
yered
“He will come down”
Morphology
Qal imperfect 3ms of yarad—to go down, descend
Context
God’s answer about Saul: “He will come down”—a counterfactual that never actualizes
Calvinist Significance
This is a counterfactual prediction: what Saul would do if David remains. Calvinists affirm God knows this because He knows what He Himself would bring about—how He would govern Saul’s heart, circumstances, and decisions under His decree.
יַסְגִירו
yasgiru
“They will surrender”
Morphology
Hiphil imperfect 3mp of sagar—to shut, deliver up, surrender
Root Meaning
sagar = to shut up, close; Hiphil = causative: to hand over, surrender
Calvinist Significance
The citizens’ hypothetical betrayal is within God’s governance. They would have acted from their own desires (fear, self-preservation), yet their choice would have been encompassed by God’s decree—compatibilist freedom within sovereign providence.
03

The Grounding Objection

The grounding objection is the most formidable philosophical challenge to Molinism. It asks: what makes counterfactual conditionals of creaturely freedom true? If a counterfactual like “The citizens of Keilah would surrender David” is true prior to God’s decree, what is the truthmaker?

Four Candidate Truthmakers

What could ground the truth of “Keilah would surrender David”?

Creaturely Natures

The citizens do not yet exist in the logically prior moment. Possible beings cannot ground contingent truths.

Circumstances Alone

Libertarian freedom means same circumstances could yield different choices. Circumstances cannot determine the outcome.

Logical Necessity

CCFs are contingent truths—it is possible they might not surrender. This is not a necessary truth.

God’s Decree

God knows what He would bring about in every scenario. The decree is the sufficient and only ground for counterfactual truth.

The Calvinist position: the only sufficient truthmaker for any contingent proposition about the future or about counterfactual scenarios is God’s decree. God knows what the citizens of Keilah would do because He knows what He Himself would decree in that scenario—how He would govern their hearts, dispositions, and circumstances. There is no need for an independent “middle knowledge” prior to the decree.

As Jonathan Edwards argued: every truth must have a sufficient reason. To posit truths about creaturely choices that are true for no reason—without a sufficient cause or ground—is to abandon the principle of sufficient reason entirely.

Interactive Tool Calvinism Arminianism Provisionism Molinism

20 Passages. 4 Systems. Every Argument.

Compare how each system reads the most debated soteriological texts.

Open Explorer →

Key Scholar Quotes

Herman Bavinck Dutch Reformed Reformed Dogmatics, Vol. 2
John Calvin Reformation Commentary on Acts 2:23 (applied hermeneutical principle)
Francis Turretin Post-Reformation Institutes of Elenctic Theology, Vol. 1, Third Topic, Q. 13
Jonathan Edwards Colonial American Freedom of the Will (1754), Part II, Section 12

Responses to Alternative Readings

The Molinist Argument

This is Molinism’s paradigm text. God tells David what Saul and the citizens would freely do in circumstances that never obtain. This is textbook scientia media—knowledge of counterfactuals of creaturely freedom, logically prior to the creative decree.

The Calvinist Response

The passage demonstrates counterfactual knowledge, not middle knowledge. Both Calvinists and Molinists affirm God knows counterfactuals. The question is the ground of that knowledge. Calvinists ground it in the decree; Molinists in ungrounded brute facts about libertarian choices.

The grounding objection is fatal. What makes it true that the citizens “would surrender” David? In the logically prior moment before the decree, the citizens are merely possible beings. A possible being cannot ground a contingent truth about what it would do.

The text is narrative, not metaphysical. The passage describes God’s providential guidance of David—not a philosophical treatise on divine epistemology. God guides David through sovereign omniscience, whether or not one adopts the Molinist framework.

The Arminian Argument

God knows counterfactuals through simple omniscience—He doesn’t need the Molinist framework. His knowledge of what Keilah would do is part of His comprehensive prescience, not a logically distinct “middle knowledge.”

The Calvinist Response

Simple foreknowledge still faces the grounding problem. Even if the Arminian avoids the Molinist framework, they must explain what makes it true that Keilah “would” surrender David. If it is not God’s decree, what is it? Simple foreknowledge merely relocates the problem without solving it.

The passage shows God directing events, not merely foreseeing them. God does not passively observe what would happen; He actively guides David away from danger. This is sovereign providence in action—the decree working through guidance to achieve God’s purposes.

The Provisionist Argument

God’s simple omniscience encompasses all actual and hypothetical events. No elaborate “middle knowledge” framework is needed. God simply knows because He is God.

The Calvinist Response

“God simply knows” is not an explanation. To say God knows counterfactuals “because He is omniscient” answers the what but not the how or why. The Calvinist provides the metaphysical ground: God knows what He would decree. The Provisionist leaves the ground unspecified—knowledge without a truthmaker.

The passage attributes active control to God. Verse 14: “God would not deliver David into his hand.” This is not passive foreknowledge—it is God actively withholding David from Saul’s grasp. The text demands a God who governs, not merely observes.

Continue Your Study

Proof Text Explorer
Compare all 4 systems
See how Calvinism, Arminianism, Provisionism, and Molinism each read 1 Samuel 23 side by side.
Open Explorer →
Molinist Reading
The paradigm middle knowledge text
See why Molinists consider this their strongest passage.
Read Molinist analysis →

Read How Other Systems Interpret 1 Samuel 23:6–14

Arminian Reading
Simple foreknowledge sufficiency—no middle knowledge needed
Provisionist Reading
Simple omniscience model—God knows because He is God
Molinist Reading
The paradigm text for middle knowledge—branching counterfactuals
Bavinck, Herman. Reformed Dogmatics, Vol. 2: God and Creation. Baker Academic, 2004.
Calvin, John. Institutes of the Christian Religion (1559). Ed. McNeill/Battles. Westminster John Knox, 1960.
Edwards, Jonathan. Freedom of the Will (1754). Ed. Paul Ramsey. Yale UP, 1957.
Turretin, Francis. Institutes of Elenctic Theology. P&R Publishing, 1992.
Helm, Paul. Eternal God. 2nd ed. Oxford UP, 2010.
Bignon, Guillaume. Excusing Sinners and Blaming God. Pickwick, 2018.
Sproul, R.C. What Is Reformed Theology? Baker, 2005.
Westminster Assembly. Westminster Confession of Faith (1646). Chapters 2–3, 5.