The objective/subjective debate is fought on a single axis that doesn’t exist. There are two axes, not one. Morality is mind-dependent AND constrained — a combination the traditional vocabulary has no word for.
Links: The Four Trunks, Morality, Relational Objectivity, Stance-Independence Retreat, Scope Confusion, Is-Ought and Performative Grounding, The Constitutive Middle — Two Dialectics, Open Problems, Noerr vs Terry X, Logic and Mathematics, The Regress Problem, Constructed ≠ Arbitrary
Trunk: This page states Trunk 1 — Normative Ontology of the vault’s philosophy. The working name for the trunk’s position is constitutive realism.
Every debate about moral objectivity runs into the same impasse:
These are two separate questions collapsed into one word. The collapse creates a false dichotomy where morality must be either:
The debate is stuck because the vocabulary is broken, not because the question is unanswerable.
Axis 1: Does it require minds?
Axis 2: Is it constitutive or elective?
| Constitutive | Elective | |
|---|---|---|
| Mind-independent | Mass, chemistry, gravitational relationships | (empty — if it’s mind-independent and structural, it’s just physics) |
| Mind-dependent | Morality, nutrition, danger | Ice cream preference, fashion, aesthetic taste |
The missing cell — mind-dependent but constitutive — is where morality lives. The traditional vocabulary has no word for it because “objective” was already taken by the top row and “subjective” was taken by the bottom-right.
Constitutive describes a structural relationship, not an outcome. Something is constitutive of X if X can’t exist or function without it. This is a testable, debatable claim that doesn’t pre-load the answer:
The term is neutral on the source of the constitutive relationship. It names the structural claim without asserting the mechanism.
Elective immediately communicates: optional, a matter of choice, no structural necessity. “Is your preference for jazz constitutive of who you are, or elective?” Obviously elective — you’d still be you with different musical taste. “Is the harmfulness of betrayal constitutive of social agency, or elective?” That’s the real debate.
Instead of asking “Is morality objective or subjective?” — a question that can’t be answered because the terms are broken — ask two separate questions:
Yes. This is not a concession. It’s a structural fact:
Morality is about action. Action requires minds. Morality is mind-dependent. Full stop.
This is what both debaters in the Noerr vs Terry X debate couldn’t see: accepting “objective = mind-independent” makes morality impossible by definition, because you’ve defined your terms so that norms about minded behavior can’t qualify.
This is the real debate. And it’s productive because the terminology doesn’t pre-answer it.
The constitutive case (the vault’s position):
The elective case (the opposition):
Both sides can use the constitutive/elective vocabulary without begging the question. The debate becomes substantive rather than definitional.
The vault’s Open Problems flagged the objective/subjective paradox:
Path A: Morality requires agency → agency requires minds → morality is subjective Path B: Morality requires agency → given agency it’s stance-independent → morality is objective Both use valid reasoning from the same premises.
Resolution: The paradox dissolves because “objective” and “subjective” are each doing double duty. Split them:
The open problem noted: “the dichotomy itself may be malformed when applied to agent-dependent domains.” Correct — it IS malformed, and the constitutive/elective distinction is the repair.
The classical moral argument:
What the constitutive/elective reframe does to this:
Step 2 is the error. “Objective” conflates two axes. Replace it:
The argument doesn’t disprove God. It downgrades the moral argument from a proof to a hypothesis — one explanation among at least two for why morality is constitutive of agency.
Once you’ve split the axes, there’s a sharp test that finishes the mind-independence version of moral realism: does the claim quantify over a coherent domain?
Consider: “stealing is wrong, as a mind-independent fact.”
Strip the minds out of the world. No stealers, no property owners, no acts of stealing. What does “stealing is wrong” refer to? Nothing. It’s vacuously true in the same way “dragons should rule the 7 kingdoms” is vacuously true — a claim about a state that doesn’t exist, with nothing to make it right or wrong.
If the foundationalist wants to keep the mind-independence version, they need to either show that the claim picks out something real in a mindless world, or they need to retreat. There are three retreat moves, and all three collapse back onto your framework:
Fair move — but this concedes the ontology axis. The claim is no longer mind-independent; it’s dependent on one specific necessary mind. The foundationalist has agreed with you that morality requires minds and narrowed the claim to a particular divine mind. That’s a theological position about the source of the constitutive relationship, not a defense of mind-independent moral facts. They lose the realism-as-posed debate while possibly winning a different one.
This is the dragons move exactly. Postulate a fact about an abstract domain with no bridge to the concrete one. Then Euthyphro hits: if the form makes stealing wrong, then the form grounds morality, not God — God is just a very good form-reader. If God makes the form wrong-flavored, then the form doesn’t ground anything, God does, and we’re back in Move 1.
The dispositional / conditional move. It’s true — but it’s exactly the constitutive claim. Given the existence of agents and property, the norm follows from the structure of agent-interaction. That’s not mind-independence realism; that’s constitutive realism. The foundationalist has walked into your framework without noticing.
The constitutive claim does: “for any world containing agents with property and capacity for action, the norm against stealing is generated by the structure of agent-interaction.”
This isn’t a claim about an impossible state — it’s a claim about what necessarily follows once the conditions hold. Same logical structure as “in any system with Peano arithmetic, 2+2=4.” The arithmetic fact isn’t floating in Platonic ether; it’s entailed by the axioms. The moral fact isn’t floating either; it’s entailed by the structure of agency.
The foundationalist’s actual live position, stripped of the mind-independence claim that fails the vacuity test, is not about realism at all. It’s about whether agency was designed to have this structure or emerged with it. That’s a much more interesting question — and it’s empirically inert from inside the structure (you can’t tell designed from emergent by examining the product).
Which means the traditional realism debate has been a 2,400-year detour. Once you kill mind-independence with the vacuity test, the only live question is the source of the constitutive relationship: performative grounding, game-theoretic selection, or divine design. All three operate on mind-dependent constitutive facts. The debate has been asking the wrong question.
The logic series already holds: “The patterns they describe are real. The formalisms themselves are constructions.”
Same structure. Logic is mind-dependent (formal systems require minds to construct and use) but constitutive (you can’t reason without presupposing logical norms). Nobody calls logic “subjective” — but by the strict “objective = mind-independent” definition, it would be. The constitutive/elective distinction explains why this feels wrong: logic is mind-dependent but constitutive, so calling it subjective conflates the axes.
The scope model maps cleanly onto the constitutive/elective gradient:
| Scope | Constitutive or elective? | Example |
|---|---|---|
| Core norms | Strongly constitutive — no functioning agent-society can violate these | Don’t murder, don’t steal |
| Medium norms | Constitutive but with more variation in implementation | Nurture children, honor agreements |
| Marginal norms | Gradient toward elective | Dietary rules, sexual norms, aesthetic standards |
| Preferences | Fully elective | Ice cream, music, fashion |
The constitutive/elective axis IS the scope gradient, just named. The scope model was already tracking this — the new terminology makes it explicit.
Constructed ≠ Arbitrary runs this page’s argument over non-normative constructions — masculinity, currency, marriage, borders, language. Same structure: mind-dependent, but constrained by the problem the construction was built to solve, therefore evaluable, therefore capable of being wrong. It exists because the “objective/subjective” collapse this page diagnoses has an exact twin outside morality — “it’s just a social construct” treats mind-dependent as automatically elective, which is the bottom-right cell swallowing the bottom-left one.
It also contributes a diagnostic this page lacks. Convergence and collapse are the two tests offered here for constitutiveness; collapse is terminal and retrospective (you learn the norm was load-bearing by watching the building fall). Functional failure — the construction no longer serving the purpose it was built for — is the continuous, present-tense version of the same signal, and yields an operational definition of crisis. First specimen: Is Masculinity in Crisis?.
The four-category ontology provides the metaphysical infrastructure. The constitutive/elective distinction provides the vocabulary for communicating it: