Existential Logicism · Pillar 6

The Contingency Guillotine

A moral judgment cannot owe its force to valuing beings and remain independent of every valuer. Following that dependence changes how we understand morality, personhood, divine authority, and our place within reality.

Matthew Tripp Zejda

The Spectrum of Consciousness brought us to systems for which the world can make a difference. Some conditions can be registered as better or worse, pursued or resisted, remembered or anticipated. Now I want to follow what happens when those differences become judgments about what ought to be done.

I call the resulting argument the Contingency Guillotine. Its importance reaches beyond rejecting a moral law supposedly written into empty space. It locates evaluation in the beings and relations that make evaluation possible. Once that location is clear, a person's standpoint cannot quietly become the voice of total reality, and a divine preference cannot become independent of valuation merely because it is called divine. ^[1]^[3]^[4]

Read the complete formal argument Being, personhood, and totality

What the guillotine cuts

If a rock rolls into another rock and cracks it, a physical event has occurred. The impact, fracture, and changed arrangement are real. The collision does not, just by occurring, accuse either rock of wrongdoing. Now consider the chapter's contrasting case: beings with minds, interests, and intentions, one deliberately damaging another. We still have a physical event, but the description now includes someone who can be harmed, someone acting, and relations through which the action can be evaluated.

The moral significance has not arrived from a second universe. It belongs to the situation because valuing beings belong to the situation. That is the difference I want to keep visible. A description tells us what happened. A moral judgment evaluates what happened and carries a claim about permission, prohibition, responsibility, or what should happen next. The evaluative work needs an account of its own. ^[1]

Calling the judgment objective can hide two very different claims. One says that the judgment is not settled by the offender's approval, or that a careful assessment can be impartial and informed by evidence. The other says that its moral force is independent of every valuer and every relation of valuing. I reject the second. Rejecting it does not give the offender control over the first.

A person can deny that they harmed someone and be wrong about what happened. They can know what happened and refuse to care. Neither response removes the other person's suffering, interests, or standing within the evaluation. Valuer dependence does not mean that the loudest person gets to decide what is real. It means that the judgment's better-and-worse structure belongs to a reality containing beings for whom conditions can matter.

The cut is not between morality and reality. It is between morality as a real activity of valuing beings and morality imagined as an authority independent of every being and relation that makes it evaluative.

The word contingency names that dependence. It does not mean randomness, insincerity, or a passing mood. Nor does it mean that anything depending on anything else must be subjective. The pressure and temperature relevant to a physical description are conditions too. CG concerns the particular dependence of moral content on evaluative ordering and practical stakes. Changing that into a general attack on conditional facts would destroy the distinction the argument is built to establish.

Once we stop demanding that value exist without valuers, we can ask a more useful question: what are the valuers, what matters to them, how are they related, and what follows from acting within those relations?

Occurrence, knowledge, and valuation do different work

The earlier pillars prepare this question without answering it in advance. The Epistemic Refutation Paradox secures occurrence: a performed denial is something happening. It does not first need a complete theory of mind, and it does not make every happening a moral event. Tripp's Prison then examines the conditions of knowing. An epistemic agent encounters, represents, compares, and judges through an interface rather than from a position outside all representation.

The constructive consequence of Tripp's Prison matters here. Different agents can compare evidence, discover mistakes, and build warranted knowledge of shared structure. Finite access is not a sentence to arbitrary opinion. The fact that someone understands an equation through a mind does not make the equation true only when that person likes it. The same distinction protects facts about injuries, promises, capacities, and consequences. Their being known through an interface does not give the knower permission to invent them. ^[1]^[4]

An epistemic agent is not automatically every kind of valuer

An epistemic agent, in EL's minimal usage, can token substantive representational states. A valuer has an additional kind of organization: a nontrivial ordering over accessible states, together with dynamics systematically sensitive to that ordering. These descriptions overlap in many of the beings we care about, but they identify different capacities. Merely displaying a sentence does not establish the full structure of caring, choosing, or suffering.

The formal definition of a valuer is deliberately structural. Some conditions rank above others for the system, and its organization tracks those differences. That need not take the form of a spoken judgment or a fully articulated ethical theory. It also does not, by itself, settle whether a particular system has private experience. The Spectrum of Consciousness carries the separate inquiry into experiential organization and the evidence by which we recognize other minds.

This prevents two opposite reductions. I do not reserve valuation to human adults who can defend an argument. I also do not call every causal response a moral judgment. A physical system changing state is not sufficient to establish an action-guiding norm, and a minimal functional ordering is not automatically a complete person, a moral theory, or a measure of suffering.

The difference between encountering a fact and supplying a value

Suppose we establish that an action injured someone. Whether the injury occurred is one question. What it did to that person's capacities and experience is another. Why preventing or repairing the injury should guide our conduct brings the evaluative relation into view. We have not left reality behind at any point. We have moved among different facts and different explanatory jobs within it.

The injured person's experience can supply stakes even when they cannot speak, when the person responsible dismisses them, or when a surrounding community has failed to recognize them. Our knowledge may be incomplete; their condition is not therefore ours to decree. In the humane account I defend, the affected person's vulnerability and the possibility of reducing suffering matter. I state that commitment rather than pretending it is the same thing as a bare inventory of events. ^[5]

That is where CG advances beyond the familiar observation that people have different opinions. It asks what makes an evaluation evaluative at all. The issue is the constitution of the judgment, not merely the route by which someone learns about it.

Follow the dependence all the way through

Begin with a genuinely action-guiding moral claim. It does more than report that someone approves. It treats some action as permitted, required, forbidden, better, or worse in a way meant to guide conduct. Now ask what supplies that distinction. What is being protected or pursued? Whose condition is being considered? What makes the difference a reason for action rather than simply another difference in the description?

