Metaphysics is usually framed as a debate about what exists, what is fundamental, and what modal structure reality bears. Less often noticed is that it is also a debate about how far explanation is allowed to go. Which “why”-questions remain legitimate as inquiry deepens, and which are dismissed as misplaced, category-confused, or simply one question too far? Where is explanation welcomed, and where is it told to stop?
My claim is that many of these stopping points are not dictated by the subject matter. They are imposed because letting explanation continue would have unwelcome modal consequences. Explanation is permitted to proceed until it begins to harden modal space, align what were supposed to remain independent possibilities, or collapse a protected boundary. At that point, a question is declared illegitimate, a boundary is announced, or a primitive is installed. I call the resulting stopping rules modal firewalls.
The phrase marks a structural phenomenon, not a verdict. A modal firewall is not a theory, still less an argument. It is a way of regulating explanatory scope — determining where explanation may range and where it may not, in a manner sensitive to the modal consequences of explanatory success. Not every explanatory limit is a firewall. Some stopping points are earned. But metaphysics needs a clearer distinction than it often employs between explanatory failure and explanatory prohibition.
The Diagnostic Tests
How do you tell an earned stopping point from a consequence-sensitive one? I propose four tests.
Selectivity. Does the stopping rule appear only where modal consequences threaten?
Reversibility. Would the theorist keep the limit if it no longer protected the modal outcome at stake?
Content versus consequence. Is the explanation blocked because it fails on its own terms, or because too much would follow if it succeeded?
Parallel structure. Does the stopping point occupy the same functional role as clearer historical cases of consequence-sensitive restraint?
None of these is decisive by itself. Their role is burden-shifting, not mechanical. But when stopping rules cluster systematically at modal pressure points, the claim that a given case is “just different” requires argument rather than insistence..assertion.
Explanatory Unity and the Burden of Stopping
To identify a stopping point as a firewall, you need a methodological background. Otherwise every stopping point looks like one more harmless feature of practice. The background I propose is explanatory unity: the scope of explanation should be determined by explanatory success rather than blocked in advance by domain membership or modal policy.
This is weaker than it sounds. It is not reductionism, not monism, and not the Principle of Sufficient Reason. You can allow that some facts are brute and that explanation legitimately bottoms out. The claim is narrower: explanatory termination should not systematically coincide with modal boundaries without further account.
From this follows a central methodological consequence: there is a burden of stopping. When explanation halts because it fails — circularity, vacuity, loss of illumination — no special defense is needed. But when explanation halts despite remaining intelligible and continuous with practice elsewhere, the restriction demands justification.
Why should continuation enjoy a default privilege over restraint? Because the two cases have different justificatory structures. Explanatory success has internal credentials: it illuminates, it unifies, it reduces arbitrariness, it renders intelligible what was previously opaque. These can be assessed by standards internal to explanation itself. Explanatory restriction requires a rationale external to the explanation being restricted. When we reject an explanation because it is circular, we cite a feature of the explanation. When we block an explanation because its success would collapse contingency, we cite a feature of the consequences. The asymmetry is not between explanation and silence. It is between assessment and prohibition. Assessment evaluates an explanation by what it does. Prohibition overrides an explanation by what it would imply.
Aquinas: a Sharply Visible Firewall
Aquinas is one of the clearest historical cases because his explanatory ambitions are so substantial and his stopping point so precise. Creatures are rendered intelligible through exemplar causation in the divine intellect; the divine intellect is rooted in the divine essence; and the divine essence is necessary. Up to this point, explanatory ascent is not only permitted but encouraged.
Then something interesting happens. If explanation were allowed to continue under the same pressure, the necessity of the divine essence would propagate to creation itself. The modal status of the source would fix the modal status of what proceeds from it.
Aquinas’s response is to insert a highly specific stopping point. Explanation runs through the divine essence, but does not determine the divine willing of this created order. God necessarily knows all possibles, but does not necessarily will any particular creation. The will performs a structural task: it marks the point where explanatory ascent is restrained in order to preserve the contingency of creation.
The diagnostic tests apply cleanly. The stopping point is selective — explanation is welcomed until divine necessity threatens to globalize. It is reversible — if divine essence did not threaten to necessitate creation, the volitional cutoff would lose much of its point. And it is consequence-sensitive — the issue is not that the explanatory route suddenly becomes unintelligible, but that allowing it to complete would yield a modal result the system is unwilling to accept.
An important caveat: Aquinas does not present divine will as an ad hoc device. It is a first-order theological commitment with deep independent roots. That matters. A modal firewall need not present itself as a reactive patch to function as one. The philosophically interesting cases are often the ones where a stopping point is independently motivated and still performs unmistakable modal work.
Why Necessary Foundations Can’t Produce Contingent Worlds (And What This Means for Classical Theism)
The War of the Firewalls: Thomists and Molinists
If Aquinas gives us a sharply visible firewall, Molina shows what happens when one firewall generates pressure for another.
The Thomistic cutoff blocks necessity from propagating to creation. But it leaves a residual difficulty: if divine willing is where contrastive selection becomes terminal, how is providential governance through free creaturely action to be understood? Molina’s answer is scientia media — middle knowledge — a tier of truths concerning what free creatures would do in specified circumstances, known by God prior to the decree and yet not grounded in the decree, in creaturely existence, or in the necessities of nature.
Molinist counterfactuals occupy a highly specific modal niche. They are determinate, truth-apt, contingent, and pre-volitional. Not grounded in God, not in creatures, not in essences. The truths simply obtain. That is not an accidental gap. It is the point of the construction.
In Aquinas, the firewall is localized in divine agency, and the dignity of the will helps it look principled. In Molina, the engineering is harder to miss. A bespoke class of truths is introduced to do exactly the work the prior firewall could not, while itself being insulated from further explanation. One firewall has generated residual pressure, and a second is built to manage it.
This is why the dispute over middle knowledge is so revealing. Adams’s classic complaint captures the structural issue precisely: middle knowledge requires truths that are determinate enough to guide providence while floating free of any acceptable explanatory ground. The disagreement is not between a view with firewalls and a view without them. It is a disagreement over the location of bruteness. The Thomist regards free-floating modal facts as intolerable; the Molinist regards bare volitional cutoff as explanatorily incomplete. Each treats the other’s residue as unacceptable while defending its own as principled.
Leibniz: the Pressure Made Explicit
These theological cases are not historical curiosities. They are the first clear instances of a structural problem that reappears whenever explanation is powerful enough to threaten contingency. Leibniz makes the point vivid because he names the threat directly.
Leibniz accepts the Principle of Sufficient Reason without restriction. Everything has a reason. God acts for a reason — specifically, God creates the best of all possible worlds because it is the best. The explanatory chain from divine perfection to this created order is allowed to close in a way Aquinas’s volitional cutoff was designed to prevent. But this immediately generates exactly the pressure the diagnostic framework predicts: if God necessarily exists, and if God’s perfection necessarily selects the best world, then the best world is necessarily actual. The result is Spinozism — the view Leibniz spent considerable energy refusing.
Leibniz’s response is the distinction between moral necessity and metaphysical necessity. God is morally necessitated to choose the best — inclined, as the famous formula has it, without being necessitated. The best world is certain but not strictly necessary, because its negation does not imply a contradiction. This is a firewall in nearly explicit form. It is installed at exactly the point where the explanatory engine of PSR would otherwise harden contingent truths into necessary ones. And it takes the characteristic shape: not a denial that explanation succeeds, but a distinction introduced to prevent that success from propagating modal status across a boundary.
What makes Leibniz such a useful bridge is that his problem is no longer theological in any essential way. Strip away God and the best of all possible worlds, and the underlying structure remains: when explanatory relations hold necessarily, and when the explanatory source is itself necessary, the explained threatens to inherit necessity. That is not a problem about divine will or providence. It is a problem about explanation, necessity, and how they interact. The same structure reappears, in secular dress, wherever contemporary metaphysics deploys grounding, essence, or modal logic.
Grounding: Explanation with a Kill Switch
Grounding presents itself as an especially ambitious mode of metaphysical explanation: derivative reality is intelligible through the more fundamental. But if grounding is genuinely explanatory and holds with necessity, whatever is grounded begins to inherit the modal profile of what grounds it. At scale, a world articulated by grounding threatens to become one where modal slack has been squeezed out of derivative domains.
The response among grounding theorists is rarely to deny that grounding explains. What changes are the restrictions on what grounding is allowed to imply. Some deny it transmits necessity; some distinguish grounding explanation from modal explanation; some multiply kinds of ground. These moves may have independent motivations. The structural point is that they cluster where grounding threatens to do too much. Grounding is not curtailed because it ceases to illuminate. It is curtailed because, left unqualified, it threatens to harden modal space.
It is, in that sense, explanation with a kill switch.
The reversibility test sharpens the point. Would grounding theorists feel the same need to distinguish grounding from modal inheritance if grounding did not threaten to transmit modal profile from base to derivative? The pressure to introduce these distinctions clearly intensifies where grounding begins to look metaphysically totalizing. That is enough to shift the burden.
Essence: The Quietest Firewall
If grounding’s terminus looks exposed, essence offers a way to make it appear less brute. Essences can underwrite grounding’s asymmetry while also supporting modal explanation more generally. What is possible or necessary is so because of the essential nature of things.
But that just relocates the pressure. If essence explains necessity, one can ask why these essences rather than others. The familiar response is that “why this essence?” is simply the wrong sort of question.
Sometimes that may be right. But structurally the pattern is familiar: explanation is generously permitted up to the level of essence, and then the boundary hardens at exactly the point where continuation would destabilize the terminus doing the modal work. Essence is the quietest firewall. It does not announce itself as protective. It looks like the natural shape of the subject matter. That is precisely why it matters.
Modal Collapse and the Explicit Firewall
Everything above involved firewalls that were at least partly implicit. Reactions to modal collapse bring the pattern into a different light. Here the firewall becomes explicit.
Collapse is what happens when necessity is allowed to propagate too far. The clearest case is Gödel’s ontological proof. Gödel defines God as a being possessing all positive properties and, working in a higher-order modal logic, derives the necessary existence of such a being. The proof is valid. The problem — from the standpoint of nearly every commentator — is what else it entails. Sobel showed in 1987 that Gödel’s axioms yield modal collapse: every truth turns out to be a necessary truth. If God necessarily exists and necessarily possesses all positive properties, and if the system permits property abstraction of the relevant kind, then every actual state of affairs inherits necessity. Nothing could have been otherwise.
What matters for the present framework is the reaction. Sobel does not treat this as an unsettling but potentially revealing result about the structure of modal reality. He treats it as a refutation. The system must be flawed, he concludes, because it leads to necessitarianism. The conclusion is not assessed on its philosophical merits. It is declared intolerable in advance. Modal collapse functions not as a discovery but as a diagnostic — a sign that some axiom needs to be revised so that the result cannot go through.
The subsequent literature confirms the pattern. Benzmüller and Woltzenlogel Paleo’s automated verification of Gödel’s proof is revealing not merely because it confirmed Sobel’s collapse result computationally, but because it maps with formal precision the points at which the derivation must be interrupted if collapse is to be avoided. Anderson, Fitting, and others have proposed modified axiom sets designed to preserve as much of Gödel’s structure as possible while blocking exactly the step that generates global necessity. The engineering is precise and targeted. It is not a wholesale rejection of the proof’s framework. It is a surgical intervention at the point where necessity would propagate beyond its intended home.
That reactive character is what makes modal collapse the natural culmination of the post’s arc. Aquinas’s cutoff is a first-order commitment that also performs modal work. Essentialist primitivity is presented as a metaphysical insight into whatness. Collapse-avoiding revisions in formal modal settings are harder to portray as innocent reports about the nature of the subject matter. They arise at the precise point of derivational pressure and are tailored to it. The timing is too exact, and the calibration too fine-grained, for the protective function to remain obscure.
This is the case where the firewall becomes explicit enough to illuminate the rest.
The Shape of the Contest
What follows from all this?
Metaphysical disagreement is often misdescribed when framed solely as disagreement about first-order modal status. Again and again, the decisive question turns out to be whether explanation may continue once its success begins to harden modal space.
Aquinas’s appeal to will, Molina’s appeal to middle knowledge, Leibniz’s moral/metaphysical distinction, grounding-theoretic qualification, essentialist refusal of “why this essence?,” and collapse-avoiding formal revisions are not wholly local maneuvers from unrelated subfields. They exhibit a common structure. Explanation is welcomed where it illuminates local dependence and restrained where its continuation would align modal profiles across a protected boundary. What differs is the location of restraint, the vocabulary of defense, and the kind of modal surplus being preserved.
The framework does not settle every case automatically. Some stopping points may be genuinely earned. The point is more modest and more durable: it shifts the burden. Once stopping rules cluster at modal pressure points, it is no longer enough to announce that explanation ends here. One must show why it ends for explanatory reasons rather than protective ones.
The contest, then, is not between innocent contingency and revisionary necessity. It is between two pictures of explanation. On one, explanation forms a single space of reasons whose reach is determined by intelligibility, and fragmentation requires justification. On the other, explanatory reasons divide exactly where modality does, and the pattern is accepted as primitive.
Sometimes metaphysics stops explanation not where it fails, but where it becomes too successful.
Petronius Jablonski 