← The library
Technical corpus, written for specialists. For the plain-language version of these ideas, start with the framework.
Core theory

The Primary Axiom

Working draft This public copy has not yet had its final author pass; wording may still move.

The One Thing the Framework Asks You to Grant

A core document. Developed in conversation, June 2, 2026.


The axiom, plainly

If something matters to someone, that mattering is real and deserves to be taken seriously.

That single sentence is the foundation the rest of the framework stands on. It is the canonical statement of the axiom; the phrase consciousness is good, which appears elsewhere in the corpus (including the logical spine), is its slogan form, a compression of this sentence rather than a second axiom. Stake-geometry, the tiers, the catalogue of goods, the treatment of animals and artificial minds and political order — all of it is the working-out of consequences from this one line. The line itself is never proven inside the framework, and, as this document will show, it cannot be. It is assumed. What follows explains what the sentence says, why it has to be assumed rather than proven, how older philosophies tried to avoid assuming anything like it, and why assuming exactly this — rather than something grander — is the framework's central piece of progress.


What an axiom is

An axiom is a starting point you assume rather than prove — a foundation stone you build everything else on.

Every system needs at least one, for a simple reason: you cannot prove everything. Any proof leans on something earlier; that earlier thing leans on something earlier still. If the chain ran backward forever you could never begin. So at some point you reach a claim you do not derive from anything beneath it — you simply plant your feet on it and build. In geometry, "a straight line can be drawn between any two points" is not proven; Euclid begins there, and the whole subject grows out of a handful of such starting points. That is what an axiom is: not a conclusion you arrive at, but the ground you stand on to reach conclusions.

The framework's axiom is the sentence above. It is the one thing asked of the reader at the outset. If you grant it, everything else can be argued. If you refuse it, nothing in the framework can compel you — though, as the last section shows, refusing it turns out to cost more than it first appears.


The gap the axiom crosses

To see why this particular sentence must be an axiom and not a theorem, separate two kinds of claim.

A descriptive claim says how things are. The stove is hot. She is in pain. This matters to him. You check it by looking at the world.

A normative claim says how things should be, or what there is reason to do. Don't touch the stove. Her pain deserves attention. Take this seriously. You cannot settle it just by looking; it makes a demand rather than reporting a fact.

The oldest result in this corner of philosophy — Hume's — is that you cannot squeeze a normative conclusion out of purely descriptive premises. No pile of is statements, however tall, entails a single ought. Somewhere in any argument that reaches an ought, an ought (or something already normatively loaded) must have been present in the premises. This is the is/ought gap.

Now look at the axiom under this lens. It has two halves that behave very differently:

A clean test confirms the second half is normative: imagine someone who accepts every fact and still disagrees. "Granted — the mattering is completely real. So what? It deserves nothing." That person has not denied a fact. They accepted "it's real" and rejected "it deserves." Because the two come apart, the "deserves" must be adding something over and above the facts. That added something is the normativity — and, by the is/ought gap, it cannot have been derived from the descriptive half. It had to be put in at the bottom.

This is the whole reason the sentence is an axiom. Its one ought cannot be manufactured from facts about the world. It can only be assumed.

A tempting escape is to make the link true by definition — to say that "matters" simply means "deserves to be taken seriously," so that denying the axiom is a contradiction in terms, like "married bachelor." The escape fails, and instructively. Either "matters" stays descriptive (felt as significant), in which case "what matters deserves nothing" is not a contradiction but a real, deniable position — the nihilist's — and the axiom is doing genuine, contestable work; or "matters" is defined to include "deserves," in which case denial is contradictory, but only trivially, and the question merely relocates to "is anything ever an instance of your loaded sense of mattering?" Defining a word cannot make the world contain something. (Define "ghost" as "a real spirit that exists" and you have summoned no ghosts; you have only guaranteed that if anything is a ghost, it exists.) So the gap survives the definitional maneuver. It always reappears one inch over.


Saying it in the framework's own terms

In the framework's vocabulary, the axiom is the hinge between two things the project keeps carefully apart: the descriptive science of stake-geometry and the normative claims built on top of it.

Stake-geometry describes, without any ought, the structure of how a system is embedded in reality such that the world's states matter for it. A stake is a condition under which the difference between two possible states of the world is, for some system, not merely a difference but a mattering. The framework distinguishes functional stakes (a thermostat "cares" about temperature mechanically) from felt stakes (the world's going one way rather than another is registered from the inside as significant). An aperture is a conscious perspective — a locus where felt stakes occur. All of this is, in principle, descriptive: one could catalogue apertures and their stake-geometries the way one catalogues anything in nature.

The axiom is the single normative premise that lets this descriptive science generate oughts. Stated in framework terms:

Felt stakes ground reasons. That something is felt as mattering to an aperture is the kind of fact that gives reason to honor it.

