Schrodinger's Dachshund

Modal Firewalls: Why Metaphysics Keeps Telling Explanation to Stop

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 clear instances of a structural problem that reappears whenever explanation is powerful enough to threaten contingency. (See also Plato, Aristotle, and Plotinus.) 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 explicit form. It is installed at exactly the point where the explanatory PSR engine 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.

(How Contemporary Metaphysics Concocts Slack)

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.

Branching Actualism as a Modal Firewall

Necessity, Shadow of Reason

Standard
Quietude

Two Cats and a Groundhog Attend a Birthday Party

With gifts of wisdom for this special day.

Embrace the in-between. Your birthday falls in that strange liminal stretch of winter—the holidays are over, spring is still a rumor, and the world is quietly waiting. People born in this season often develop a comfort with ambiguity, with sitting in the not-yet-knowing. That’s a genuine gift.

You’re not stuck in the loop. The obvious Groundhog Day movie reference actually carries real weight: Phil Connors only escapes repetition when he stops trying to game the system and genuinely changes. If you ever feel like you’re living the same day over and over—same patterns, same mistakes—remember the way out is through becoming, not escaping.

Look for your shadow. The whole groundhog ritual is about whether he sees his shadow and retreats. There’s something there about self-awareness: knowing your own shadow (the parts of yourself you’d rather not examine) is how you stop being spooked by it.

Winter birthdays build a quiet resilience. No outdoor lounging, no gardening. You learn early that celebration is something you create, not something the weather hands you.

You share the date with a creature who’s famous for one job. The groundhog wakes up, does its thing, and the world pays attention—just for a moment. There’s something freeing about that. You don’t have to be everything to everyone. Sometimes you just show up, do the one thing you’re meant to do that day, and that’s enough.

February 2nd is also Candlemas, if you want to go old-school. It’s an ancient halfway point between the winter solstice and the spring equinox—a hinge day. Traditionally, it was when people assessed whether they had enough candles and supplies to make it through the rest of winter. So your birthday carries this quiet question: What do I have, and is it enough to get me where I’m going? Usually the answer is yes, even when it doesn’t feel like it. You’re closer to spring than you think.

Two Cats, No Groundhog

Standard
philosophy

Anankēgnosis: What It Is Like to Grasp Necessity

There is a certain kind of clarity that does not arrive as bliss, ecstasy, or ego-death.

It arrives as closure.

Not psychological closure.

Explanatory closure.

When one genuinely grasps metaphysical necessitarianism—the thesis that reality could not have been otherwise—something happens. Not a mood shift, not a conversion experience, but a reorganization of how contrast, regret, and possibility function in thought and feeling.

That state deserves a name.

I propose: Anankēgnosis.

What is Anankēgnosis?

Anankēgnosis (from anankē, necessity, and gnōsis, knowing) names the intellectual–affective state that befalls a person who no longer merely assents to necessitarianism, but has integrated it.

It is what it is like, from the inside, to grasp that:

There is no metaphysically meaningful sense in which reality could have been otherwise in any way whatsoever.

This is not resignation.
It is not stoic suppression.
It is not mystical rapture.

It is the collapse of the counterfactual “otherwise” as an affective operator.

The phrase “it could have been different” stops doing emotional work.

Because it couldn’t have been different.

Why this is not optional

Let’s be clear about the normative background.

If metaphysical necessitarianism is true, then not to know it—or worse, to persist in treating contingency as fundamental—is to be wrong about reality in a foundational way. Flat earth wrong.

This is not a therapeutic pitch. It is not “try this worldview, it might chill you out.”

It is closer to this:

Given the truth of necessitarianism, there is a rationally appropriate way to feel about the world—and Anankēgnosis is what that looks like.

To continue to live as though events might really have gone otherwise is, on this view, like continuing to feel vertigo after learning that the floor is solid. The vertigo may be understandable, but it is not epistemically innocent.

A sketch of some arguments (briefly)

This post is about phenomenology, not proofs. The arguments are developed elsewhere, and I’ll link rather than re-litigate them in detail.

Brute contingency is explanatorily unstable: saying “it could have been otherwise” without grounding introduces surplus structure that explanation cannot accommodate.

