Does Molina's position on "middle knowledge" succeed in reconciling divine foreknowledge with human freedom, or does it fall into logical problems?

This question lies at the heart of one of the most complex debates in religious philosophy: reconciling comprehensive divine knowledge with human freedom. Luis de Molina (1535-1600), the Spanish Jesuit, developed the theory of "middle knowledge" (Scientia Media) to resolve this tension, and its discussion remains heated in contemporary analytic philosophy. The theory offers an ingenious solution, but it faces deep logical and metaphysical problems.

Insufficient responses to avoid

From some defenders of Molinism:

"Middle knowledge solves the problem definitively." Excessive oversimplification. Even the strongest contemporary defenders (Thomas Flint, William Lane Craig, Alfred Freddoso) acknowledge the existence of serious philosophical problems that need addressing. The claim of a "definitive" solution ignores five centuries of accumulated criticism.

"Combining divine omnipotence and human freedom is impossible without middle knowledge." An exaggerated claim. Other philosophical solutions exist (Augustinian, Thomistic, Calvinist, open theism process) each with its own strength. Monopolizing the solution for Molinism ignores the broader philosophical tradition.

"The logical problems are merely misunderstandings of the theory." Uncritical rejection. The problems raised by Hasker, Adams, Zagzebski are not misunderstandings, but precise technical criticism targeting the logical structure of the theory. A serious response requires dealing with the details of the criticism, not rejecting it.

From some critics:

"Middle knowledge is a self-contradictory concept." Hasty judgment. The theory is logically coherent in its basic formulation. The problems arise from its applications and implications, not from an explicit contradiction in the concept itself.

"Molina invents theological concepts without foundation." Historically inaccurate accusation. Middle knowledge has roots in the scholastic tradition (Duns Scotus, Pedro da Fonseca) and addresses a real problem in philosophical theology. Conceptual innovation is not inherently a flaw.

Why these responses are insufficient

They share a superficial treatment of a technically complex theory. Molinism presents a very precise logical structure, and judging it requires understanding this structure and analyzing its internal consistency and metaphysical implications. General judgments—whether accepting or rejecting—miss the depth of the discussion.

Structure of the middle knowledge theory

Molina distinguishes three types of divine knowledge:

Natural knowledge (Scientia Naturalis): God's knowledge of all logical necessities and metaphysical possibilities. This knowledge is logically prior to God's will. Example: God knows that 2+2=4, that "square circle" is impossible, and that "possible Peter" is capable of belief or disbelief.

Free knowledge (Scientia Libera): God's knowledge of everything that is actually real, resulting from His creative will. This knowledge is logically posterior to God's will. Example: God knows that the actual Peter believed in Christ in 30 AD.

Middle knowledge (Scientia Media): God's knowledge of all "counterfactuals of creaturely freedom." This knowledge is "between" natural and free knowledge: prior to divine will (God doesn't determine it) but contingent (not logically necessary). Example: God knows that "if Peter were placed in circumstance Z, he would freely choose to believe."

Explanatory power of the theory

Middle knowledge explains:
- How God knows future human actions without causally determining them
- How God can exercise providence without eliminating freedom
- How God can choose to create a specific world from among many possible worlds
- How divine prophecies about free actions are possible

Applied example: God knows by middle knowledge that "if Judas were placed in the appropriate circumstance, he would freely betray Christ." God chooses to actualize this circumstance, so redemption occurs without forcing Judas.

Main logical problems

The grounding problem: What makes counterfactuals of freedom true? For instance: "If Caesar had lived 10 additional years, he would have conquered Parthia"—what makes this true or false? In Molinism, these counterfactuals are true before the creation of the world, but there is no reality to ground them. Robert Adams (1977) and William Hasker developed this criticism forcefully.

The problem of explanatory circularity: Middle knowledge assumes that free actions are "determined" enough for God to know what an agent will choose in a given circumstance, but "free" enough to be morally responsible. This appears circular: freedom requires indeterminacy, but knowledge requires determinacy.

The problem of divine control: If God knows by middle knowledge what every person will do in every possible circumstance, and chooses to actualize certain circumstances, isn't this indirect control that negates freedom? The difference between "direct determination" and "determination by circumstances" becomes nominal.

The problem of conditional divine actions: Does God have middle knowledge about His own actions? If we say yes, we fall into circularity (God knows what He will do before He decides). If we say no, we limit the comprehensiveness of divine knowledge.

