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.
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:
- the question is genuinely type-errored — a ghost;
- a territorial reading of the question exists that has not been found;
- 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.
Where the procedure fails
The procedure has a false-positive rate. It flags a territorial question as type-errored when:
- a territorial reading exists that the user did not construct — the limitation is the user's, not the question's;
- 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;
- 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
Post a Comment