Begin with Overview. It gives the shortest route into the theory. The other modules expose the axioms and conclusions, relationship architecture and removal tests, source-anchored comparisons, inferential structure, and narrated Judgment Paths.
Mina is preparing breakfast for her young daughter. The milk smells sour, and Mina believes it could make her daughter ill. There is fresh milk in the refrigerator. She reaches a familiar judgment: “I should discard the milk.”
Concern for her daughter could guide Mina’s judgment. Or a food-handling procedure alone could supply her reason. The parent, situation, and sensible decision stay the same—but would Mina be arriving at the judgment in the same way?
Begin with concern, then compare a judgment based on procedure alone.
NDT examines how a person’s understanding supports a judgment—and what makes some judgments moral. The breakfast comparison asks what actually helps Mina form her judgment, not just whether she reaches a sensible answer.
We can agree about what should be done while reaching that conclusion for different reasons. We can also understand the same situation differently and disagree about what follows.
A parent notices spoiled milk while preparing a child’s breakfast. “I should discard the milk” could follow from concern for the child, or from a food-handling procedure alone. The sensible answer can stay the same while the reasons differ.
QuestionHow does someone’s interpretation support a particular normative judgment?
Why it mattersThe same words can come from different cognitive routes and therefore belong to different types.
Try thisExplore how the relationship is structured. Or start with the breakfast comparison and inspect why the same answer can have different reasons.
The theory in three ideas
These ideas depend on one another, but they are not three timed stages. They identify the materials and relationships NDT uses to explain one particular judgment.
What someone takes the situation to be
NDT begins with the interpretation active when the judgment forms. An observer’s extra knowledge is not automatically part of that interpretation. NDT distinguishes considerations that helped form the judgment from those that were merely available.
What matters within that understanding
A normative judgment requires a difference in what matters that is active in forming the judgment. That difference may be explicit, attributed, carried by how a representation functions, or derived from those sources.
Where constitutive evaluativity fits
Constitutive evaluativity is the narrower claim that a representation can carry evaluation partly through the role that makes it the representation it is. It is not another name for the broader requirement that normative judgment needs evaluation.
What makes the judgment moral
A normative judgment is moral, in NDT’s sense, when a qualifying represented relationship actually helps organize the evaluation used to form it. Moral cognition is therefore one kind of normative cognition.
Judgment, not behaviorForming a judgment is not the same as acting on it.
How it was formed, not just its wordingThe same words can come from moral and nonmoral routes.
Kind of judgment, not correctnessNDT does not decide whether the judgment is true or justified.
More ways to explore Diagrams, animations, and comparisons
See the parts of a moral relationship
Travel into the relationship diagram while a root-shaped view keeps the whole structure in sight.
To follow a relationship’s role in forming a particular judgment, choose Theory in Action in the module navigation. The Demonstrations button also gathers judgment paths, the relationship tour, and the full removal tests.
Axioms and results
Question: what does each axiom explain? See the distinct work done by the four axioms and the conclusions they jointly support.
Moral relationship structure
What must a moral relationship contain, and when does it help form a judgment? Inspect the three ingredients, or start with the contrasting reasons for discarding milk.
Compare NDT
How do particular ideas explain guidance, concern, or contribution? Compare claims within their intellectual lineages, then inspect the complete source records.
Guided tours
Read the theory Article, sources, and formal resources
How the formal model is organized
The specification supplies exact definitions and the arguments linking them. Its sections separate judgment formation, moral classification, challenged support, and conflict between judgments. Open the section guide when you want to trace a claim into the formal account.
Read further
Choose the document that fits your question
Begin with the Article, then choose the companion that fits your question. The formal authorities and supporting audits remain available for readers who need exact definitions, claim status, or project history.
Having a relationship in mind is not yet using it.
Mina still sees her daughter as someone whose welfare matters, someone personally connected to her, and someone she can help. NDT calls the three kinds of represented information builders: they jointly constitute the relationship. Whether the relationship helps form “I should discard the milk” is a further question.
The map shows NDT’s proposed structure, not measured mental events. Select a node for its definition; the breakfast connection appears in the explanation panel.
From the judgment comparison to the common structure
Structure of a Moral Relationship
What makes a judgment moral?
Why the relationship matters in NDT
Caro is a physician deciding how to respond to Eli, the patient assigned to her care. Caro can contact Eli and considers, “I should attend to my patient.” Eli’s welfare matters to Caro in its own right. Caro understands Eli as her patient and herself as able to respond. In the imagined case, those considerations help form her judgment. The map explains what the relationship contains and the further work it must do to give the judgment a moral basis.
Three terms used on the map
Builders are the three required components of the relationship: value in itself, perceived agency, and positioning of the object relative to the subject.
Benders affect what follows from a relationship, such as the priority of a response. The controlled examples preserve the exact relationship core and its actual contribution. The formal term “strict bender” marks those preservation requirements; it does not mean that every urgent consideration works that way.
A gate marks a required condition, not a timed mental step. The represented features must satisfy the stated criteria.
Colors connect the map to its explanations
Value in itselfConnectionPerceived abilitySupport and influencesJudgment
Colors identify explanatory roles, not good and bad judgments. The same roles recur in the relationship tour and ingredient comparisons. Names and connections carry the distinctions even without color; an active highlight marks the current selection or demonstration step.
Follow the physician–patient example
The whole moral-relationship architecture
Select a node for its definition, significance, removal test, and formal status.
A hypothetical illustration of NDT, not experimental evidence. The steps explain different roles, not a measured sequence of mental events.
Assumptions of the physician–patient example
The example stipulates a qualifying relationship: positive inherent value with negative inherent value absent, an operative physician–patient role bridge, relevant perceived agency, and the required subject and object bindings contributing together in the judgment’s actual support. Positive value is an example, not a universal requirement. A professional title alone does not establish the role bridge.
The penalty-only comparison stipulates that no qualifying relationship, including a self-directed relationship, contributes. Self-interest and professional rules do not determine a judgment’s type merely by being named.
Urgency qualifies as strict bending only when the exact relationship core is preserved, the relationship actually contributes in both matched cases, and the separate downstream influence meets the required contribution tests. Strict bending does not, by definition, preserve the final judgment or complete moral classification.
The question at the selected scale
Scale 1 of 4
Swipe the diagram horizontally to inspect every node; select a node for readable detail below.
Inspect the selected node
Choose a node
Why it matters
Removal or contrast test
Formal definition and status
Technical role
Status
A question for other models of moral judgment
Can a model distinguish a relationship that helps form a judgment from a relationship that is merely represented, while preserving the difference between the relationship and influences such as urgency? The model need not use NDT’s labels or divide the work in the same way. The Atlas illustrates NDT’s proposed distinctions; the illustration does not establish that a rival cannot represent them.
Return to the previous module
Nuances of Normative Judgment
Unratified v52 candidate
The same decision, different reasons.
People distinguish concern for another person from simply following a procedure—even when both lead to a sensible decision. A theory of cognition must explain more than the outward answer. NDT locates the difference in how a particular judgment is formed.
Begin with one ordinary situation
Why discard the milk?
Mina is preparing breakfast for her young daughter. Before pouring the milk over her daughter’s cereal, Mina notices a sour smell. She believes the milk has spoiled and could make her daughter ill. There is fresh milk in the refrigerator, so replacing the carton would be easy. Mina reaches a familiar judgment: “I should discard the milk.”
Start with an equally familiar reason. Her daughter’s welfare matters to Mina for her daughter’s own sake; Mina understands their personal connection and knows she can protect her from harm. Those considerations help Mina judge that she should not serve the spoiled milk.
Or start with a different reason: a food-handling procedure. Imagine the same parent, the same spoiled milk, and the same decision, but suppose that the procedure alone supplies the reason for the judgment. Would the outward answer tell us what made the difference?
The arrows show how the represented relationship helps form Mina’s judgment.
Concern helps form the judgment
Mina’s represented relationshipHer daughter matters in her own right, is personally connected to Mina, and is someone Mina can help.
Helps explain what Mina should do
Protect her daughter’s healthMina takes the risk of illness as a reason not to serve the spoiled milk.
“I should discard the milk.”
NDT classifies the judgment as moral because the represented relationship helps form it—not simply because discarding spoiled milk is sensible.
Procedure alone forms the judgment
The same relationship remains in mindHer daughter still matters in her own right, is personally connected to Mina, and is someone Mina can help.
Does not help form this particular judgment
Apply the food-handling ruleMina treats “discard milk that smells spoiled” as sufficient reason to discard the carton. Her concern for her daughter does no work in producing the specified judgment.
“I should discard the milk.”
NDT classifies the judgment as nonmoral under the stated condition: no represented moral relationship helps form the procedure-only judgment.
The classification changes. The sensible decision need not.
Mina has not stopped caring about her daughter, and the relationship has not been removed. The comparison changes whether that relationship contributes to the judgment. Calling the procedure-only judgment nonmoral does not condemn the action or identify a defect in Mina’s parenting. A procedure may handle the situation perfectly well.
How could a caring parent reason only from a procedure?
Consider checking a carton’s date while putting groceries away. Someone can know that a family member’s health matters and nevertheless discard the carton solely because a storage rule says to do so. The breakfast comparison asks us to imagine that separation even with the daughter waiting for breakfast: the represented relationship remains available, but the procedure alone supplies the reason for the particular judgment.
Quick or habitual action does not establish that separation. Concern can operate without being consciously rehearsed, and a rule can express concern. The example specifies the reasons; it does not infer them from Mina’s speed, conduct, or later explanation.
Must the final answer change when concern is removed?
No. Suppose concern and an independently sufficient food-handling rule both actually help Mina reach the judgment. Removing concern can leave the same answer supported by the rule. The remaining answer does not show that concern originally did nothing. Conversely, an available reason that played no part is not made a contributor merely because it could have supported the answer.
What the illustration establishes—and where to inspect the argument
The two routes are specified possibilities, not observations of Mina’s hidden mental life. They make NDT’s classification rule inspectable: the same outward answer can be supported by different reasons. Deciding how an actual person’s judgment formed is a separate problem; outward behavior alone does not settle it.
The comparison preserves Mina as both the person judging and the represented person able to respond, with her daughter as the person affected. In the concern case, the relationship and those exact roles jointly shape the health-related reason and judgment. In the procedure-only case, no represented moral relationship contributes; retaining the displayed parent–child relationship is not enough to classify the judgment as moral.
Consult the Formal Specification, sections 4b.1–4b.2 for contribution and moral classification, and sections 4c.1–4c.2 for the parent-care and procedure-only cases. The diagram explains dependencies; it is neither a timed mental sequence nor an execution of the full formal model.
Direct access to value, positioning, agency, access, and contribution comparisons.
How to use the removal comparisons
Change one represented feature while keeping the stated comparison conditions fixed. Compare the supported distinction before inspecting its formal record. The authored examples illustrate definitions; the examples are not new experimental evidence.
Seeing an object as both good and bad is not seeing it as neither.
A committee asks Rae whether a former mentor should take a public role. Rae’s view of the mentor contains both positive and negative regard: the mentor appears good and bad in their own right within the same represented relationship, not merely useful or costly to Rae. Keep Rae and the mentor fixed while removing one evaluation or both. Neither profile, by itself, decides the appointment.
Good in itself Present
Bad in itself Present
↓ ↓Mixed inherent value
Both evaluations remain represented. They do not cancel into neutrality.
Hypothetical, definition-based schematic—not a measured result or an execution of the full model. Branches mean present or absent, not measured intensity.
What the value-profile contrast does—and does not—show
Removing one component changes the profile. Removing both removes a required part of the tested moral relationship. Negative value alone does not mean evil, blame, punishment, or avoidance. A value profile alone does not determine whether the whole judgment is moral, nonmoral, or prudential; qualification and actual contribution require additional conditions.
Choose one controlled intervention
Every result names what becomes unavailable, what is held fixed, and whether moral type or only a subtype or downstream effect changes.
1 Choose a test
2 Inspect the difference
Choose an intervention on the leftThe result will keep the relationship core, route profile, and contribution conditions separate.
Becomes unavailable
The distinction tied to the intervention.
Held fixed
The exact comparison controls.
Classification effect
Whether moral type, only a subtype, or only a downstream result changes.
What these tests establish—and what they do not
The tests expose consequences of NDT’s current decomposition; they do not establish that every rival must use the same vocabulary. This model version’s positioning-route families—identity-mediated positioning, intimacy, and direct encounter—form an exact exhaustive disjunction and may be co-active. Relational Positioning is valence-neutral, and shared, contrastive, and complementary-role identity are forms of the identity-mediated family. By contrast, urgency, vulnerability, power, and sentience are nonexhaustive candidate bender sources whose roles must be demonstrated, not assumed.
NDT and other theories
What does an explanation of judgment need to explain?
A familiar decision gives different approaches a common point of comparison. Begin with the reasons for discarding spoiled milk, then inspect what a particular account explains—and what remains to be explained.
One decision, several explanatory questions
A parent notices sour-smelling milk while preparing a child’s breakfast. The parent believes it could make the child ill, has fresh milk available, and judges, “I should discard the milk.” Concern could help produce the judgment. Or imagine that a food-handling procedure supplies the entire reason, with no moral relationship contributing. The parent can still care about the child.
The specified contrast does not reveal anyone’s hidden reasoning. It gives the comparisons a common question: what would an account need to explain about the judgment beyond its outward answer?
Compare another explanatory questionHow to read this literature review
Instead of treating a whole theory as a single match or disagreement, the review compares particular explanatory claims and mechanisms. Each encounter names the question, locates the source within its intellectual lineage, and explains the precise relation to NDT. A useful mechanism can be shared even when accounts disagree about what makes a judgment moral.
The selected encounters offer an entrance; the full catalog retains the exact comparisons and sources. NDT can represent reasoning associated with different moral philosophies without endorsing their verdicts or every claim made by their advocates.
Explore further philosophical connections, direct matches, and conflicts
Return to selected comparisons
Formal structure: the exact section spine of the current Formal Specification, with logical dependency, cross-cutting, testing, and reference links kept distinct.
Axioms and theorems
Four axioms of normative cognition
Why discard the milk?
Mina is preparing breakfast for her daughter when she notices that the milk smells sour. Mina believes it could make her daughter ill, has fresh milk available, and judges, “I should discard the milk.” Suppose concern for her daughter helps form the judgment. Each axiom states a starting commitment of NDT. Select an axiom to see what it says about Mina’s judgment.
NDT’s four axioms distinguish connected but different explanatory tasks. An interpretation and an evaluative basis can support a conclusion without a moral relationship contributing. Explaining how a judgment forms is therefore not yet explaining what makes it moral.
The case is imagined. The axioms state NDT’s commitments; the theorems below identify what follows with the specified definitions and scope. A displayed dependency is not an observation of someone’s thinking.
Inspect the axioms and their separately traceable parts
Trace the selected axioms through the formal modelSelect one or more axioms to see where the formal model uses them.
What follows: five named theorems
What NDT derives
Five named theorems
Their support differs: some are necessary once NDT’s stated claims and definitions are granted; two establish possibility through a constructed example.
Five named theorems · ten direct consequences · one result under stated conditions
Moral Provenance Theorem
A judgment counts as moral only if a qualifying relationship actually helped form it.Formal record: Qualifying Moral Provenance · necessary consequence
Moral Subset Theorem
Moral judgments are one kind of normative judgment, and some normative judgments are not moral.Formal record: Moral Subset · necessary within NDT’s declared scope
Same Content, Different Moral Type Theorem
Two judgments can say the same thing while one is moral and the other is not, because they were formed through different support.Formal record: Content–Provenance Nonidentity · demonstrated possibility
Polyphony Possibility Theorem
One case can support several locally coherent judgments that can be compared and genuinely conflict.Formal record: Polyphony Is Possible · demonstrated possibility
Plurality–Polyphony Distinction Theorem
Several judgments are not Polyphony unless an appropriate comparison connects them and they genuinely conflict.Formal record: Polyphony Subset · necessary classification
Show eleven additional results in plain language
Ten direct consequences
The same words can occur in different judgments, supported by different interpretations and reasons.Formal record: Frame-indexed judgment identity.
Material with no active difference in what matters cannot produce guidance by itself.Evaluatively empty input barrier.
Evaluation can be carried by how a representation guides processing, not only by an explicit value statement.Encoded evaluation is a possible realization.
A normative judgment forms when active interpretation and evaluation support a particular prescription or appraisal.Typed normative detachment.
Only what actually helped form this particular judgment belongs to its producing history.Actual judgment provenance.
A qualifying subject–object relationship is part of what makes a normative judgment moral.Moral-relationship constitutivity.
Guidance about behavior presupposes a subject represented as able to act.Agent-capable subject.
Something that did not help form a judgment cannot determine whether it is moral.Noncontributing structure is inert.
A qualifying relationship grounds only the guidance it actually helps organize.Relationship grounding.
NDT does not require several local judgments to collapse into one final verdict.No mandatory global verdict.
One result under stated conditions
Two representations of judgment-forming organization agree about contribution when the specified mapping preserves the relevant structure.Formal record: Cross-scheme convergence. The exact condition preserves the realization profile, intervention differences, and minimal sufficiency at the stated resolution. This is not a general promise that any two measurement methods will agree.
Technical checksExplore formal dependencies, sufficiency tests, and audit records
What these checks do: choose a set of results, then test which axioms are enough to derive every result in that set inside the small rule model used here. This does not prove that the axioms are empirically true or that the four headings generate every definition in the Formal Specification.
Check which selected axioms are enough to derive every result in this set.
The trace follows declared dependency links from each separately tracked part of an axiom. It shows where that axiom participates; that reach is not itself a proof. NDT’s allowance for several local viewpoints follows from its descriptive scope and Polyphony definitions, not from another axiom.
Formal method and limits
The current structural audit finds 313 formal endpoint premises of several kinds across a 593-node / 1,909-edge graph. It verifies dependency closure and finite witnesses; it does not establish that this is the only natural or model-theoretically independent axiom basis. Read the independent basis audit ↗
Inspect the connected relationships
The demonstration continues after five seconds. Pause to inspect the nodes and their connections.
Loading the theory map…Preparing the formal structure. If this message remains, reload the page once.
§0 Scope§1 Hierarchy§2 CET§3 Normative Detachment§4 Moral Detachment§§5–6 Modulators & Polyphony§7 Route Survival§§8–10 Research
Whole-map overview · choose a region or zoom in for readable node labels.
Overview · tap a card to read it
Drag to move the map and pinch or use the zoom buttons to change scale. Overview begins with an everyday judgment and offers routes into the theory. Axioms and Theorems introduces four explanatory axioms and five named theorems. In NDT and Other Theories, begin with a comparison question or open the full sourced catalog. Architecture and Theory in Action offer introductions before the complete maps. Search or jump to a region for readable labels, then select a node for its explanation. The optional historical view marks earlier work; it does not date the current map’s arrows. On a phone, tap a node for readable details; with a keyboard, use arrow keys between nodes and Enter to open details.