Thermodynamic Realism: Diagnosing Whether a Question Has a Domain

Thermodynamic Realism: Diagnosing Whether a Question Has a Domain

A four-filter procedure for determining whether a question's central operator is deployed where it has content, and therefore whether the question is a candidate for truth or falsity.

This is a diagnostic procedure. It takes a question and determines whether the question's central operator — ought, meaning, purpose, cause, before — is deployed within a domain where it has content. It does not determine whether the answer to the question is true. It determines whether the question is a candidate for truth or falsity at all.

The procedure is an application of Thermodynamic Realism. The apex paper establishes (T11, §5.1) that "ought" is a domain-bound operator: it has content only when indexed to an agent with persistence conditions. This procedure generalizes that single result, applying the same test to any operator. A question whose operator has no domain is, in the framework's vocabulary, a ghost: grammatically well-formed and physically contentless.

The premise the procedure depends on

The procedure depends on one premise: domain-bound semantics. Operators such as "ought," "meaning," and "purpose" are agent-relative — their content is fixed by the persistence conditions of the physical agent they are indexed to; deployed with no such agent, they are type-errored rather than false.

This premise is not entailed by physicalism. A physicalist can consistently reject it: a naturalist moral realist holds that "ought" refers to an agent-independent natural property; an expressivist holds that "ought" does not refer at all. Domain-bound semantics is Thermodynamic Realism's argued position, defended in §5.1 of the apex paper by an argument from the practical function of "ought." Its support is explanatory — it claims to unify a wide range of cases under one account — not deductive. A reader who rejects the premise should expect the procedure to yield nothing, because it has no force independent of the premise.

The four filters

Apply the filters in sequence. Each asks whether a feature can be specified in principle — whether the relevant physical structure can be pointed to — not for a measurement.

Filter 1 — The agent
Which physical system asks, holds, or is puzzled by the question?
Flagged if no physical system can be identified: the operator has no user.
Filter 2 — The persistence conditions
What does that system depend on to continue existing — which boundaries, gradients, and resource flows?
Flagged if none can be specified: the candidate is not an agent in the framework's sense, only something named like one.
Filter 3 — The model
Which internal model or signal does the agent use to track the part of the world the question refers to?
Flagged if the question refers to neither a feature of the environment nor a state of the agent: there is no map and no territory.
Filter 4 — The necessity
Which selection, thermodynamic, or informational pressure requires the agent to maintain this model rather than discard it?
Flagged if the model has no predictive function and no cost of absence: it is ornamental.

A question that passes all four filters is territorial: its operator is deployed within a domain, and the question is a proper candidate for truth or falsity.

What a flag means

A flag is not a verdict. The procedure does not output "ghost"; it outputs "flagged at filter N," and a flag has three possible explanations, which the procedure does not discriminate among:

  1. the question is genuinely type-errored — a ghost;
  2. a territorial reading of the question exists that has not been found;
  3. the procedure is miscalibrated for this case.

The verdict "ghost" is reached only after explanations 2 and 3 have been investigated and excluded. A flag therefore initiates investigation; it does not conclude it. If a flag were treated as a conclusion, every incorrect flag would permanently remove a genuine question from consideration — and because that question would no longer be examined, the error could never be detected. A flag that ends inquiry is self-confirming and cannot be corrected. This is the reason the procedure's output is a flag and not a verdict.

Ghosts and false claims are different

A ghost is distinct from a false claim. A false claim has a domain and is incorrect within it. A ghost has no domain. "What is north of the North Pole?" is not false — "north of" is undefined at the pole. A ghost can nonetheless feel meaningful: a human is always an agent, and on encountering an operator with no domain it supplies one — its own agent-frame — so the operator appears to carry content. The supplied frame is the source of that appearance.

Worked examples

In most cases the procedure does not return a flat verdict. It separates a territorial reading of a question from a type-errored one and identifies which reading is in use.

"What ought I do?"
Territorial reading — the operator is indexed to the speaker, an agent with persistence conditions.
Type-errored reading — "what ought to be the case, indexed to no agent."
Result — territorial under the ordinary reading; only the unindexed reading is flagged.
"What is the meaning of life?"
Territorial reading — "what should I value, given the life I have" — indexed to the speaker.
Type-errored reading — "what is the existence of the universe for" — a purpose-operator with no agent to hold the purpose.
Result — the question is ambiguous; the procedure identifies which of the two readings is being asked.
"Why is there something rather than nothing?"
Territorial reading — none readily constructible: "nothing" has no physical referent, and a cause-operator applied to the totality of physical existence reaches outside the thermodynamic interval.
Type-errored reading — a cause-operator with no system and no antecedent state.
Result — flagged. The flag is not a dismissal: the question is treated as live by physicists and philosophers, and the flag directs attention to the operator, per the three explanations above.
"Is free will real?"
Territorial reading — whether agents maintain internal models of their own action-selection. They do, and the model is necessary.
Type-errored candidate — libertarian free will, an uncaused cause.
Result — a territorial core with one contested component. Whether libertarian free will is additionally real is a first-order question; the procedure locates it and does not settle it.

Where the procedure fails

The procedure has a false-positive rate. It flags a territorial question as type-errored when:

  1. a territorial reading exists that the user did not construct — the limitation is the user's, not the question's;
  2. the operator is novel and does not yet fit the agent/persistence schema — which may indicate a limit of the schema rather than a defect in the question;
  3. the premise is too narrow — domain-bound semantics may not correctly characterize every operator.

It also has a false-negative rate: a genuinely type-errored question can pass all four filters if a plausible-looking agent, model, and necessity are constructed for it. The procedure constrains inquiry; it does not replace it.

The procedure applied to itself

The procedure can be applied to itself. The agent: the user. The persistence conditions: specifiable. The model: the procedure is a model — though its territory, "whether a question has a domain," is itself a construct of this framework, so Filter 3 is non-trivial in this case. The necessity: the procedure reduces resources spent on type-errored questions, conditional on the procedure being correct. The procedure passes its four filters.

This is not a validation. The filters are constructed from the same commitments the procedure applies; a test built from a premise will pass premise-conforming objects, including itself. Passing does not establish correctness. The procedure can be supported only by external checks — cases where its verdict is verifiable independently of the framework — and revised when those checks fail.

Scope

The procedure determines domain-membership, not truth. A territorial verdict does not make a claim true; it makes the claim eligible for evaluation. A flag does not make a question meaningless; it identifies a question that requires the investigation set out above. The procedure's reliability is bounded by the premise it depends on and by the error rates stated. Within those bounds it isolates one specific and common defect: an operator deployed where it has no domain.

A companion to the Thermodynamic Realism apex paper, its glossary, and its deductive web. Developed by Andraž &DJ;urič with Claude (Anthropic). Licensed CC BY 4.0.

Comments

Popular posts from this blog

What You Actually Are

The Shape of the Disagreement: Why the Sex and Gender Debate Has the Structure It Has

Value as Persistence: Agent-relative oughts under coupling, nesting, uncertainty, and open-ended time