{
  "author": "Maclain Hunter",
  "title": "Tautological Formal Systems of Logic",
  "identifier": "hunter-tautological-formal-systems",
  "sourceKind": "authored-foundational-record",
  "content": "P: FSLs (coherent “Formal Systems of Logic”) are tautological as First Cause derived, Logic-as-Axiom, systems.\n\nQ: Necessarily: Stating FSL may not exist is absurd. It contradicts FSL’s identity as Logic’s necessary formal embodiment.\n\n{P, Q, P <-> Q} |= (P & Q) & ~~(P & Q) \n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:11:12.666Z",
  "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."
}