My answer is the constitutive valuer premise: the evaluative ordering and practical stakes of an applicable moral judgment are constituted through one or more valuers. This is a substantive account of moral content. I defend it by following the work moral terms actually do. Describing a change does not yet rank it. Once we rank it as a reason for conduct, we need the structure that makes it better or worse from a valuing standpoint. Calling the ranking a fact does not make that structure disappear. ^[1]

The relevant standpoint need not be the speaker's personal preference. It can involve an affected person, a community, or another qualifying system. Nor must the person being criticized accept the judgment. Applicability and obedience are different matters. A refusal to care is not the removal of every being whose condition supplies the stakes.

Keep the interpretation fixed

To test the stronger claim of independence, consider a declared interpretation containing an inert item and ordinary descriptive relations, but no valuers and no attributed evaluative ordering. Something still obtains. The comparison is not absolute nothingness, and it does not assert that our actual universe contains no minds. It supplies the specific case needed to test a claim that moral content does not depend on whether valuers exist.

Under the constitutive premise, the original action-guiding moral interpretation cannot remain applicable in that case. Its required valuing relation is absent. The formal argument marks this failure with U, meaning failed moral applicability. U is not a strange physical state, and it is not the claim that every sentence about the case has become false or meaningless.

Ordinary descriptions remain available. A report that nobody is suffering can be true. A conditional about what an imagined person would prefer can retain truth conditions. But neither result reinstates the moral application that was removed. We cannot begin by defending an applicable moral requirement independent of every valuer and finish by offering a descriptive conditional about a hypothetical valuer. That changes the claim in the middle of the test.

Strong objectivity, in the sense I define, requires the same moral interpretation to retain determinate evaluation throughout the declared comparison class without constitutive dependence on valuers. The valuer-free member defeats that requirement. Excluding it narrows the independence claim; changing to a descriptive reading changes the interpretation. Neither preserves the original unrestricted target.

Moral force cannot both depend on valuing and remain intact after every valuing relation is removed. That is the structural constraint. The philosophical work lies in establishing the dependence and keeping the claim's meaning steady while testing it.

Why this is a pillar rather than an interesting observation

A later account cannot accept this constitutive dependence, remove its conditions, and then recover the same moral force by changing its label to nature, reason, perfection, or God. Once established, the constraint travels with the claim. It determines what later explanations must supply.

That is also why I keep its premises visible. CG is not obtained simply by repeating ERP's occurrence argument, and not every theory called moral realism asserts the precise independence tested here. A challenge has to confront the account of valuation or provide a different supported interpretation. It is not enough to insist that the judgment feels absolute. Conversely, giving an explicit premise does not make the conclusion a casual preference. It makes the actual source of its force available for examination.

The following applications retain that constraint while adding the further premises each application needs. The moral theorem, the account of personhood, and the identity claim about totality connect, but they are not interchangeable.

A being within reality is not reality as a whole

This is where the argument reaches into Finite Mind, Finite God and Existential Ground. A being can exist, know, care, and act without being the totality within which existence, knowledge, care, and action occur. That distinction is easy to say and easy to lose when a personal standpoint is enlarged into an ultimate explanation.

By having being, I am not describing an extra substance a person possesses. I mean that the person actually exists. Their organization, experience, and relations belong to reality. By being all of reality, I mean the much stronger identity claim that the referent is exhaustive actuality, with no real source, relation, standpoint, or item outside it. The first claim does not entail the second. ^[4]

Your mind is not unreal because it is finite. Its memories, concerns, and decisions can make a real difference. Its finitude identifies the kind of organization through which those differences occur. You have a perspective; you encounter conditions; some things matter to you in ways others do not. None of that requires you to stand outside reality. It tells us how you are situated within it.

Preference is a structure, not a defect

To prefer one outcome to another is to distinguish alternatives under an ordering. We can write the relation as x ≻_G y: G favors x over y. There are distinguishable terms, a comparative standard, and a directed orientation. The alternatives need not be completed parallel universes. They may be possibilities represented or evaluated by the agent. Any actual representation or act of evaluation still belongs within reality.

A preference can be admirable, harmful, ordinary, or difficult to understand. It need not be fickle. An agent who consistently cares about another person still has a structured orientation. An unchanging preference remains a preference. Calling it perfect or necessary does not remove the distinction it draws.

FMFG follows that structure into literal personhood. Choosing, commanding, approving, rejecting, rewarding, and punishing are not decorative adjectives. Used literally and nontrivially, they distinguish outcomes and carry an orientation toward them. A command separates permitted from forbidden; a reward or punishment evaluates conduct by a standard; an intention directs action toward some end. The relevant question is who bears that orientation. ^[3]

The proper-standpoint premise

In EG's Preference–Finitude Theorem, I make the connecting premise explicit: literal personal evaluation belongs to a distinct bearer whose orientation is a proper stance within reality. Under that premise, the bearer is not exhaustive totality. Its finitude is a matter of standpoint and jurisdiction, not a measure of physical size, intelligence, age, or power.

Consider the alternatives in the totality claim. A real evaluative standard cannot be outside exhaustive reality, because then the supposed totality would have omitted something real. An evaluative standpoint within reality is included in the whole, but inclusion does not by itself identify its distinct bearer with the whole. Under the proper-standpoint premise, the personal orientation is one proper relation within actuality, not actuality taken exhaustively.

This is not a general rule that wholes can never have properties through their parts. An organized body can sustain a subject, and Pattern Reality is expressly concerned with such organization. The present claim concerns the identity of one distinct personal standpoint with everything that obtains. Showing that reality contains experience is not yet showing that all reality is one experiencer. Showing that reality contains valuation is not yet showing that all reality has one personal ranking.