Explained contingency collapses upward: if you explain why something could have been otherwise, the explanation itself re-opens the same modal question.

Necessity uniquely closes contrastive why-questions: when something is necessary, “why this rather than otherwise?” loses its grip.

Global necessitarianism exhibits modal stability: if true, it cannot be merely contingently true.

The appearance of contingency is the result of modal firewalls

A Case for Necessitarianism

The phenomenology of Anankēgnosis

What changes?

a. Regret collapses (without denial)

Past errors are still recognized. They simply stop looping.

The emotional force of “if only…” drains away, not because the past is forgiven, but because the counterfactual has lost metaphysical traction.

b. Anger shortens, not vanishes

Anger still arises in response to harm or injustice.
What disappears is the metaphysical outrage—the sense that reality itself has violated a norm by not arranging itself differently.

c. Agency is not lost—it is relocated

Decisions are no longer experienced as selections among metaphysically open alternatives.

They are experienced as expressions of one’s internal structure.

This does not paralyze action. If anything, it tends to reduce rumination and increase decisiveness. The fantasy of having to “force” the world to go one way rather than another drops out.

d. Meaning becomes structural, not narrative

Life no longer needs to be justified by appeals to cosmic choice, destiny, or missed possibilities.

Meaning resides in intelligibility, not in selection.

Stable or psychologically corrosive?

This is the question people actually worry about.

The answer is not “always stable” or “always corrosive.”

It depends on a single fault line.

The corrosive failure mode

Anankēgnosis becomes corrosive when necessity is experienced as external constraint:

  • “Nothing could have been otherwise, so nothing matters.”
  • “I am just a passenger in a fixed system.”

This produces motivational flattening and alienation. Critics of necessitarianism often assume this is the only possible outcome.

It isn’t.

The stable equilibrium

Anankēgnosis is stable when necessity is understood as internal intelligibility:

  • What happens flows from what things are.
  • Agency is part of the structure, not excluded by it.
  • Caring, valuing, and acting are themselves necessary phenomena.

Here the result is not nihilism, but quiet motivation without metaphysical anxiety.

Anankēgnosis and God

If reality is necessary, then familiar images of divine choice—God surveying alternatives, selecting one world among many, or freely refraining from creation—lose their footing. On a necessitarian reading, God’s nature does not merely underwrite existence; it fully determines what exists. There are no alternative worlds compatible with the divine essence—not because God is externally constrained or caused, but because God acts from nothing but God’s own nature.

Creation, on this view, is not a contingent add-on to God, but the necessary expression of divine being. Freedom is thereby reconceived: not as access to unrealized alternatives, but as self-determination without remainder. This picture aligns with a rationalist tradition running through Spinoza and Leibniz and is already latent in classical doctrines of simplicity and pure act. Whether Anankēgnosis ultimately supports such a view, or instead motivates an impersonal metaphysics of necessity, is not decided here. What is decided is that any adequate religious framework must make peace with necessity rather than explaining it away. (Consider Aquinas‘ modal firewall. And middle knowledge.)

Comparisons (and disanalogies)

a. Sextus Empiricus and Quietude

Sextus Empiricus described ataraxia as the calm that follows suspension of judgment.

Similarity:
Both states quiet disturbance by dissolving a certain kind of demand.

Difference:
Sextan quietude comes from withholding commitment. Anankēgnosis comes from maximal commitment.

One rests by refusing to say what is true. The other rests by seeing that what is true admits no alternative.

b. The Buddha’s enlightenment

Gautama Buddha’s awakening dissolves suffering by eliminating craving, especially craving for things to be otherwise.

Similarity:
Both extinguish the affective grip of “otherwise.”

Difference:
Buddhist enlightenment is fundamentally soteriological and practical. Anankēgnosis is metaphysical first, practical only downstream.

The Buddha dissolves craving by insight into impermanence and non-self. Anankēgnosis dissolves counterfactual craving by insight into necessity.

c. The Stoics

Think of Epictetus and amor fati.

Similarity:
Acceptance of what happens, freedom from resentment.

Difference:
Stoicism often presents acceptance as a discipline or posture. Anankēgnosis presents it as a cognitive consequence.

