{
  "author": "Maclain Hunter",
  "title": "Coherent Formal Systems of Logic",
  "identifier": "hunter-coherent-formal-systems",
  "sourceKind": "authored-foundational-record",
  "content": "P: Formal systems of Logic (FSL) are fully coherent with Logic, or not. If not, they’re invalid FSL (~FSL) per LEM and LNC. \n\nQ: Gödel’s Theorems apply to ~FSL, not coherent FSLs.\n\nR: Truth is contingent on Logic (thus true FSLs). \n\n{P, P -> Q, R, R -> Q} |= ~Q <-> ~(P & R)\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:09:08.936Z",
  "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."
}