The moral result and the personhood result therefore reinforce a shared discipline. CG requires us to identify the valuer constituting moral force. Preference–Finitude requires us to identify the proper bearer of personal evaluation. Neither lets that bearer become an unlimited source of authority by an unnoticed change of scope. ^[4]

The Finite God fork

Now take the conjunction the later argument tests: God is literally a distinct preference-bearing person, and God is identical with exhaustive total reality. Under the proper-standpoint premise, the first claim identifies a proper standpoint. The second identifies the whole. Those cannot remain the same literal identity claim.

Retain literal personhood and the referent is a finite deity or agent within reality. Such a proposal may attribute extraordinary power, but its existence and particular capacities still need evidence. Retain ultimacy-as-totality and the personal predicates must change their role. They may become analogical, apophatic, symbolic, relational, or otherwise non-univocal. They no longer straightforwardly describe one distinct person's psychology.

The fork does not convert every grounding claim into an identity claim. Saying that all creatures depend on a source is not already saying that the source is numerically identical with totality. A source-and-dependent-creation account has to explain that relation. I do not make it accept G = totality without argument. The target here explicitly includes that identity, together with literal personhood and the proper-standpoint premise.

Reality can contain persons without being one more person. It can contain value without receiving its value from a judge outside itself. A finite being's reality and significance do not depend on mistaking that being for the whole.

This is why CG belongs near the ground of the later conversation rather than at the edge of a chapter on moral disagreement. Once valuation has been located, the language of personhood, ultimacy, command, and authority has to preserve that location or explain a different one. A change of name cannot do the explanatory work.

A divine command is still not independence from valuing

Suppose a powerful deity commands an action. Several questions now need separate answers. Does the deity exist? Was the command received accurately? What does it require? What gives it moral authority? How would acting on it affect the beings involved? Evidence for one of these answers does not automatically supply the others.

CG reaches the authority question directly. If the command is good because the deity values or wills it, a valuer supplies the standard. It may be independent of my approval and yours. It is not independent of all valuers. Moving the source beyond humanity changes whose valuation is involved; it does not remove valuation.

Calling the deity's nature necessary does not remove this constitutive dependence either. A standard can be described as stable or necessary while still deriving its evaluative content from that nature. The question is not only whether the standard changes. It is what makes it evaluative and whether its claimed moral force is independent of every such source.

If instead the deity recognizes a standard that is authoritative independently of its approval, the appeal to the deity has not yet explained that standard. We still have to ask what gives it its moral interpretation. If its answer refers to suffering, well-being, rational willing, or another valuing relation, that relation has returned. If it denies every valuer, it owes an account of how the evaluative force survives their removal. ^[1]

Power and moral authority are different claims

A being's ability to reward or harm you is a real practical consideration if the being and the ability are established. But the ability does not, by itself, turn its purposes into a moral standard independent of valuers. Fear of punishment can explain obedience. It does not establish that the punishment is justified.

Creation does not settle that transfer of authority either. EG's account of finite purpose allows a maker's intention to become one real relation in a subject's life. It does not let that intention silently exhaust the subject's value or establish unlimited ownership. A created subject can have experience, vulnerability, and relations that require consideration. Any stronger ownership claim needs its own connecting argument. ^[5]

Taking the strongest theological reading seriously

The sophisticated response is often not to defend an enlarged human psychology. FMFG examines analogy, simplicity, impassibility, and apophatic restraint as ways of regulating divine predicates. When “will,” “love,” or “anger” no longer means an ordinary psychological orientation, the reader has to understand what the term does mean. Analogy is not automatically emptiness, and semantic demotion is not an insult. It identifies a departure from the ordinary literal sense.

That departure cannot be reversed unnoticed when a concrete command is wanted. An ultimate that cannot be described as a distinct personal valuer does not acquire a detailed preference about your conduct merely because an institution asserts one. The assertion may be investigated, but its content needs support. Mystery can limit a claim; it cannot both remove its conditions of assessment and guarantee its authority.

The same point applies to a nondual account that avoids a separate cosmic person from the outset. It may preserve a grounding insight or a practice of reverence. It has not thereby established an exclusive rule, a punishment, or a privileged interpreter. Those are further claims about particular beings and relations. The CG constraint remains relevant whenever they are presented as moral requirements. ^[3]^[4]

Finite authority, fairness, and belonging

A claim about the ground becomes personally consequential when someone uses it to tell you who you are, what you owe, or whether you belong. The connections matter here. Occurrence secures that something is happening. Finite-interface arguments locate the claims by which someone interprets it. CG identifies the valuing relations within a demand. The personhood and totality arguments prevent a proper personal standpoint from becoming the whole by stipulation.

None of those steps makes a person's sincerity irrelevant. A parent may repeat a frightening teaching because they believe silence would endanger their child. A listener may find real comfort in a community or practice. Those facts help explain the conduct and its significance. They do not establish that the teaching is true or that its threat is justified.

The Human Interface Thesis asks how the claim reaches its recipient. Words, memory, testimony, translation, and interpretation remain involved even when the proposed source is divine. Hearing the same words does not give every recipient the same knowledge, confidence, or capacity to believe them. The channel does not vanish because its authority is asserted strongly. ^[3]

Fair judgment has to retain the person being judged

The Fairness Clause then works within a declared standard of just, fault-sensitive assessment. If a system says that access and capacity constrain blame, it has to apply those constraints to the actual person. It cannot treat mere exposure to a message as proof that the message was understood, credible, or available for honest assent.

The Salvation Paradox follows that commitment into nonbelief. Under its stated fairness and doxastic premises, no-fault inability to believe cannot become maximal guilt simply because the person has encountered the words. The system must expand the excusal, deepen the criterion beyond bare assent, or abandon the fairness constraint. That conclusion uses the tradition's commitments and the relevant facts about belief. It is not a new stance-free moral law manufactured by CG. ^[6]

