Classical theism holds that God is omniscient: he knows every truth there is to know. But which truths are there? In 1588 the Spanish Jesuit Luis de Molina proposed a distinctive class of them. These are truths about what any possible free creature would freely do in any possible circumstance. He called God's grasp of these truths scientia media, or middle knowledge.

The proposal promised a remarkable reconciliation. Suppose God knows how creatures would freely act before he decides which world to create. Then he can exercise meticulous providence over history without causally determining a single human choice. On this picture, divine sovereignty and libertarian freedom need not compete for the same ground.

Yet more than four centuries later, middle knowledge remains one of the most contested ideas in philosophical theology. The dispute is not merely technical. It turns on a basic question in metaphysics: what makes a proposition true? Its outcome shapes how entire traditions understand predestination, petitionary prayer and the divine governance of history.

Molina distinguishes three logical moments in divine knowledge. They are moments of explanatory priority, not stages in time. The first is natural knowledge, God's knowledge of all necessary truths. It includes every possible world and everything any creature could do in any circumstance. This knowledge is prior to God's will. God does not decide what is possible; he simply knows it.

The third moment is free knowledge, God's knowledge of the contingent truths that obtain because he decreed to actualise a particular world. This is knowledge of what will be, and it depends on the divine will. Middle knowledge sits between the two. Like free knowledge, its objects are contingent. Like natural knowledge, it is prior to God's creative decree. Its objects are counterfactuals of creaturely freedom, propositions such as 'If Peter were in circumstances C, he would freely deny Christ.'

Why are these truths not up to God? Molina assumes libertarian freedom. An agent free in C could do otherwise in C, and nothing prior to the choice determines which option is taken. If God could make Peter's counterfactual true by decree, Peter's choice would be determined by God rather than free. God therefore finds these truths rather than making them. Alvin Plantinga later drew the consequence that not every possible world is feasible for God to actualise.

Here lies the providential payoff. Surveying the true counterfactuals, God selects the circumstances he will bring about. He knows exactly which free responses will follow. Peter's denial is fully free, yet it is foreseen, permitted and woven into the divine plan. Molinists also cite scriptural support. In 1 Samuel 23 God tells David what the men of Keilah would do, and in Matthew 11:21 Jesus says what Tyre and Sidon would have done. Molinists read both as instances of counterfactual divine knowledge.

Takeaway

Middle knowledge works by placing one kind of knowledge in a peculiar position: contingent, yet independent of God's will. Everything distinctive about Molinism, including its strengths and its vulnerabilities, follows from that placement.

The most influential challenge to Molinism was given its modern form by Robert Adams in 1977 and developed by William Hasker. It echoes earlier Dominican criticisms. The question is simple: what makes a counterfactual of creaturely freedom true? Take Adams's example: 'If Curley were offered a bribe, he would freely accept it.' The objection relies on a plausible principle. True contingent propositions are true in virtue of something, a ground or truthmaker in reality.

The candidate grounds appear to fail one by one. The first is Curley's actual action. But he may never be offered the bribe, and at the moment of middle knowledge he does not yet exist. The second is his character and dispositions. Under libertarian freedom, though, these are compatible with either choice, so they could support only 'Curley would probably accept.' The third is God's will. Molinism explicitly denies that option, because grounding counterfactuals in a divine decree would make Curley's choice determined.

The objection concludes that counterfactuals of freedom lack grounds. They are therefore either all false or without truth-value. Either way, there is nothing for God to know prior to his decree, and middle knowledge collapses. Hasker presses a further worry. If these counterfactuals are true prior to creation and not brought about by the agents themselves, it is unclear how those agents are free with respect to them. On this view, the doctrine meant to protect freedom ends up threatening it.

Molinists such as Alfred Freddoso, Thomas Flint and William Lane Craig respond along two main lines. First, the demand for truthmakers is itself disputable. If 'Peter will deny Christ' can be true now without any present ground, the same may hold for counterfactuals. Second, a counterfactual may be grounded in the counterfactual fact itself: Peter would freely deny. Critics reply that this merely restates the claim rather than explaining it. The debate tends to stall at prior commitments about the nature of truth.

Takeaway

The grounding objection is less a refutation than a demand for a theory of truth. Whether Molinism survives depends largely on whether one thinks every contingent truth must be anchored in something actual.

The stakes became clear early. Between 1597 and 1607 the Congregatio de Auxiliis examined the dispute between Jesuits and Dominicans led by Domingo Báñez. The Dominicans held that God knows future free acts through his own causal decrees, which move creatures by physical premotion. Pope Paul V eventually closed the inquiry without condemning either side. He forbade each party to accuse the other of heresy. That the Church declined to decide is itself telling.

On predestination, Molinism allows God to elect by choosing to actualise a world in which particular persons freely respond to grace. The congruists Suárez and Bellarmine refined this view. On their account, God bestows grace he knows will be congruent with a person's circumstances and therefore freely accepted. Arminians often find this attractive. Reformed and Thomist critics answer that it makes salvation depend partly on facts God neither causes nor controls. In their view, true counterfactuals become a kind of brute fate standing over God.

On prayer, middle knowledge offers a distinctive account of how petitions make a difference. God can take foreseen prayers into account when arranging the world. This may even include prayers about past events whose outcome the person praying does not yet know. Thomists treat prayer instead as a secondary cause God has ordained. Open theists, by contrast, picture God responding to prayer in real time. Each model implies a different relationship between the person praying and the One addressed.

On providence and evil, much depends on the outcome. Plantinga's free will defence uses counterfactuals of freedom in its notion of transworld depravity. If the grounding objection succeeds, that version requires revision. Rejecting middle knowledge leaves three main options: theological determinism, simple foreknowledge, or open theism. Hasker and others argue that simple foreknowledge is providentially useless, while open theism pictures a God who takes genuine risks. Each alternative pays a recognisable price.

Takeaway

Middle knowledge functions as a load-bearing beam in theology. Remove it, and one must decide which other commitment will bear the weight: freedom, meticulous providence, or exhaustive foreknowledge.

The controversy over middle knowledge persists because it sits at the intersection of three commitments few theists wish to surrender. These are libertarian freedom, meticulous providence and a robust account of truth.

Molinism secures the first two by positing contingent truths prior to God's will. The grounding objection asks what could possibly make such truths true. Defenders reply that the demand proves too much, and critics reply that the reply explains too little.

What emerges is a clarified logical structure rather than a verdict. Accepting middle knowledge commits one to ungrounded or self-grounding counterfactual truths. Rejecting it commits one to determinism, a weaker providence, or an open future. The question is not which view is costless, but which cost one has better reason to pay.