You don’t train yourself to accept fate; you stop experiencing it as fate at all.

Why necessitarianism is dismissed—and why that’s a mistake

Necessitarianism is routinely portrayed as unlivable, insane, or morally corrosive. Think of how Fyodor Dostoyevsky depicts atheists and determinists: nihilists, suicides, broken men.

This is rhetorically effective—and philosophically lazy.

It assumes, without argument, that removing contingency must remove meaning, agency, or value. But that assumption is inherited from a picture in which:

  • agency requires metaphysical openness
  • meaning requires cosmic choice
  • responsibility requires ultimate alternatives

If those assumptions are false, then the caricature collapses.

Anankēgnosis is not the death of seriousness. It is seriousness without metaphysical melodrama.

No promises, no pitch

This is not a wellness practice.
It does not guarantee happiness.
It does not immunize against grief.

It describes how a rational agent can coherently live with the truth of necessitarianism—without denial, without despair, and without pretending that the view is “too crazy to imagine.”

If necessitarianism is true, then Anankēgnosis is not a vibe. Anankēgnosis is not a mood and not a discipline. It is what remains when the last traces of “could have been otherwise” lose their grip and the mind finally stops negotiating with the structure of reality. What follows is not resignation but clarity: a life lived without the phantom pressure of unreal possibilities.

The Strange Loop at the Heart of Necessity

The Modal Firewall Around Gödel

Standard
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.

Related Essays

Ancient Modal Firewalls

Aquinas and the Modal Firewall

Middle Knowledge: Anatomy of a Modal Firewall

Standard
Schrodinger's Dachshund

Why Explanation Always Wins: Necessity as the Shadow of Reason

There is a recurring mistake in metaphysics: treating explanation as one theoretical option among others, rather than as a pressure that any theory must answer to. Views are compared, virtues tallied, intuitions balanced. But explanation is not a preference. It is a constraint. And over time, it always asserts itself.

This is why explanation “wins.” Not because it settles every dispute, but because anything that refuses to answer to it gradually loses its grip on intelligibility.

From the beginning, philosophy has been animated by a simple demand: Why this rather than that? Once that question is taken seriously, it does not stay politely confined. It propagates. Each explanation invites another. Each stopping point calls attention to itself. And every attempt to halt the process leaves a residue that demands justification.

That residue is where contingency lives.

Contingency as unfinished business

Contingency is often presented as the natural state of affairs. The world could have been otherwise; some things just happen to be the way they are. Necessity, by contrast, is treated as an imposition: something that needs special argument, theological backing, or modal machinery.

This picture reverses the actual dialectic.

Contingency is not what remains when explanation is complete. It is what remains when explanation is interrupted. To say that something could have been otherwise is not to explain why it is as it is. It is to gesture at an absence of explanation and treat that absence as a feature of reality rather than as a task left undone.

This is why contingency so often travels with words like brute, primitive, or basic. These are not explanations. They are labels we attach to places where explanation has been asked to stop.

The persistence of explanatory pressure

The pressure to explain does not disappear when it is resisted. It goes underground.

When metaphysical systems install stopping points—whether in the form of brute facts, domain restrictions, grounding termini, or weakened modal principles—they do not dissolve the explanatory demand. They defer it. The question “why this rather than that?” is not answered; it is declared inadmissible.

Declaring a question inadmissible is not the same as making it irrelevant.

This is why philosophical debates keep returning to the same fault lines. Why these laws? Why this structure? Why this fundamental base rather than another? Each time, the temptation is to say: because that is where explanation ends. And each time, the reply is the same: why there?

Explanation keeps pushing. Not because philosophers are obstinate, but because intelligibility is unstable. Once it is introduced, it spreads.

Firewalls and their fate

Modal firewalls are the devices by which this spread is managed. They are not mistakes. They are coping strategies.

Ancient metaphysics built firewalls out of levels, substances, and emanations. Modern metaphysics builds them out of methods, domains, and formal distinctions. In both cases, the goal is the same: to preserve intelligibility without allowing it to collapse into necessity.

