Ontology

Modal Firewalls: How Contemporary Metaphysics Manufactures Slack

Why theories of explanation stop where necessity begins.

Contemporary metaphysics prides itself on explanation. We are encouraged to ask what depends on what, what grounds what, what explains what—and to keep climbing until the structure of reality comes into view. But something curious happens as that ascent continues. Again and again, explanation is welcomed right up to the point where it would begin to suggest necessity. At that moment, the climb stops.

These stopping points are not accidental. They recur across otherwise very different theories, and they appear in strikingly similar places. Explanation is allowed to run—sometimes impressively far—so long as it does not threaten contingency. When it does, constraints quietly appear. I call these constraints modal firewalls: principled-sounding limits on explanation that permit local intelligibility while preventing explanatory ascent from spilling over into necessity.

These firewalls shape vast regions of contemporary philosophy. They don’t just mark the limits of explanation; they reveal where the discipline becomes strategically protective. And the question is whether those limits are principled—or simply installed to keep necessity at bay.

Grounding: Explanation with a Controlled Burn

No contemporary tool has shaped metaphysics more than grounding. It promises dependence without reduction, explanation without elimination, structure without collapse. And it offers one of the cleanest illustrations of firewall logic.

The basic picture is familiar: some facts obtain in virtue of others. A set exists in virtue of its members; a disjunction is true in virtue of a true disjunct; an act is wrong (perhaps) in virtue of harm or lack of consent. So far, grounding behaves exactly as advertised.

The tension appears when we ask how far grounding extends.

If grounding is unrestricted, explanatory ascent becomes hard to contain. Once the base is fixed, explanation propagates upward—and with it, modality. Necessary grounds yield necessary grounded facts. Iterate the structure, and necessity spreads like fire through dry brush.

This is the moment grounding theory reaches for the firebreak.

We are told that grounding must be restricted. It bottoms out. It is asymmetric. It does not range across all domains. It does not ground everything that looks groundable. Crucially, these limits are not themselves grounded or explained by the relata. They are imposed to preserve a desired modal profile—to stop the spread.

This is not a complaint about any particular theorist. It is a structural observation. Grounding is permitted to burn hot within carefully cleared perimeters, but when it threatens to carry us from intelligibility into necessity, the line is drawn.

That is why grounding is the paradigmatic modern firewall: explicitly explanatory, explicitly metaphysical, and explicitly curtailed for modal reasons.

(Representative figures include Kit Fine, Jonathan Schaffer, and Shamik Dasgupta.)

Essence: Explanation That Must Not Explain Itself

Essence is often presented as grounding’s metaphysical backbone. Where grounding explains dependence, essence explains necessity. A thing has the modal profile it does because of what it is.

This looks like genuine explanatory progress—up to a point.

Essence is allowed to tell us why certain facts are necessary: why Socrates is necessarily human, why water is necessarily H₂O, why some identities could not have failed. But the moment we ask the next question—why this essence rather than another—the ladder is pulled away.

Essences, we are told, are not explained. They are not grounded. They are not fixed by anything deeper. To demand an explanation of an essence is, on this view, to misunderstand the very idea of essence.

This is not an accidental silence. It is a deliberate stopping rule. If essences themselves were open to explanation, modal ascent would resume: the explanation of an essence would inherit modal force, and the pressure toward necessity would reappear at a higher level.

Essence thus functions as an explanatory stop‑sign. It secures necessity, but it must not itself be explained. The firewall is clean, principled‑sounding, and structurally indispensable for anyone who wants contingency preserved at the level of kinds and individuals.

Normative Autonomy: A Softer Firewall

In contemporary metaethics—especially among non-naturalists—it is standard to insist on the autonomy of the normative. Normative facts are explained by reasons, not by natural or metaphysical facts. What one ought to do is determined by reasons; what reasons there are is not settled by physics, chemistry, or ontology.

This autonomy is often motivated by familiar considerations. Even if all the natural facts are fixed—who suffered, who consented, who benefited—it can still seem an open question whether an action was wrong. Moral properties are therefore taken to resist reduction to natural or metaphysical ones.

So far, this may sound like a familiar dialectical stalemate. But the explanatory structure deserves closer attention.

Consider a simple case. An action causes intense, unnecessary suffering to a conscious being. Most moral theories agree that this fact counts strongly against the action. But now ask the next question: why does suffering generate reasons at all? Why does it have normative force rather than merely describing a state of the world?

At this point, explanation reliably stops. We are told that suffering just is reason-giving, or that normativity is sui generis, or that reasons are primitive features of practical reality. Attempts to explain normative force in terms of metaphysical structure, rational agency, or the nature of value are treated with suspicion—often dismissed as category mistakes.

