Draft of Chapter on Computability for Volume 1 (NLI Pls Review)
-
Enforceable (must be possible to act upon)
-
Decidable (must be possible to determine application)
-
Computable (must be possible to decide without discretion)
-
Turing computability: machine-executability of algorithms
-
Economic computability: optimization across preferences
-
Mathematical computability: symbolic logic under axioms
-
All terms are operational (reducible to observable human actions)
-
All claims are testifiable (falsifiable, warrantable)
-
All judgments are non-discretionary (repeatable across agents)
-
All costs are reciprocally insurable (no unaccounted imposition)
-
All agents are symmetrically liable under the same rules
-
Truth: via correspondence, operationalization, and testimony
-
Morality: via reciprocity in display, word, and deed
-
Law: via transformation of claims into operational sequences
-
Institutions: via algorithmic enforcement of constraint
-
Speech: via testimonial standards and liability
-
Input: Demonstrated interest, claim, or act
-
Process: Operational reduction + adversarial testing
-
Output: Reciprocal judgment
-
Trust decays with population size
-
Law fragments with institutional capture
-
Morality dilutes with inclusion
-
Fraud grows with complexity
-
Constraint scales with information
-
Trust persists despite anonymity
-
Morality becomes decidable
-
Law resists interpretation
-
Bureaucracy self-perpetuates
-
Judiciary inflates discretion
-
Legislatures create unfalsifiable law
-
Media obscures cost
-
Legislation must be operational
-
Judgment must be reproducible
-
Testimony must be warrantable
-
Constraint scales with information
-
Truth is enforced without hierarchy
-
Institutions resist narrative capture
-
Cooperation becomes testable and universal
All human judgment presumes the physical world operates under invariant cause and effect. There are no miracles, no metaphysical insertions—only sequences of transformations within the constraints of energy, matter, and time. This foundation prohibits appeals to supernaturalism, constructivism, or relativism.
Only what exists independently of our desires, narratives, or interpretations can be reasoned about. Realism grounds claims in the ontological permanence of objects and consequences. If a claim refers to something unobservable or undefined, it is not computable—it is mythology.
To be meaningful, a term must reduce to observable operations. This principle bars undefined abstractions, emotional projections, and discretionary interpretations. Operationalism gives language its accountability: a term must describe a process, not a feeling.
Instrumentalism asserts that knowledge is justified not by metaphysical truth but by its ability to produce reliable transformations. This reframes truth as constrained utility. We abandon speculation in favor of survivability, coherence, and testable application.
Testifiability provides the method for verifying claims. A statement is truthful if it survives adversarial challenge under conditions of reciprocity. This includes falsifiability, due diligence, and warrant. Truth becomes not a correspondence to ideal forms but a performative success under exposure to disproof.
A claim is decidable if it satisfies the demand for infallibility in the context—without relying on subjective discretion. Different contexts demand different thresholds: from intelligibility (conversation) to tautology (axiomatics). This replaces vague ‘truth conditions’ with an explicit demand-satisfaction model.
A judgment or system is computable if it can be resolved by a finite, non-discretionary sequence of operational transformations. Computability transforms law, morality, and policy from domains of interpretation to domains of execution. It guarantees constraint without corruption.
Source date (UTC): 2025-07-07 18:20:46 UTC
Original post: https://x.com/i/articles/1942287693586784312