This is how the results connect without becoming one undifferentiated proof. CG keeps the standard's evaluative basis visible. The interface argument explains the recipient's conditions of access. The fairness argument holds a professed standard to those conditions. Together, they prevent a claim of ultimacy from making the actual epistemic agent disappear.

No institution owns your inclusion in reality

An institution may control membership, rituals, or access to its own resources. It does not follow that it controls your inclusion in exhaustive reality. If something exists, it already belongs to what exists. Denying that person's interpretation, or the person's denying yours, does not eject either from actuality.

EG distinguishes reverence from ownership for this reason. Reverence can be a finite response to existence, dependence, beauty, grief, or care. Ownership adds the claim that one institution or vocabulary controls access to the ground itself. A successful community practice does not establish that larger claim. Nor does a failed doctrine erase the reality of every relationship formed around it.

The Control Overlay problem concerns the further move by which a finite interpretation becomes a demand for compliance supposedly backed by ultimate jurisdiction. We can examine that structure without pretending every participant is deceptive. Sincerity and power are parts of the explanation, not substitutes for the missing justification. ^[3]^[4]

The result is not a demand that everyone abandon ritual, community, or religious language. It gives you a way to distinguish what a practice does, what its account of reality establishes, and what additional authority someone is asking you to grant it.

What remains is not less real

The absence of an all-valuer-independent moral law does not remove the people in front of us. Pain can still be experienced. Trust can be built or broken. A promise can shape another person's choices. An action can protect someone or destroy an opportunity. These relations do not have to become independent of subjects to count as real.

EG calls attention to a relational value floor: where subjects have experience, capacities, interests, dependencies, and vulnerability, there are facts about benefit, harm, deprivation, protection, trust, coercion, and flourishing relative to those subjects and relations. Dependence tells us what those facts concern. It does not make them whatever the evaluator prefers. ^[5]

The EL chapter uses language and money to illustrate how a constructed practice can be real and consequential without being an independent law of empty space. The comparison establishes a limited point: dependence does not make a practice powerless. It does not make morality identical to a currency, or make shared acceptance the sole measure of harm. Someone can be hurt before a community has the language or willingness to recognize it.

Not agreement, not indifference

A community can agree on a rule and still misunderstand its effects. A powerful person can benefit from an arrangement while others are harmed. A person can sincerely judge an action helpful and overlook a less harmful alternative. Once the standard and circumstances are stated, evidence and consistency can constrain the judgment. No cosmic verdict is needed to distinguish an accurate account of consequences from an inaccurate one.

Nor does the rejection of strong objectivity supply the new command “accept everything.” That would be another evaluative demand requiring support. CG does not make every action equally defensible. It asks us to stop disguising the sources from which we defend or criticize actions.

My leading practical standard is reducing suffering and improving lives, with the chooser included among the affected subjects. I do not assign that standard to every agent by definition. I use it to assess the priorities, information, capacities, alternatives, personal stakes, and consequences involved in an actual decision.

That leaves room for difficult cases without turning difficulty into indifference. A defensible choice may still hurt someone. A harmful action may be understandable while another response would have been better. Sometimes the most useful criticism is directed at the arrangement that repeatedly forces people into painful alternatives. Understanding the mechanism is not a way to forget the harm. It helps identify what might prevent its recurrence.

CG and Deterministic Moral Forces are a connected pair

CG establishes the dependence at issue; it does not itself prove determinism. Persistent Present Determinism supplies the separate causal setting, with its own source-sufficiency conditions. Deterministic Moral Forces then examines valuers within that account. Their beliefs, memories, priorities, deliberations, habits, and interactions are real causes of what follows.

The next pillar's internal ought makes one part of this precise. Fix an agent's valuations, beliefs about the situation, and considered actions. The action that ranks highest relative to those commitments is the agent's internal ought under that description. This does not certify the beliefs, endorse the priorities, or guarantee obedience. The ranking is something to understand and, where appropriate, challenge. It is not an instruction to approve whatever any agent happens to want.

Responsibility also remains within reality. We can identify where conduct arose, ask for an account, protect an affected person, seek repair, and change the conditions of later action. The absence of an uncaused ultimate author does not remove the person from this process. It removes one attempted justification for treating suffering as a debt that must be paid for its own sake. Our response remains subject to assessment too. ^[5]

Meaning and love do not need a cosmic owner

The same distinction reaches beyond rules. Meaning can be real through experience, representation, valuation, and consequence. Purpose can organize present action toward a valued condition. Love can be a durable relation shaping attention, memory, vulnerability, and care. Those are not failed versions of substances floating outside reality. They are relations through which finite lives actually unfold.

A subject's dependence on other beings does not make the subject worthless. Dependence on a carrier does not make a pattern unreal. Dependence on valuers does not make value a joke. In each case, the task is to explain the actual relation and what it can support. A finite life does not need to become total reality, last without end, or produce something impressive in order for its experience and vulnerability to be real.

I am not replacing value with emptiness. I am locating value where it can actually be understood, challenged, sustained, and acted on: among beings whose lives make a difference to one another.

What CG adds to the historical conversation

Hume's is–ought challenge asks how an inference moves from descriptions of what is to a claim about what ought to be. The evaluative step has to be explained. CG asks a further question about the evaluation itself: what makes its better-and-worse ordering and practical stakes possible? The connection is substantive, but it is not an identity between the arguments. The stronger conclusion requires the explicit constitutive premise.

Plato's Euthyphro distinguishes the pious from the gods' approval of it. My discussion carries the standard-versus-approval question into divine moral authority. Moving a standard to a deity does not answer whether the deity constitutes its value or recognizes something whose authority still needs explaining. CG follows the remaining evaluative dependence rather than merely repeating the dilemma. ^[7]