The reason these devices proliferate is not that explanation is weak, but that it is strong. If explanation were harmless, it would not need to be disciplined. Firewalls are installed precisely because explanation threatens to do too much.

And yet, firewalls are always temporary. They require constant maintenance. They generate boundary disputes. They invite exceptions, refinements, and ever more careful statements of scope. Over time, the structure becomes baroque—not because philosophers enjoy complexity, but because the pressure they are resisting does not go away.

Explanation keeps finding ways around the barriers.

Why necessity keeps returning

This is why necessity has such a stubborn afterlife in metaphysics. It is not smuggled in by theologians or rationalists. It reappears whenever explanation is allowed to run without restraint.

If something is fully explained—if nothing about it is left hanging—then no intelligible reason remains for it to be otherwise. Necessity is not added at the end; it is what explanation leaves behind when it finishes.

This does not mean that necessity is obvious or comforting. On the contrary, it is often unsettling. It threatens freedom, variety, and the sense that things might have gone differently. That threat is real. But it is not a refutation. It is a consequence.

And consequences do not disappear because we dislike them.

The real choice

Once this is clear, the landscape shifts.

The fundamental choice in metaphysics is not between necessity and contingency. It is between two attitudes toward explanation:

  • Allow it to finish, and accept where it leads.
  • Stop it deliberately, and explain why stopping there is justified.

The first path leads, again and again, toward necessity. The second leads to firewalls, pluralisms, and a carefully managed ignorance.

They are not on equal footing.

Explanation does not need permission to continue. It needs a reason to stop.

Until such reasons are given—rather than assumed—necessity will continue to reassert itself, not as a dogma, but as the shadow cast by intelligibility taken seriously.

Explanation always wins because it never gives up. It can be delayed, redirected, or constrained, but not neutralized. Every attempt to contain it testifies to its force. And every generation that rediscovers that force finds itself facing the same uncomfortable realization:

If explanation is allowed to finish its work, contingency does not survive.

That is not a failure of metaphysics.

It is its oldest result.

Ancient Modal Firewalls

Aquinas and the Modal Firewall

The Modal Firewall Around Gödel

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.

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.

The Garden Without Forking Paths

Standard
Schrodinger's Dachshund

Shaftori and the MOAN

A Modal Ontological Argument for Necessitarianism and its Mystical Origin

Late last year Petronius Jablonski experienced Shaftori: Enlightenment from the 45 RPM of Isaac Hayes’ “Shaft” played at 33 RPM. Like Parmenides’ descent to the halls of Night, his journey was part metaphysical reasoning and part mystical initiation. The stone-cold groove reduced him to a nanoscopic seahorse adrift in a measureless mega-fractal, absurd and sacred, tiny beyond reckoning yet somehow required, a necessary syllable in an infinite and pitiless scripture.

He returned with original and definitive proof of Necessitarianism: the thesis that whatever is true couldn’t have been otherwise, that nothing about reality could have been different in any way whatsoever. The result vindicates Necessitarianism and proves that he, like Parmenides, has been behind the veil.

In the structure of the Mandelbrot set there’s a region where the filaments branch into forms that look distinctly like little seahorses. Mathematicians call it the Seahorse Valley. Zoom-ins show repeating spirals whose shapes resemble the curled tails and bodies of seahorses.

Note well: this is not the work of some brilliant mathematician lovingly designing seahorses. This is a necessary feature of the Mandelbrot set with no contingency or design at all. Why does it exist? It couldn’t not exist and there’s an end of it.

Jablonski’s epiphany is that all reality is like this. And he can prove it.

Standard
Schrodinger's Dachshund

Beyond the Metaphysical Middlemen

A Rationalist Case for Absolute Monism

From Plotinus to classical theism to Spinoza, philosophers have posited a supreme metaphysical entity—the One, God, or Substance—to ground reality and explain existence. This post argues that the very distinctions these systems depend upon collapse under sustained rationalist scrutiny. By applying the Principle of Sufficient Reason (PSR) rigorously, I demonstrate that all three major frameworks—Plotinian emanation, Spinozistic necessitarianism, and Thomistic theism—contain fatal explanatory gaps. The only position that survives this collapse is monism: reality is necessary and one, without intermediary beings, divine personhood, metaphysical hierarchy or modal hooey. What remains is not God, but simply what is.