This is what the framework means when it says value enters the universe through consciousness. Saying "the rock is bad" smuggles in a stake-bearer the rock is bad for; the badness is not in the rock. Saying "the suffering is bad" imports nothing — the badness is constitutive of the suffering itself. Felt stakes are the only locus where good and bad are intrinsic to the phenomenon rather than imposed from outside by an evaluator. That observation is the descriptive ground; the axiom is the normative spark that turns "is a locus of intrinsic good-and-bad" into "deserves to be taken seriously."

The axiom lives, in the framework's layered picture, at Tier 0 — the level of raw, private mattering, where value originates before any network shares it. Everything outward of Tier 0 (the negotiated agreements of Tier 1, the structurally anchored principles of Tier 2) is downstream. None of it gets off the ground without the Tier 0 spark the axiom supplies.

It is worth naming precisely what the axiom is not. It is not the claim that consciousness is metaphysically special, or that experience is pleasant, or that more mattering is better. It is only the claim that felt mattering is reason-giving. The framework's documented limitation, the Axiom Problem, is exactly this: the transcendental argument still rests on one premise — that valenced experience is the relevant kind of mattering — which someone could reject in favor of divine command, rational consistency, or something else, and which the framework cannot refute from outside its own system.


How other philosophies tried to close the gap

Every ethical theory must answer where value comes from and how an ought is ever more than a disguised is. The choice of answer is the theory's grounding. What follows are the main strategies, sorted by how each tries to deal with the is/ought gap, and what each pays for the attempt. (The framework's companion Grounding Landscape develops this map in full; this is the compressed version, read through the single question of the gap.)

Build the ought into the source — by divine fiat. Divine command (in one form, Aquinas; in a voluntarist form, others) grounds value in the will of God: what God commands is good because God commands it. This crosses the gap by putting normativity into the foundation directly — the source is already an authority. The price is steep. The ground sits outside the natural order, so it is never exhibited, only asserted; and the Euthyphro dilemma bites — either the good is good independently of the command (in which case God is not the ground) or it is good merely because commanded (in which case "good" is arbitrary).