Contemporary Molinist responses

To the grounding problem: Thomas Flint proposes that counterfactuals are "brute facts" that don't need external grounding. Just as "2+2=4" is true by itself, so "if Peter were in Z, he would choose X" is true by itself. But this response doubles the brute facts in the universe in a metaphysically troubling way.

To the circularity problem: William Lane Craig distinguishes between "causal determinism" and "cognitive certainty." God knows with certainty what Peter will choose, but doesn't cause it. Knowledge doesn't entail causation. But the criticism remains: how can knowledge be certain about an undetermined action?

To the control problem: Alfred Freddoso proposes that choosing circumstances doesn't negate freedom as long as the agent is the one who chooses in those circumstances. Divine control is "weak actualization" not "strong actualization." But the difference appears more technical than substantial.

Thomistic and Calvinist criticism

Thomists (led by Reginald Garrigou-Lagrange, Brian Shanley) reject middle knowledge because it makes God's knowledge dependent on something outside Himself (counterfactuals). In Thomism, God knows free actions by His knowledge of Himself as the cause of everything, not by independent "middle" knowledge.

Calvinists (Paul Helm, James Anderson) reject middle knowledge because it limits God's sovereignty. If counterfactuals are independent of God's will, then God is "constrained" by them in choosing which world to create.

Criticism from contemporary philosophy of action

Contemporary libertarian theories of freedom (Robert Kane, Timothy O'Connor) propose that truly free action involves radical "indeterminacy." If this is correct, then middle knowledge is impossible: one cannot know what a truly libertarian free agent will do until he does it.

Compatibilist theories (David Lewis, Harry Frankfurt) make middle knowledge unnecessary: if freedom is compatible with determinism, then direct divine knowledge is sufficient.

Current debate positions (2020-2024)

The "modified Molinism" stream attempts to lighten metaphysical commitments: perhaps middle knowledge is not about "all" counterfactuals, but only some of them.

The "Bayesian Molinism" stream (Ken Perkins) reformulates middle knowledge probabilistically: God knows probabilities of actions in circumstances, not certainties.

The "renewed grounding criticism" stream (Linda Zagzebski, Dean Zimmerman) develops the grounding problem in new ways, focusing on the impossibility of there being truths about possible actions of non-existent beings.

Comprehensive philosophical assessment

Molinism is a remarkable philosophical achievement in attempting to reconcile apparently contradictory requirements. Its strength lies in providing a detailed model of how divine providence works with human freedom. Its weakness lies in the metaphysical cost: accepting a vast amount of "brute facts" hanging in a void.

Where we stand in this debate today

The debate over middle knowledge shows remarkable vitality in the period 2020-2026. On one hand, Craig and the new Molinists continue developing advanced technical defenses, especially in facing the grounding problem through theories of brute facts and Bayesian approaches. On the other hand, the "open theism" stream is expanding academically and offers a radical alternative: abandoning foreknowledge of free actions altogether. Thomistic criticism has also renewed with the works of Shanley and Eleonore Stump on non-competitive divine causation. Notably, the debate has partially shifted from the metaphysical question ("Are counterfactuals true?") to the epistemological question ("Can we conceive of a pattern of divine knowledge that doesn't fall under Molina's threefold classification?"). This is methodological maturation: the Molinist classification itself is no longer a given, but has become a subject of debate.

From the perspective of rational preference (rajḥān ʿaqlī)

Molinism represents a real achievement in philosophical engineering, but the cumulative weighing doesn't allow adopting or rejecting it with definitive certainty. The balance reveals:

─ In favor of Molinism: exceptional explanatory power in combining divine sovereignty and human freedom within a single apparently consistent model.
─ Against Molinism: the grounding problem remains a heavy metaphysical burden; accepting an infinite quantity of brute facts suspended without clear ontological foundation is a steep price.
─ In favor of alternatives: Thomism avoids the grounding problem by making divine knowledge grounded in the divine essence itself, but it pays a price in the obscurity of the relationship between divine causation and freedom.

Result: no definitive resolution. The preference tends toward recognizing that Molinism is a philosophically possible solution but it is neither the only solution nor clearly the most probable. The original problem—reconciling divine knowledge and freedom—may require epistemic humility before the limits of human understanding of divine knowledge.