I. Mapping the Metaphysical Landscape

Before dismantling these systems, we must understand their architecture. Consider three major positions on a spectrum of explanatory density:

Plotinus’ One — beyond being, beyond intellect, overflowing without self-determination.

Classical Theistic God — metaphysically non-composite, timeless, immutable, impassable, and freely creating.

Spinoza’s God — absolutely infinite substance determined solely by its own essence; nature is necessity.

The tensions lie in how each answers (or refuses to answer) the rationalist’s question: ‘In virtue of what?’

1.1 Ontological Status: Being, Beyond-Being, or the Only Being

Plotinus’ One — literally not a being, not even an entity. Radically simple: no internal structure, no attributes, no parts, no thought. All positive description is metaphor; the One is what the intellect sees when it stops trying to articulate. The One is uncaused, not by necessity but by transcendence.

Classical Theistic God — a supreme being, perfect, personal, omniscient, omnipotent. God has attributes (even if simple in scholastic metaphysics). God wills, knows, loves, judges; creation is a free act. God is both intellect and will.

Spinoza’s God — being itself, the one infinite substance with infinite attributes. Not a person; not a transcendent source; not outside the world. Nature equals God equals the necessary structure of reality. All distinction collapses into modes of the one substance.

Comparative snapshot: Plotinus offers the beyond; classical theism offers a supreme being; Spinoza offers the only being.

1.2 Causation: Emanation, Volition, or Necessity

Plotinus — causation is emanation: the One overflows into Intellect, which overflows into Soul. The One cannot do otherwise, but not because of inner necessity; more like metaphysical pressure.

Classical Theism — causation is free creation ex nihilo. God might have chosen otherwise; creation is not necessary.

Spinoza — causation is strict necessity: from the necessity of the divine nature infinite things follow. No choice, no contingency.

Thus we have: Plotinus offering spillage, theism offering choice, and Spinoza offering necessitation.

1.3 Intelligibility Under PSR Pressure

Here the Parmenidean lens does its devastating work.

Plotinus — The One is beyond intelligibility. You cannot say why the One emanates; you cannot even say why it is what it is. This violates the strong PSR: the One is precisely the sort of brute posit the rationalist cannot allow.

Classical Theism — God freely chooses creation, freely wills certain goods, freely permits evil. Each free decision creates pockets of brute contingency. The rationalist asks: In virtue of what does God choose this world rather than another? No answer preserves classical divine freedom without violating PSR. Result: classical theism stands on voluntarist bruteness.

Spinoza — Spinoza preserves the PSR absolutely. No brute facts, no free divine choices, no transcendent will. God is the necessity of being itself. Result: maximal intelligibility.

Summary: Plotinus fails rationalist intelligibility (beyond being and explanation); theism fails it (arbitrary divine free will); Spinoza appears to satisfy it (necessity all the way down).

But does Spinoza survive deeper scrutiny? (“Proofs of God’s Existence? Paging Spinoza! And why not even he can help you.”)

II. The Positive Case: Why Bare Monism Surpasses All Middle-Beings

Now we proceed to the core argument. Why add a special metaphysical entity—Plotinus’ One, Spinoza’s God, or classical theism’s Pure Act—when you can have the explanatory power without the metaphysical inflation? This section presents eight independent arguments for bare monism over any divine intermediary.

2.1 The PSR Eliminates All Distinctions—Including God

The most devastating argument comes from applying the PSR consistently. If every distinction requires an explanation, then the distinction between God and world, between God’s essence and activity, between modes and substance, between the One and its emanations, between Pure Act and creation—each needs justification. But any justification introduces more distinctions, requiring further justification. This is Bradley’s regress applied to theology.

The only stable resting point is no distinctions at all. That means no God/world distinction, no intellect/extension distinction, no essence/existence distinction, no emanation hierarchy. Once all distinctions collapse, what is left? Just Being as such, full stop.

Plotinus tries to resolve the regress by pushing the One beyond being, making it uninterpretable. Spinoza tries to resolve it by allowing infinite attributes. Classical theism tries with negative theology and divine simplicity. All fail because distinction itself is the problem. The PSR favors pure monism over any conception of God.

2.2 Explanatory Economy: Any God Adds Mystery Rather Than Removing It

Plotinus adds a One that we cannot describe but which somehow emanates Nous and Soul. Spinoza adds a God with infinite attributes, only two of which humans know. Classical theism adds a pure act that is totally simple yet somehow contains intellect, will, and the ground of all modal truths. All three introduce highly specific, explanatory-heavy, ontologically ambitious entities.

But none of these entities explains anything that bare monism does not already explain. If the question is ‘Why is there something rather than nothing?’, the honest answer is: Because there cannot be nothing. The existence of being requires no explanation; nonbeing does. To add a God is to duplicate necessity: necessary being (God) plus the necessary existence of that being. Whereas pure monism says: Being is necessary; nothing else exists to explain. No additional entity is needed.

2.3 The Problem of Explanatory Elites

Every divine monism contains the same hidden assumption: there must be one special kind of thing that grounds everything else. But introducing a special category, a metaphysical elite, is inherently unstable under the PSR. Why should the One have the power to cause Nous? Why should Spinoza’s Substance have infinite attributes rather than one? Why should pure actuality have the will to create anything? Each of these attributes is unshared, primitive, unexplained. They violate the very explanatory scruples they seek to defend.

Pure monism says: there is no metaphysical aristocracy, no special status, no elite being. Just what is, without hierarchy. This is the most stable position from an anti-arbitrariness standpoint.

2.4 The Metaphysical Middleman Is Illusion

Consider each supposed function of God:

Unity/Explanation: Does God unify things? No more than monism itself does.

Necessity: Is God supposed to be the necessary ground? But necessity does not require a bearer. It simply means: cannot be otherwise.

Causation: Is God needed as cause? In a monistic system, cause is just the structure of being itself.

Order/Rationality: Is God needed as architect? No more than geometry needs a designer.

Value/Goodness: Plotinus and Aquinas load the Absolute with normative weight. But monism says: value is a projection; being is neutral.

What God is supposed to do, monism does.

2.5 God Is Just a Hypostatization of Necessity

At bottom: Plotinus’ One equals unity, Spinoza’s God equals necessity, classical theism’s God equals pure actuality. All three equal the necessary structure of reality. But then why anthropomorphize necessity? Why personify unity? Why not say directly: Reality is necessarily one. Period.

Everything else is mythologizing necessity. God is the reification of an abstraction. Necessity itself does not need to be pinned on an entity.

2.6 Why Philosophers Keep Inventing the Middle-Being

Why do even rigorous rationalists insert a metaphysical middle-being when their systems do not need it? Several explanations present themselves:

Fear of Metaphysical Nakedness: Bare monism is austere and offers no comfort: no higher being, no metaphysical parent, no intelligence behind order, no source of meaning, no providence. Even rationalists hesitate to say: Reality just is. It explains itself. There is nothing above it or below.

Cognitive Bias for Hierarchy: Human cognition loves levels, order, higher and lower beings, top-down explanations. Bare monism abolishes hierarchy. That feels unintuitive, even threatening. So philosophers construct the One to Nous to Soul, Substance to Attributes to Modes, God to Angels to Creatures. These are comfort structures, not necessities of reason.

The Desire for a Terminus That Is Like Us: Plotinus’ One is beyond mind but still good. Spinoza’s God thinks. Classical theism’s God thinks, wills, loves. These are projections of human categories upward, because we subconsciously want the universe to be conscious, order to be intentional, existence to be meaningful. Bare monism refuses this anthropocentric impulse.

The Rhetorical Power of the Divine Label: Calling the Absolute ‘God’ buys cultural legitimacy, emotional resonance, philosophical gravitas. But the label is linguistic camouflage disguising the fact that the work is done by necessity, not by a divine agent.

2.7 Bare Monism Avoids All Classical Problems

There is no need to solve divine simplicity paradoxes, divine freedom paradoxes, the emanation hierarchy, the problem of evil, the will/knowledge/intellect compatibility problems, modal collapse objections, contingency versus necessity, or the relation between attributes and substance. Bare monism eliminates all of them. Why? Because it eliminates the middle-being. There is no metaphysical manager. Just reality.