This is not because such explanations are incoherent. It is because allowing them would invite explanatory unification across domains. If facts about suffering had their normative force in virtue of deeper metaphysical facts, then normative necessity would begin to track metaphysical necessity. The space between “how things are” and “how one ought to act” would narrow.

Normative autonomy functions here as a firewall. It permits rich internal explanation—reasons explain obligations, values explain reasons—while blocking explanatory ascent into metaphysics or ontology. The restriction is not arbitrary, but it is strategic. It preserves the distinctness of the normative domain by preventing necessity from spreading across it.

Unlike grounding or essence, this firewall is rhetorically gentle. It presents itself as respect rather than restraint. But structurally, it serves the same role: explanation is allowed to operate, but only so far as it does not threaten modal unification.

Primitive Modality: The Firewall Without Apology

Some philosophers dispense with all explanatory machinery and say, simply: modality is primitive. Necessity and possibility are basic features of reality. They do not require explanation.

This view—associated with figures like Timothy Williamson—is often presented as anti‑reductionist and theoretically modest. But in the present context, its significance is different.

Primitive modality is the most forthright firewall available. It does not suggest that explanation almost continues but must be stopped. It denies that explanatory ascent even begins. Modal structure is taken as given. Full stop.

The virtue of this stance is its honesty. The cost is bruteness. Why these modal facts rather than others? Why this logic, this accessibility relation, this space of possibilities? There is no answer—and the view insists that none is needed.

If unexplained modality already feels acceptable, this will seem unproblematic. But it is a paradigmatic case of explanation being blocked at the base to prevent further questions from arising.

Laws of Nature: Contingency at the Base of Physics

A parallel structure appears in philosophy of science.

On Humean views, laws of nature do not govern the world; they summarize patterns in the distribution of particular facts. The laws could have been otherwise because the mosaic could have been otherwise.

This secures contingency at the fundamental level. Even a complete account of the actual laws does not explain why those laws obtain rather than others.

But this result is purchased by treating the base distribution of qualities as brute. There is no explanation of why the mosaic has the structure it does—any such explanation would threaten to propagate modal force upward.

Once again, explanation is permitted locally—laws explain counterfactuals—but prohibited globally. The firewall preserves contingency by denying that explanation can reach the base.

The Contingentist’s Best Reply

At this point, a sophisticated contingentist will object.

Of course explanation has limits. Demanding that everything be explained is itself a substantive metaphysical commitment—often associated with the Principle of Sufficient Reason. One can reject that commitment without inconsistency. Explanation ends where it ends. There is no obligation to keep pushing, and no reason to treat unexplained stopping points as philosophically suspect by default.

This is a serious reply, and it deserves to be taken seriously.

Contingentists do not reject explanation wholesale. On the contrary, they rely on it extensively. Grounding is invoked to illuminate dependence, essence to explain modal profiles, laws to support counterfactuals, and reasons to structure normativity. Explanation is not treated as a fragile practice that must be carefully rationed. It is allowed to run—often aggressively—when it delivers intelligibility without threatening core commitments.

Nowhere is this clearer than in the natural sciences. Few philosophers resist explanatory descent from chemistry to physics, or from thermodynamics to microstructure. We routinely explain why chemical regularities hold by appeal to molecular structure, why macroscopic behavior emerges by appeal to underlying distributions, and why apparent alternatives disappear once deeper structure is revealed. These explanations are welcomed even when they eliminate intuitive possibilities. No one insists that chemical laws must remain explanatorily autonomous lest they collapse into physical necessity. The explanatory ascent is permitted to continue precisely because no threat of modal collapse is perceived.

What distinguishes the earlier cases is not a general discomfort with explanation, but the specific fact that further explanation would begin to align necessity across domains. Grounding is curtailed when it would transmit necessity upward. Essence is declared inexplicable when explaining it would threaten contingency. Normativity is insulated when metaphysical explanation would collapse moral necessity into metaphysical necessity. Primitive modality is invoked when further explanation would reopen the ascent entirely.

The stopping points are therefore not random. They cluster at precisely those locations where explanation would begin to erode modal slack. This does not show that the stopping points are illegitimate. But it does undermine the idea that they are merely neutral denials of explanatory ambition. They look instead like targeted restraints—introduced not because explanation has gone too far in general, but because it has begun to point in a particular direction.

That is where the real dialectical pressure lies.

Connecting the Dots

Modal firewalls are not philosophical mistakes. They are pressure points—places where our explanatory practices strain against a background commitment to contingency. They reveal how much of contemporary metaphysics is already organized around allowing explanation to proceed up to necessity, and no further.