Put the ought into the fabric of reality — as brute non-natural fact. Non-natural moral realism and Platonism (Plato's Form of the Good, Moore's non-natural property good, Parfit's stance-independent normative truths) hold that there are objective normative facts not reducible to natural facts and not dependent on any mind. This crosses the gap by denying it is a gap: oughts are simply among the basic furniture of reality, as fundamental as logic. The price is queerness — what kind of thing is a mind-independent ought, and by what faculty could a physical creature ever detect one? The view buys closure at the cost of populating the world with entities no one can point to.

Derive the ought from the structure of reason itself. Rational agency theories (Kant's categorical imperative; Korsgaard's constitutivism, on which valuing is built into reflective agency) try to show that obligation falls out of what it is to be a rational agent — so that the gap is crossed not by adding a normative fact but by examining the will. This is the most rigorous attempt. Its characteristic price is a dilemma: either the "rational agent" is an idealization that real, embodied creatures only approximate (in which case the conclusions may not bind us), or the account, pressed on why a rational agent's commitments matter, quietly reaches for the same thing the framework reaches for — that it matters to someone — and collapses back into a consciousness grounding.

Read the ought off a thing's nature — its proper function. Natural teleology (Aristotle, Aquinas, modern neo-Aristotelians such as Foot) grounds value in the flourishing proper to a kind of being — what a thing is for. This crosses the gap by treating facts about a nature as already normatively loaded: the good oak is the one that develops as an oak should. The price is that the teleology evolution actually underwrites is thin and local; "what a thing is for" in the rich, value-bearing sense is not something natural selection provides. (The framework records the teleology temptation as a live hazard in its own language of "integrity" and "proper function," and treats it as a trap to be avoided rather than a ground to be used.)

Make the ought a product of agreement. Contractualism (Hobbes, Rawls, Scanlon) grounds morality in what agents would agree to under the right conditions. This does not claim to close the is/ought gap by deduction; it is frankly procedural — normativity comes from the structure of mutual justification rather than from a fact discovered in advance. Its price is the inclusion problem: who counts as a participant? Agreement cannot, by itself, say why the stakes of those who cannot bargain — infants, animals, future people — should weigh at all.

Make the ought an evolved feeling. Sentimentalism (Hume in one key; Street in a debunking key) grounds morality in moral feeling and the affective responses culture and evolution shaped. Like consciousness-grounding, it is naturalistic and does not pretend to leap the gap by logic. Its characteristic price is the debunking worry: if moral feelings track reproductive fitness rather than any independent truth, then grounding ethics in them grounds it in something with no claim to be getting anything right.

Deny there is anything to ground. Error theory (Mackie) holds all moral claims are systematically false; expressivism (Blackburn, Gibbard) holds they express attitudes rather than state facts. These do not cross the gap; they declare it unbridgeable and give up moral knowledge — keeping consistency at the cost of the very thing ethics was supposed to deliver.

The pattern is the point. The strategies that claim to close the gap (divine command, non-natural realism, the strong reading of rational agency) buy closure only by importing something the framework has principled reasons to refuse — an authority outside nature, brute normative entities, or an idealized agent that may be no one. The strategies that stay honest about the gap (contract, sentiment) cross it the same way the framework does: not by proof, but by starting somewhere. The framework's wager is that there is a better place to start.


Why this axiom is progress

The framework does not close the is/ought gap. It would be a mistake — and a violation of the framework's own commitment to keeping its limits visible — to claim otherwise. What the axiom achieves is something more modest and more defensible than closure. Four things make it progress.

1. It relocates the unprovable commitment to the smallest possible place. Every grounding has an unprovable premise somewhere. The question is not whether you assume, but what and how much. Divine command assumes an entire supernatural authority; non-natural realism assumes a category of mind-independent normative objects; teleology assumes a value-laden cosmos. The framework assumes one sentence: felt mattering is reason-giving. It is the leanest entry fee on offer — a single normative atom, with the entire descriptive science of stake-geometry built on top of it by ordinary reasoning rather than by further assumption.

2. It is naturalistic — it points at something real and shared. Unlike divine commands or Platonic Forms, the thing the axiom dignifies is not exotic. It is the most familiar fact there is: that things matter to you, felt from the inside, right now. The axiom does not ask you to believe in a new kind of entity. It asks you to take seriously a kind of entity you already are. This keeps the framework inside the natural world, where its claims can be connected to psychology, neuroscience, and the structure of experience, rather than floating above them.

3. Denying it is self-undermining for anyone who values anything. This is the framework's strongest move, and it is worth stating with care. The axiom cannot be proven, but its denial cannot be performed cleanly. To deny that felt stakes ground reasons is itself an act driven by a felt stake — the denier cares about getting the metaethics right, and that caring is the very thing being denied any standing. It is the structure of someone asserting "I am not speaking," or arguing that "language is meaningless." This is a pragmatic contradiction, not a logical one — and the distinction is exactly where the framework stays honest. A logical contradiction is malformed in the words; a pragmatic contradiction is a saying that undercuts the act of saying it. The nihilist can utter "my caring deserves no seriousness." The sentence is well-formed. He is simply doing something self-undermining while he utters it. So the framework does not get to call him refuted. It gets to call him incoherent — which is weaker than proof, but far stronger than a standoff of bare preferences. The denier is not merely disagreeing; he is sawing the branch he sits on.

4. It is honest about its own ceiling. Progress in philosophy is often a matter of trading a false promise for a true limitation. The grounding strategies that claim closure deliver a feeling of bedrock that does not survive scrutiny — push on divine command and Euthyphro opens; push on non-natural realism and queerness opens. The framework offers no such false floor. It says plainly: here is the one thing we assume, here is why it cannot be proven, here is what it would take to reject it, and here is the cost of rejecting it. That honesty is not a weakness next to the closure-claiming theories; it is what those theories lack.


What the axiom does not buy you

Three limits, stated so they stay visible.

It does not refute the determined skeptic. The pragmatic contradiction makes denial self-undermining, not impossible. Someone willing to be incoherent — to value while denying that valuing has standing — cannot be argued out of it from outside. The framework relocates the burden onto him; it does not lift it off the world.

It does not, by itself, tell any one person what to do. "Felt stakes ground reasons" does not say which of a person's many, often conflicting stakes should win. A felt stake can run against the very geometry that would adjudicate it — the addict's craving genuinely registers as mattering, yet the person can coherently judge they should not honor it. The framework's later machinery (coherence and responsiveness as dimensions; the higher-order/first-order distinction in the attitude grid) does the adjudicating. The axiom only lights the fact that there is something to adjudicate.

It does not, by itself, reach other people. "It matters to me" pointing toward "it is good for me" is a short step. Getting from there to "you ought to weight my stakes" is a separate and longer step — the outward move from private mattering to shared value, carried by the network and consistency arguments, which the framework rates as persuasive rather than airtight. The axiom grounds the first-person fact that mattering is real and deserves seriousness. That others should weight my mattering is built on the axiom but is not contained in it.


Summary

The framework rests on one normative premise: if something matters to someone, that mattering is real and deserves to be taken seriously — equivalently, felt stakes ground reasons. This must be an axiom rather than a theorem because of the is/ought gap: its one normative word, deserves, cannot be derived from any quantity of descriptive fact, and the attempt to make the link true-by-definition only relocates the gap. Older philosophies tried to cross the gap by importing a divine authority, a realm of brute normative facts, an idealized rational will, a value-laden teleology, a procedure of agreement, or an evolved sentiment — each either failing to close the gap or paying a price the framework has reasons to refuse. The framework's progress is not closure but relocation: it shrinks the unprovable commitment to a single, naturalistic atom; it shows that any valuer who denies that atom falls into pragmatic self-contradiction; and it states its own ceiling plainly rather than disguising it as bedrock. The gap remains. What changes is where it sits, how small it is, and how costly it has become to stand on the wrong side of it.