2.8 Conclusion of the Positive Case

If you accept the PSR, anti-arbitrariness, rejection of brute facts, intelligibility, and necessity, then the simplest and least metaphysically baroque view is this: There is one necessary reality. It has no distinctions. It is not a being—it is Being. It is not God—it is what there is.

Plotinus, Spinoza, and classical theism all carry unnecessary metaphysical baggage: divine names, hypostatic structures, privileged entities. The cleanest version is the one that survives the Parmenidean ascent: Reality is necessary and one. There is nothing else to explain. Adding God is metaphysical ornamentation.

III. The Formal Reductio: Why God Is Incoherent Under the PSR

This section presents a formal proof showing that the very concept of God is incompatible with the PSR. This reductio is neutral between classical theism’s God, Spinoza’s God, and Plotinus’ One. It refutes all of them.

3.1 Definitions and Setup

Let PSR be the principle that every fact F has a complete explanation. Let D be the divine being (One, God, or Substance). Let W be the world (finite beings, modes, emanations, etc.). Let Dist(X, Y) mean X is really distinct from Y (not identical).

Assume that D exists and is distinct from W, as all three systems claim in some form: Plotinus through absolute transcendence, Spinoza through the substance/mode distinction, and classical theism through the creator/creation distinction.

3.2 The Reductio Argument

Premise 1: If Dist(D, W), then the distinction must have an explanation (by PSR).

Premise 2: The explanation of Dist(D, W) must be either internal to D or external to D. There are no other options.

Case A: Explanation Is Internal to D

Suppose the distinction arises from D’s internal nature. Then D’s internal nature includes differentiation: some aspect A explains why D is not equal to W. But if D has internal differentiation, then D is composite. If D is composite, D is not simple. If D is not simple, D is not the One, not Pure Act, not Substance. Contradiction.

Thus D cannot internally explain its distinction from W. (For Plotinus, the One cannot contain distinctions; for Spinoza, substance has no internal differentiation; for classical theism, God has no internal composition.)

Case B: Explanation Is External to D

Suppose the distinction between D and W is explained by something outside D. Then some entity E, distinct from D, explains Dist(D, W). But then D is not the ultimate explanation. Therefore D is not divine (not the One, not Pure Act, not the fundament of being). Contradiction.

Thus D cannot externally explain the distinction either.

3.3 The Devastating Conclusion

The distinction between D and W cannot be explained internally (violates simplicity) or externally (violates ultimacy). Therefore Dist(D, W) violates PSR and is impossible.

Thus: Either D equals W (Spinoza’s immanent collapse), or both D and W collapse into something more basic (Parmenidean monism), or there is no D distinct from W (bare monism/bare necessity).

But if D equals W, then the term ‘God’ does no metaphysical work. It adds no distinctions (forbidden under Case A). It adds no explanatory power (forbidden under Case B). It introduces misleading conceptual baggage.

Therefore: The concept ‘God’ is explanatorily redundant and PSR-incoherent. The only consistent position is bare monism/bare necessity.

What Remains After the Collapse

We have traced the rationalist’s path through three major metaphysical systems. Plotinus offers the One beyond being, but this transcendence purchases explanatory power at the cost of intelligibility—the One becomes a brute posit, violating the very demand for reasons it was meant to satisfy. Classical theism offers a personal God whose free will creates the world, but this freedom introduces arbitrary divine choices that cannot be explained without destroying the freedom itself. Spinoza comes closest to rationalist purity by eliminating divine will and embracing necessity, yet even Spinoza’s distinction between substance and modes, between infinite attributes and their expressions, cannot withstand sustained PSR scrutiny.

The formal reductio demonstrates this with precision: any distinct divine being, whether transcendent or immanent, whether personal or structural, cannot explain its distinction from the world without either becoming composite (losing simplicity) or depending on something external (losing ultimacy). Either horn of the dilemma proves fatal.