Recognizing this does not by itself refute contingentism. But it reframes the debate. If explanation is already trusted across domains whenever it increases intelligibility, then resistance at the point where necessity comes into view requires special justification. Appeals to autonomy, primitivity, or brute stopping points may be defensible—but they are not cost-free. They represent decisions about where explanation must be halted, and why.

Arguments for necessitarianism do not impose alien standards on metaphysics. They ask us to take our existing explanatory ambitions seriously, and to follow them without installing outcome-driven restraints. Whether one ultimately accepts that invitation remains an open question. But the terrain on which the question is decided looks different once the firewalls come into view.

Parmenides is not refuted. He is managed.


Papers defending modal firewalls, the modal ontological argument for necessitarianism (MOAN), the dilemma of contingency, and a transcendental argument for necessitarianism are under review.


Related Essays

Ancient Modal Firewalls

Aquinas and the Modal Firewall

Middle Knowledge: Anatomy of a Modal Firewall

Standard
Ontology, philosophy

Aquinas and the Modal Firewall

Arthur Lovejoy’s The Great Chain of Being is often read as a history of metaphysical exuberance: plenitude, overflow, and the slow erosion of contingency under explanatory pressure. What’s easier to miss is that Lovejoy also gives us a sharp diagnostic lens for understanding how philosophers attempt to contain that pressure.

What that lens reveals is a recurring structural move. I call it a modal firewall.

A modal firewall is a principled restriction on explanatory reach: a point at which intelligible reasons are permitted to explain structure, value, or possibility, but are forbidden from determining actuality. The firewall does not reject explanation. It commands it, then tells it where it must stop.

Seen through this lens, Thomas Aquinas becomes a revealing case—not because he invents the maneuver, but because Lovejoy’s framing makes its structure unusually clear.

The pressure Aquinas accepts

Lovejoy emphasizes that Aquinas fully accepts the rationalist pressures that make necessitarianism tempting. God is pure actuality. God is perfect goodness. God’s intellect contains the complete intelligible structure of all possible beings. Explanation is not optional; it is constitutive of intelligibility itself.

Given that package, a familiar question presses itself: if goodness is fully intelligible, why would a perfectly good being fail to actualize what is good? Why would possibility outrun actuality?

This is not yet Spinoza speaking. It is the pressure Aquinas must confront before Spinoza radicalizes it.

Crucially, Aquinas does not respond by weakening explanation. He does not appeal to mystery, opacity, or brute divine choice. God’s intellect remains exhaustive; reasons remain reasons. The pressure toward necessity is fully in place.

The firewall: divine will as modal cutoff

Aquinas’s response is not to deny the pressure but to block its extension.

Although God necessarily knows all possibles and their relative perfections, God does not necessarily will any of them. Creation is therefore not a logical consequence of divine nature but a contingent act of volition. God could have created a different world, or no world at all.

This is the firewall.

Explanatory reasons may explain what creatures are like, if they exist. They may explain why creation would be fitting or good. But they are not permitted to explain that creation occurs, or why this possible world is actual rather than another. At precisely that juncture, explanation is told where it must stop.

For a rationalist, this is the most uncomfortable possible outcome. Explanation is not refuted; it is obeyed everywhere except where obedience would eliminate contingency. The firewall does not emerge from explanation; it is imposed upon it.

Leibniz rationalizes plenitude; Spinoza completes it

This is where Lovejoy’s tripartite schema earns its keep.

To say that Leibniz rationalizes plenitude is to say that he removes Aquinas’s firewall while preserving contingency in name. God necessarily acts for sufficient reason, but contingency is relocated into the structure of reasons themselves. Different possible worlds are intelligible; God freely selects the best among them. Plenitude is no longer blocked. It is disciplined by optimization.

Spinoza, by contrast, refuses the remaining distinction. If God’s nature explains everything that exists, then nothing could have been otherwise. Possibility collapses into actuality. There is no selection among alternatives because there are no genuine alternatives to select among.

Where Leibniz preserves contingency by complicating reason, Spinoza abolishes it by allowing reason to run without remainder.

In Lovejoy’s narrative: Aquinas contains plenitude by prohibition; Leibniz rationalizes it through sufficient reason and optimality; Spinoza completes it by removing the prohibition altogether.

Lovejoy’s diagnostic contribution

It would be a mistake to claim that Aquinas invents this maneuver. Voluntarist strategies of this sort have deep roots, including in Islamic theology and medieval debates about divine freedom. What Lovejoy contributes is not a genealogy of voluntarism but a structural diagnosis: he shows how Aquinas’s appeal to divine will functions as a targeted containment strategy within an otherwise rationalist framework.

This matters, because not all appeals to will stand in the same relation to reason. An occasionalist denial of secondary causation, for example, may dismantle the explanatory machinery itself rather than merely restricting its scope. Aquinas’s strategy is different. He preserves explanation almost everywhere. That’s what makes the firewall both powerful and philosophically unstable.

Seen through Lovejoy’s lens, Aquinas is not someone who rejects necessitarian pressure, but someone who cordons it off. Contingency survives only because explanation is commanded to halt at a specific boundary.

And once that boundary is made visible, a further question becomes unavoidable: What justifies telling explanation where it must stop?

That question, Lovejoy suggests without fully pressing, will not remain contained.


The concept of modal firewalls is developed at length in a paper currently under review, as well as in related work defending the Modal Ontological Argument for Necessitarianism (MOAN), the Dilemma of Contingency, and a Transcendental Argument for Necessitarianism.

Ancient Modal Firewalls

The Modal Firewall Around Gödel

Standard
Schrodinger's Dachshund

Modal Firewalls: Why Contingency Is Doing Less Work Than You Think

Philosophers love necessity and contingency. Some things must be the case (mathematical truths, the laws of logic). Other things just happen to be the case (the number of planets, whether you had coffee this morning). This distinction is load-bearing. It’s not just a classification. It’s meant to tell us where explanation can and cannot go.

Necessary truths can explain things, but we don’t get to ask why they obtain. They’re the stopping points. Contingent truths, meanwhile, float free: they could have been otherwise, and that’s that. The modal classification does double duty. It describes the world and regulates inquiry.

This picture hides something important.

The Pattern

Look at how explanation actually works across different domains:

  • Mathematics constrains physics. Certain physical states are ruled out because they’d violate mathematical truths. We don’t treat this as mysterious. It’s just how things work.
  • Normative facts constrain rationality. That an action would be unjust explains why it’s not a genuine rational option. Again, no mystery.

In both cases, facts from one domain (mathematics, normativity) reach into another domain (physics, rational agency) and do explanatory work. We accept this without fuss.

But now try the reverse. Can physical facts explain why certain mathematical structures are realized? Can contingent features of the world explain anything about necessary truths? Here, philosophers balk. That direction of explanation is blocked.

Why? Not because anyone has shown that such explanations would be incoherent. Not because they’d fail to illuminate. The reason, when you push on it, is usually just modal: necessity can constrain contingency, but contingency can’t constrain necessity. The direction of explanation tracks the modal hierarchy.

The Firewall

I call this pattern a modal firewall. It’s a restriction on explanatory scope that’s justified by modal status rather than by anything about explanation itself. The firewall doesn’t show that a candidate explanation would fail. It rules the explanation out of bounds before we even try.

Here’s the structure:

1) Eligibility: The blocked explanation would, by ordinary standards, be perfectly intelligible.

2) Modal restriction: It’s excluded because of the domain-relative modal status of what’s being explained.

3) No independent grounding: No explanation for the modal boundary. It’s taken as given.

Firewalls aren’t arguments. They’re policies. And once you see them, you see them everywhere. Paging Gödel.

Why This Matters

The problem isn’t that explanation has to be unlimited. Some explanations fail; some inquiries terminate. That’s fine. The problem is how the limits are drawn. If a stopping point is justified by demonstrating that further explanation would be incoherent, circular, or regressive, fair enough. But if it’s justified by pointing at a modal classification and saying “Here be contingency!” That’s not an explanation of the limit. It’s a label for the limit.

This matters for the contingency/necessity debate because contingency is often sold as metaphysically innocent. The necessitarian (someone who thinks everything is necessary) is supposed to be the one with the weird, revisionary view. But if contingency’s main job is to license unexplained stopping points in our explanatory practices, that innocence starts to look questionable.

Contingency often ends up doing the kind of work apologetics does: protecting a doctrine by declaring certain questions out of bounds.

A Different Approach

The alternative I develop is what I call explanatory unity: let explanation go where it succeeds, and stop where it fails, without giving modal classification independent authority to police the boundaries. Domain differences might shape how we explain, but they don’t get to determine that explanation must stop.

This isn’t a commitment to explaining everything. It’s a commitment to earning your stopping points rather than inheriting them from a modal map drawn in advance.

Does this vindicate necessitarianism? Not directly. But it shifts the burden. If you want to say that contingency limits explanation, you need to explain why—not just assert that it does.

This is a compressed version of an argument developed at length in a paper currently under review. The full version applies the diagnostic to debates about grounding, laws of nature, essence, and normativity.

Papers on MOAN: the Modal Ontological Argument for Necessitarianism, and the Dilemma of Contingency are also under review. And a paper on Spinoza.

The Garden Without Forking Paths

Standard