{
  "author": "Maclain Hunter",
  "title": "Logic as a Unified Tautological Rule",
  "identifier": "hunter-unified-tautological-rule",
  "sourceKind": "authored-foundational-record",
  "content": "First let’s start with some purely formal Logic that displays Logic itself as a unified tautological Rule. \n\nExample: \n\n{(P v Q) ->} |= (P -> (P -> ~(P -> ~P))) v (Q -> (Q -> (Q -> ~Q)))",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:09:03.065Z",
  "originalAuthoredAt": null,
  "propositionMeaningBoundary": "Atomic identifiers retain their meanings in the exact source. No arbitrary truth assignment establishes an ontological or empirical premise; the formal witness checks the written inference."
}