What survives this collapse? Not a divine being, not a One, not even Spinoza’s God. What survives is simply this: Reality is necessary. Reality is one. There is nothing else to explain because nothing else exists to do the explaining. Necessity requires no bearer, unity needs no unifier, being demands no ground beyond itself.

This is bare monism—monism without magic, necessity without necessitator, unity without metaphysical manager. It is the position that all rationalist systems approach but fail to reach, held back by residual anthropomorphism, theological inheritance, or the simple human desire to find consciousness at the foundation of things.

The concept of God, in all its philosophical forms, turns out to be an elaborate way of saying: things are as they must be. Once we recognize this, we can dispense with the intermediary and state the truth directly. There is what is. That is all. That is enough.

Bibliography

Aquinas, Thomas. Summa Theologiae. Translated by Fathers of the English Dominican Province. Benziger Bros., 1947.

Bradley, F. H. Appearance and Reality: A Metaphysical Essay. 2nd ed. Oxford University Press, 1897.

Curley, Edwin, and Gregory Walski. “Spinoza’s Necessitarianism Reconsidered.” In New Essays on the Rationalists, edited by Rocco J. Gennaro and Charles Huenemann, 241–262. Oxford University Press, 1999.

Della Rocca, Michael. The Parmenidean Ascent. Oxford University Press, 2020.

— “PSR.” Philosophers’ Imprint 10, no. 7 (2010): 1–13.

—”Rationalism Run Amok: Representation and the Reality of Emotions in Spinoza.” In Interpreting Spinoza: Critical Essays, edited by Charlie Huenemann, 26–52. Cambridge University Press, 2008.

Feser, Edward. Five Proofs of the Existence of God. Ignatius Press, 2017.

— Scholastic Metaphysics: A Contemporary Introduction. Editiones Scholasticae, 2014.

Gerson, Lloyd P. Plotinus. Routledge, 1994.

Jablonski, Petronius. “Proofs of God’s Existence? Paging Spinoza!“

Kretzmann, Norman, and Eleonore Stump, eds. The Cambridge Companion to Aquinas. Cambridge University Press, 1993.

Leibniz, G. W. Philosophical Essays. Translated and edited by Roger Ariew and Daniel Garber. Hackett Publishing, 1989.

Melamed, Yitzhak Y. “Spinoza’s Metaphysics of Substance: The Substance-Mode Relation as a Relation of Inherence and Predication.” Philosophy and Phenomenological Research 78, no. 1 (2009): 17–82.

Parmenides. “On Nature.” In The Presocratic Philosophers, edited by G. S. Kirk, J. E. Raven, and M. Schofield, 239–262. 2nd ed. Cambridge University Press, 1983.

Plotinus. The Enneads. Translated by Stephen MacKenna, abridged with introduction and notes by John Dillon. Penguin Books, 1991.

Pruss, Alexander R. The Principle of Sufficient Reason: A Reassessment. Cambridge University Press, 2006.

Schaffer, Jonathan. “Monism: The Priority of the Whole.” Philosophical Review 119, no. 1 (2010): 31–76.

Spinoza, Baruch. Ethics. Translated by Edwin Curley. In The Collected Works of Spinoza, vol. 1, edited by Edwin Curley. Princeton University Press, 1985.

— Theological-Political Treatise. Translated by Jonathan Israel and Michael Silverthorne. Cambridge University Press, 2007.

Stump, Eleonore. Aquinas. Routledge, 2003.

Standard
Schrodinger's Dachshund

The Modal Self-Vindication of Necessitarianism

Is Necessitarianism true in some possible worlds, but false in others?

This Substack post presents a novel transcendental argument for necessitarianism—the thesis that all truths are necessary truths. The argument proceeds by demonstrating that any coherent modal evaluation of necessitarianism’s own modal status generates a dialectical structure that vindicates necessitarianism itself. Specifically, I show that the standard possible-worlds framework for evaluating modal claims becomes incoherent or self-undermining when applied to necessitarianism, and that this incoherence provides evidence that the framework itself, rather than necessitarianism, is fundamentally mistaken. If successful, this argument suggests that necessitarianism may be the only metaphysically stable position regarding modality.

The Modal Ontological Argument for Necessitarianism (MOAN)

Standard