Kant's attempt to ground duty in rational willing is not simply a declaration that his personal wishes bind everyone. A universalizing test can expose inconsistency, and a standard can reject special treatment for an individual's passing desire. My question is whether that achievement removes dependence on valuing altogether. Independence from one desire and independence from every valuer are still different claims. The account must explain the moral authority of its rational standard, not merely the fact that a test has been stated.

The appeal to nature raises a related distinction. An explanation of how a tendency developed is not yet a justification of that tendency. Selecting cooperation, survival, dominance, or another outcome as the standard already identifies something being valued. A physical or biological description can help us understand the conditions and consequences of an action. The evaluative role does not disappear into that description.

A well-being account makes that role especially clear. Sam Harris's The Moral Landscape expressly places the well-being of conscious creatures at the center of its account. My objection is not that he overlooks well-being or that evidence about it is useless. It is that identifying facts relevant to well-being does not make its authority as a moral standard independent of every being whose condition and valuation are involved. I can take those facts seriously and defend reducing suffering while declining the further claim of all-valuer independence. ^[8]

Finally, moral disagreement and historical change are illustrations, not the decisive proof. People can disagree about an objective fact; a community can discover that a long-standing belief was false. CG therefore cannot rest on the observation that opinions vary. Its argument has to establish the constitutive dependence. Once that dependence is stated, moral change becomes an inquiry into learning, expanding concern, altered circumstances, and the standards by which a change is assessed, rather than a substitute for the proof.

Where the physical account enters

Valuation is not outside the reality a physical account describes. An implemented valuer needs an account of its organization, persistence, inputs, and effects. RSI addresses physical carriers and their behavior; EG distinguishes that implementation work from the logical and evaluative claims it must support.

No physical equation, by itself, chooses the humane standard I have declared. No philosophical proof supplies all the measurements needed to identify a particular system's mechanism or suffering. The connection is that real changes in a real subject's organization can matter to experience and action. Explaining those changes can improve an evaluation without converting a measurement into an all-valuer-independent command. EL, FMFG, and EG carry the arguments about valuation, finite access, personhood, and totality. The physical account has its own work to do within those distinctions. ^[9]

Formal Argument 7.10: Contingency Guillotine

From Existential Logicism: A Logic-Based Engine for Navigating Reality, Chapter 7. The source's definitions, premises, lemmas, theorem, corollary, proofs, and remarks follow in their order. Source and reading location.

Long mathematical expressions can be scrolled horizontally on a narrow screen. Their surrounding explanation remains in the reading column.

The Contingency Guillotine concerns moral force constituted through valuers, not the claim that every truth becomes subjective because someone understands it. I distinguish a proposition’s descriptive truth, the applicability of its evaluative content, and the actual behavior it produces. A judgment can be mistaken, ignored, or opposed by the person it concerns without ceasing to be a judgment.

The argument’s target is strong independence from every valuer. Independence from one person’s approval is a different claim. Its proof uses the constitutive account of valuing defended in this chapter, made explicit below.

Definition 7.1. Valuer

A valuer is any subsystem $v$ of reality that:

Instantiates a non-trivial ordering $\preceq_v$ over a domain $S_v$ of accessible world-states (or internal states), and
Whose dynamics are systematically sensitive to that ordering, in the sense that, ceteris paribus, $v$ tends to move toward states $s' \in S_v$ with $s \prec_v s'$ and away from $s''$ with $s'' \prec_v s$ .

We write $\mathsf{Val}(v)$ when $v$ is such a subsystem.

Intuitively, valuerhood is the minimal structure needed for something to have better and worse states for it, and to behave in a way that tracks this.

Definition 7.2. Moral proposition

A proposition $P$ is moral, written $\mathsf{Moral}(P)$ , when its content purports to evaluate states or actions and license, require, or forbid behavior in an action-guiding sense. This is not merely a report that a group approves a practice.

For a declared circumstance $w$ , write $\mathsf{App}_M(P,w)$ when the conditions for that evaluative application are satisfied. Write $\llbracket P\rrbracket^M_w$ for its moral evaluation, with values $\mathsf T$ , $\mathsf F$ , or $\mathsf U$ , where $\mathsf U$ marks failed applicability, not a third physical condition. If applicability fails, this evaluation is $\mathsf U$ ; when it succeeds, further specified evaluative conditions determine whether it is $\mathsf T$ or $\mathsf F$ .

This partial evaluation is distinct from ordinary descriptive truth $\llbracket Q\rrbracket^D_w$ . A description of what agents would value, a logical conditional, or the report that no agents are present can retain ordinary truth conditions even where no moral judgment is instantiated. $\mathsf{App}_M$ also differs from compliance: an applicable judgment need not motivate or be obeyed by its addressee.

Constitutive valuer premise.

I take the evaluative ordering and practical stakes of a genuinely applicable moral judgment to be constituted through one or more valuers. The relevant valuer need not be the speaker or the person whose conduct is criticized. Affected persons, a community, or another qualifying system can supply stakes that the actor refuses to recognize. Merely requiring someone to read a proposition is not this constitutive dependence.

The chapter’s argument for the premise asks what supplies the judgment’s better/worse distinction and its practical significance. A bare physical description supplies what happens; a moral interpretation additionally evaluates it. Removing every valuing relation removes that additional evaluative basis, rather than creating a mind-independent directive. Calling the remaining description “wrong” does not itself restore the missing relation. This is my substantive account of moral content, not a consequence of the word “moral” or of ERP alone. A challenge must address that account rather than assume that any interpreted sentence is thereby valuer-dependent.

Comparison circumstances.

Let $\mathcal{C}_{\!M}$ be a class of interpretations for the declared objects, valuers, evaluative relations, and subject matter. It includes a test interpretation $w_0$ with one obtaining inert item, ordinary descriptive relations, and an empty valuer extension $V(w_0)=\varnothing$ . No evaluative ordering or action-guiding practice is attributed to that item. This explicitly supplies the comparison case; universal quantification alone would not supply it.

$w_0$ tests independence from the existence of valuers. It is not absolute nonbeing, an assertion that our physical universe lacks valuers, or a demonstration that every logically specified circumstance is physically possible. If a proposed independence claim excludes this circumstance, it has narrowed the comparison domain and is no longer the unrestricted claim defined next. A context must include the relevant subjects and temporal scope of the claim; deleting a valuer from a description is not proof that the valuer’s effects or relations vanish from reality.

Definition 7.3. Strongly objective moral proposition

A proposition $P$ is strongly objective as moral content, written $\mathsf{ObjMor}(P)$ , when it retains the same action-guiding moral interpretation throughout $\mathcal{C}_{\!M}$ , has a determinate moral evaluation $\llbracket P\rrbracket^M_w\in\{\mathsf T,\mathsf F\}$ in every member, and this applicability and evaluation do not depend constitutively on whether any valuers exist or on their valuing relations.

This is the strong, all-valuer-independent target. It does not mean merely that a claim can be true despite one person’s disapproval, that an evaluation can use impartial procedures, or that facts about suffering and behavior are whatever anyone prefers.

The same interpretation must survive the comparison. A descriptive conditional about what a hypothetical agent would prefer cannot replace an applicable moral evaluation halfway through the argument.

We now capture the core observation of the Contingency Guillotine chapter:

Lemma 7.1. Hidden valuer in moral content

Under the constitutive valuer premise, an applicable action-guiding moral proposition presupposes at least one relevant valuer in its declared circumstance:

\mathsf{Moral}(P)\land\mathsf{App}_M(P,w) \quad\Longrightarrow\quad \exists v\,\mathsf{Val}_w(v).

Proof. The constitutive premise assigns the judgment’s evaluative ordering and practical stakes to one or more valuers, not to the mere fact that a sentence is interpreted. If the judgment is applicable, those constitutive conditions must be supplied within the declared circumstance. If no valuer is available, the judgment lacks the valuing relation the premise requires. Thus applicability entails a valuer.

This inference is conditional on the stated account of moral force. It does not infer valuerhood from a truth about an unobserved particle or from a reader’s act of understanding arithmetic.

The next step distinguishes failed moral applicability from the truth of ordinary descriptions of a valuer-free circumstance.

Lemma 7.2. Moral vocabulary collapses in valuer-free worlds

Assume the constitutive valuer premise and the partial moral evaluation of Definition 7.2. If $\mathsf{Moral}(P)$ and $V(w)=\varnothing$ , then

\neg\mathsf{App}_M(P,w),\qquad \llbracket P\rrbracket^M_w=\mathsf U.

A descriptive reinterpretation $Q$ can still be true or false under $\llbracket Q\rrbracket^D_w$ . That is a different evaluation, not the recovery of the original judgment’s unconditional moral force.

Proof. Were $\mathsf{App}_M(P,w)$ true, Lemma 7.1 would supply a valuer, contrary to $V(w)=\varnothing$ . Applicability therefore fails. The declared partial evaluation assigns $\mathsf U$ in that case.

For example, an ordinary conditional beginning “if someone suffers” can be vacuously true in a circumstance without a sufferer. A report that nobody is suffering can also be true. Neither establishes an instantiated valuer-independent demand. Their descriptive truth remains available; it must not be confused with the applicable action-guiding interpretation at issue.

We can now state the Contingency Guillotine as a theorem.

Theorem 7.3. The Contingency Guillotine

Under the constitutive valuer premise, the declared partial moral interpretation, and the comparison class containing $w_0$ , no proposition retains strongly objective moral content:

\forall P\,\bigl(\mathsf{Moral}(P)\Longrightarrow\neg\mathsf{ObjMor}(P)\bigr).

The target is the all-valuer-independent moral interpretation in Definition 7.3.

Proof. Suppose $\mathsf{Moral}(P)$ and $\mathsf{ObjMor}(P)$ . The definition of strong objectivity requires determinate moral evaluation for the same interpretation in every member of $\mathcal{C}_{\!M}$ . The explicitly supplied $w_0$ is a member and has no valuers. Lemma 7.2 therefore gives $\llbracket P\rrbracket^M_{w_0}=\mathsf U$ , contradicting the required determinate moral evaluation.

Switching to a descriptive conditional does not remove the contradiction for the original claim; it changes the interpretation being tested. Excluding $w_0$ likewise changes the unrestricted independence claim. Hence $\mathsf{ObjMor}(P)$ fails under the stated premise set.

The result makes the target and its basis explicit. On the constitutive account I defend, moral force cannot both depend on valuing and remain intact after every such relation is removed. The theorem does not obtain a verdict on every use of “moral realism” merely from logical syntax. Its philosophical force depends on the defended account of evaluation and the stated reach of the independence claim.

Corollary 7.4. No mind-independent moral facts

Within the constitutive account and the strong independence test, no fact has the all-valuer-independent moral force specified by $\mathsf{ObjMor}$ . Applicable moral evaluations require valuers and the relevant valuing relations. They need not follow one individual’s approval, and descriptive truths about evaluative systems remain truths about reality.

Proof. An all-valuer-independent moral fact in the specified sense would have a proposition satisfying $\mathsf{ObjMor}$ , excluded by Theorem 7.3. The additional distinction follows from the target definition: rejecting dependence on one person’s approval is not the same as removing every constitutive valuer. The corollary supplies no inference from disagreement alone to falsity or from social agreement alone to truth.

Remark 7.5. Relation to David Hume’s is–ought

Hume’s is–ought challenge concerns a transition in reasoning that needs its evaluative premises identified. The Contingency Guillotine examines the constitution of the evaluative interpretation itself. Its stronger conclusion therefore uses a stronger, explicit premise about valuers. The internal-ought argument in the next chapter supplies a descriptive representation of agent-relative ranking; it does not use this corollary to manufacture an unconditional command.

Remark 7.6. Guillotine Test and familiar realisms

The chapter’s rock/star/zombie comparison asks what remains of a claimed moral principle when the valuing relation is removed. A rock or star can retain physical structure without thereby carrying a moral directive. A system with functioning valuations must not be declared valuer-free merely by calling it a zombie.

A proposal that grounds its judgment in suffering, cooperation, rational willing, or a deity’s valuation must explain those relations. Where a real valuer supplies them, the result is not independent of all valuers. Where every valuer is denied, the proposal must contest the constitutive premise or supply a different supported interpretation, rather than retaining moral force by a label alone. These alternatives identify the burden at the actual disputed step without turning every factual disagreement into a disagreement of preference.

Remark 7.7. Bridge to Deterministic Morality

Valuer dependence does not itself entail determinism. The next chapter separately inherits the PPD source-sufficiency conditions and represents valuers as causally organized systems within that account. Their valuations can then affect deliberation, judgment, punishment, and change.

My practical commitment to reducing suffering and improving lives supplies the humane standard for evaluating those effects. That commitment includes the chooser, affected people, and the conditions under which they act. It is not smuggled into every agent’s actual preferences, nor derived from the mere absence of an external moral legislator.

Questions that test the distinction

If the person causing harm doesn't care, does the judgment disappear?

No. The relevant valuer is not restricted to the person being criticized. The affected person's experience, interests, relationships, and vulnerability remain part of the circumstance. Other valuers can recognize stakes the actor ignores. Refusing a standard is not the same as removing every relation that constitutes its application.

CG distinguishes moral applicability from actual compliance. A person can reject a judgment that applies to their conduct. It also distinguishes the truth of what happened from anyone's approval: refusing to care about an injury does not make the injury disappear.

Does the argument erase wrongs when their victims die or nobody remembers them?

No. The comparison must preserve the subject matter and temporal scope of the claim. A judgment about an earlier action includes the beings, relations, and stakes relevant to that action. Omitting them from today's description does not prove that they were absent or that their effects vanished.

The valuer-free test interpretation is not a device for deleting inconvenient victims from an otherwise unchanged history. It specifies a circumstance with no constitutive valuing relations in the declared subject matter. A present record, a past injury, and an action-guiding judgment about that injury have to be distinguished, not erased together.

What about a God who necessarily exists and necessarily values the good?

Necessary existence and independence from a valuer are different claims. If the standard is constituted by that God's nature or valuation, it remains constituted by a valuer even when the account says the valuer cannot change. Constancy does not remove dependence.

Such a proposal may reject a comparison class containing a valuer-free interpretation. It then needs to defend the restricted domain and the asserted necessary deity. It has not supplied the unrestricted all-valuer independence tested by CG. Nor has it bypassed the separate questions of literal personhood, totality, revelation, or authority.

Is this merely a conclusion built into a definition?

The formal deduction makes the consequence of the premise set explicit. The substantive philosophical issue is the constitutive valuer premise: whether moral evaluation's ordering and practical stakes can exist independently of all valuing relations. I defend the dependence by asking what supplies those features and what remains when they are removed.

Defining the strong target does not prove that every author who uses “objective” means that target. It also does not make the dependence premise a fact of logical syntax. A serious objection should address that premise, the comparison class, or the interpretation being tested. An equally serious defense must retain them. The resulting constraint is not weakened by showing exactly what establishes it.

Does everyone agreeing make a moral rule objective?

Agreement can matter to coordination and can sometimes reflect shared evidence or shared concern. It does not remove the valuers who agree. A consensus remains a relation among a population, not proof of a standard's independence from every possible valuer.

The reverse inference fails too. Disagreement alone does not show that a factual claim is false or that every proposed moral response is equally defensible. We can examine evidence, consistency, access, effects, and the declared standard. CG does not turn a vote into truth or a disagreement into permission to ignore consequences.

Could a valuer exist without human language or familiar consciousness?

The formal criterion is a nontrivial ordering and dynamics sensitive to it, not membership in a species or the ability to deliver a speech. Identifying that structure in a particular system requires evidence. Identifying experience or suffering may require further evidence. Neither question should be decided by a familiar label alone.

This is also why calling a system a “zombie” cannot make it valuer-free while its functional valuation remains stipulated. The comparison must actually remove the relevant structure. Conversely, the existence of a simple preference-like ordering does not automatically establish a complete moral agent or a rich experiential subject.

Could total reality be conscious through its parts?

The existence of subjects within reality establishes that reality can instantiate subjects. It does not establish that exhaustive reality is one additional subject. A proposal for a whole-level subject has to explain the relevant organization and what identifies that subject, rather than infer it solely from the presence of conscious parts.

The Finite God argument here concerns a specific conjunction: a distinct literal preference-bearing person, identity with exhaustive totality, and the proper-standpoint premise. CG does not independently measure a universal mind or settle every physical theory of consciousness. It helps make the evaluative bearer explicit; the personhood and identity arguments supply their further constraints.

If morality is constructed, why take it seriously?

A practice can depend on beings and still affect them profoundly. Dependence is not the same as make-believe. The phrase “necessary fiction” in the EL chapter challenges the imagined independent moral law; it is not a claim that suffering, care, trust, or their consequences are unreal.

We still have to ask what a practice protects, whom it harms, and whether its account of the situation is accurate. My commitment to reducing suffering remains available for that work. What CG removes is the supposed guarantee that a practice has already justified itself merely by claiming an authority outside every valuer.

