{
  "author": "Maclain Hunter",
  "title": "Soundness and Logos",
  "identifier": "hunter-soundness-logos",
  "sourceKind": "authored-foundational-record",
  "content": "P: An unsound premise = an unsound argument \n\nQ: A sound premise = a sound argument \n\nR: Logic is proven to exist by BOTH P and Q since the uphold Logos and don’t refute Logos. \n\n{P, P <-> Q, R -> (P & Q) |= (P & Q) & R",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T22:14:04.048Z",
  "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."
}