Curt Doolittle

TRUTH — why it works, how to run it, what it produces Truth = satisfaction of th

Written by

Curt Doolittle

in

TRUTH — why it works, how to run it, what it produces

Truth = satisfaction of the demand for testifiability across all relevant dimensions, without discretion.
Consequence: a claim is admissible when its terms are operationalized, its entailments are observable (or procedurally reproducible), its scope is declared, and its contradictions are surfaced or ruled out.
  1. Terminology is operational (observable tests or procedures exist).
  2. Consistency holds (categorical & logical).
  3. Correspondence is warranted (observables or warranted models).
  4. Repeatability exists (a sequence others can execute).
  5. Scope is disclosed (domain, limits, uncertainty, defeaters).
When these hold, the claim is truth-admissible. (Not “true forever,” but fit for judgment and downstream reciprocity checks.)
  • Ambiguity expands the hypothesis space → costly, unbounded search.
  • Operationalization collapses ambiguity into a finite, checkable set of entailments.
  • Consistency & correspondence remove contradictions and fantasies.
  • Repeatability converts testimony into procedure (anyone can run it).
  • Scope disclosure controls error by bounding context and uncertainty.
    Together these enforce     closure: all operations remain inside the grammar of observation & procedure.
LLMs already excel at:
  • Normalization of terms (detecting shifts, conflations).
  • Unification / anti-unification (finding contradictions/alignments).
  • Plan synthesis (turning text into checklists/procedures).
  • Hole-filling (enumerating missing warrants, scope gaps).
    So if we give the model a fixed schema (below), it can produce truth-admissibility with high reliability in non-cardinal domains—because none of this requires numbers, only     positional relations and procedural warrants.
  • Inflated terms (“harm,” “justice”) → force operationalization: specify which demonstrated interests, what measurable imposition, by which act, on whom.
  • Model overreach (pretending a correlation is causal) → demand procedure (intervention, counterfactual, or explicit limits).
  • Cherry-picking → require defeater enumeration: list known counters and why they don’t defeat the claim within scope.
Use this verbatim; it’s compact and covers everything you’ll need downstream.
Decision rule:
  • If any term lacks an operational test → Undecidable: Insufficient Warrant.
  • If consistency fails → Inadmissible: Contradiction (or revise).
  • If correspondence is unknown on critical entailments → Undecidable until gathered.
  • If repeatability is undefined → Undecidable.
  • If scope is missing → Undecidable (preventing overgeneralization).
  • Else → Admissible (proceed to Reciprocity).
  • Tautological / Analytic: passes trivially; scope minimal.
  • Ideal: operationalizable within model assumptions; scope explicitly bounded.
  • Truthful: passes with evidence; uncertainty declared.
  • Honest: includes due diligence on defeaters and warranties.
    We tag the output with the highest level satisfied.
Claim: “School uniforms reduce bullying.”
  • Terms:
    “Bullying” = repeated, intentional aggression producing demonstrable imposition on time/opportunity/status (operational: incident reports meeting criteria X/Y/Z).
    “Reduce” = lower incident rate per student-week relative to baseline/controls.
    “Uniforms” = mandated dress code defined by policy P.
  • Consistency: Terms stable across datasets? Yes/No.
  • Correspondence (entailments):
    If true, post-policy incident rate declines vs matched pre-period or matched schools without policy; displacement to off-campus does not fully offset.
  • Repeatability: Procedure = (1) collect incident logs; (2) match cohorts; (3) difference-in-differences; (4) robustness checks for reporting bias.
  • Scope: Applicable to mid-size public schools; excludes selective schools; uncertainty: reporting incentives may change. Defeater: policy coincides with anti-bullying campaign.
  • Verdict: If evidence is partial and confounded → Undecidable with missing warrants: adjust for reporting incentives; include off-campus displacement; add robustness checks.
    No numbers were required to get a     truth-admissibility ruling; only operational relations and procedures.
  • Truth collapses semantic and procedural ambiguity → creates a closed, commensurable object.
  • That object is now suitable for Reciprocity audits (who bears costs/risks), which in turn enables Decidability (a feasible set), Judgment (lexicographic selection), and Explanation (an audit certificate).
Use as the handoff artifact to Reciprocity:
TRUTH_CERT
– Claim: …
– Operational terms: pass (list)
– Consistency: categorical=pass; logical=pass
– Entailments & evidence: table (supported/contradicted/unknown)
– Procedure (repeatable): steps + replication risks
– Scope: domain, exclusions, uncertainty, defeaters
– Verdict: Admissible / Undecidable / Inadmissible
– Missing warrants (if any): list

Source date (UTC): 2025-08-24 03:19:28 UTC

Original post: https://x.com/i/articles/1959455489324138529

Comments

Leave a Reply

Your email address will not be published. Required fields are marked *

More posts