Does moral certainty or a feeling of duty prove a stance-free law?

The feeling is an occurrence, and its role in the person's life can be substantial. Its reality does not settle every interpretation of its source. That is the same distinction ERP protects between occurrence and the further claims made about what occurs.

A conviction can be sincere, stable, widely shared, and practically important without becoming independent of all valuing. Understanding its causes is not a dismissal of its seriousness. It helps us assess what the conviction supports and whether acting on it respects the people affected.

What follows after the guillotine?

The task is to understand the valuers and their interactions. Deterministic Moral Forces brings the causal account to the moral field: how priorities, beliefs, capacities, habits, circumstances, and reflection generate judgments and actions, including the responses we make to harm.

CG does not make that next inquiry optional by solving every ethical problem at once. It gives the inquiry a location. We investigate and improve the actual conditions of finite lives rather than searching for a moral command whose authority survives the removal of every life and every valuing relation.

Terms to keep distinct

Epistemic agent: A system capable of tokening substantive representational states. Knowing through an interface does not make every known fact a product of approval.
Valuer: A subsystem with a nontrivial ordering over accessible states and dynamics systematically sensitive to that ordering. The term identifies a structure; particular consciousness and suffering claims require their own support.
Constitutive dependence: Dependence on something that supplies the evaluative ordering and practical stakes themselves, not merely on a reader who discovers or understands a sentence.
Strong moral objectivity: The all-valuer-independent action-guiding interpretation defined in the formal argument. It is not interchangeable with impartial assessment, factual accuracy, or independence from one person's wishes.
Proper standpoint: A distinct bearer's orientation within reality, as used in EG's explicit premise connecting literal personal evaluation to finitude. This is not a measurement of the bearer's physical size or power.
Totality and grounding: Exhaustive totality includes everything that obtains. Grounding is a relation of dependence or support. A claim about grounding is not automatically a claim of numerical identity with totality.
Internal ought: An agent-relative ranking under specified valuations, beliefs, and options. Representing that ranking does not endorse it, guarantee compliance, or turn it into an unconditional command.

Sources and further reading

The central argument is developed in Existential Logicism. Its applications to personhood, totality, finite knowledge, fairness, and meaning are developed in Finite Mind, Finite God and Existential Ground. The locations below distinguish those contributions.

Matthew Tripp Zejda, Existential Logicism: A Logic-Based Engine for Navigating Reality. Chapter 7, “The Contingency Guillotine (Pillar 6),” especially §§7.3 and 7.8; Formal Argument 7.10, printed pp. 214–220. The complete formal argument above retains its source numbering. Chapters 1–2 and 6 supply the distinct occurrence, finite-interface, and consciousness background. Read about the Engine.
Matthew Tripp Zejda, Existential Logicism: A Logic-Based Tool for Navigating Reality. Chapter 7 provides the prose treatment of CG, with Chapter 8 continuing into deterministic morality. The Tool is the reading route without the Engine's interleaved formal sections. Read about the Tool.
Matthew Tripp Zejda, Finite Mind, Finite God. Chapter 1, especially §§1.3–1.6; Chapter 7, “Preference, Personhood, and the Finite God Trap,” including its formal derivation; Chapters 6 and 8 for analogy, apophatic pressure, and nondual ultimacy. These arguments develop the preference and personhood connection rather than replacing it with the bare claim that moral opinions differ. Read about FMFG.
Matthew Tripp Zejda, Existential Ground. Chapters 2–4; §14.9, “Subjects exist inside a ground that is not itself a subject”; Chapter 15, “God, Totality, and the Existential Ground”; Appendix A.12.1, especially Definitions A.77–A.78 and Theorems A.79–A.80. The proper-standpoint and ultimacy-as-totality conditions belong to this formulation. Explore Existential Ground.
EL and EG on agency and value. Existential Logicism, Chapter 8 and Formal Arguments 8.4 and 8.12; Existential Ground, §16.6, “Responsibility without metaphysical blame,” Chapter 18, “Meaning, Love, and Purpose Without Illusion,” and Appendix A's finite meaning, love, and purpose arguments. These supply the distinction between CG and the causal account, the relational value floor, and the internal-ought interpretation.
FMFG and EG on finite access and fairness. Finite Mind, Finite God, Chapters 2–5 and 9–10, including the Human Interface Thesis, Fairness Clause, Salvation Paradox, translation layers, and control overlays; Existential Ground, Chapters 15 and 17. The access/capacity and no-fault nonbelief arguments retain their own stated premises.
Historical starting points. David Hume, A Treatise of Human Nature, ed. L. A. Selby-Bigge, revised P. H. Nidditch, 2nd ed. (Oxford University Press, 1978), III.i.1.27, pp. 469–470; read the relevant section. Plato, Euthyphro, 10a–11b; Benjamin Jowett's translation. The connection is identified in EL's Chapter 7; these texts are not being presented as earlier statements of CG.
Rational duty and well-being. Immanuel Kant, Groundwork of the Metaphysics of Morals, ed. and trans. Mary Gregor (Cambridge University Press, 1998), especially Sections II–III; Sam Harris, The Moral Landscape: How Science Can Determine Human Values (Free Press, 2010). EL's Chapter 7 discusses these approaches while distinguishing facts relevant to a standard from the claim of all-valuer-independent moral authority.
The physical connection. Existential Ground, Chapters 12–13, especially the distinction between logical constraints and physical implementation; Matthew Tripp Zejda, Resolution State Interface: Introduction to Universal Relativity. The physical work concerns carriers, organization, and tested behavior, not an independent derivation of the evaluative standard. Read about the physical account.

Read the Engine PDF Read the Tool PDF Explore Existential Logicism