{
  "author": "Maclain Hunter",
  "title": "Proof Acknowledges First Cause by Maclain Hunter",
  "identifier": "hunter-proof-acknowledges-first-cause",
  "sourceKind": "authored-foundational-record",
  "content": "Proof Acknowledges First Cause by Maclain Hunter:\n\nPremises:\n\nP: □: It evidences ignorance of what evidence/proof (y) is to posit a lack of evidence/proof (y) of the Logical Origin of Logic (x). \n\nQ: □: Proof (y) acknowledges the First Cause (x), also called God (Logos).\n\nFormal Argument:\n\n{P, P <-> Q, Q} |= P & Q\n\nErgo: \n\n□(P & Q): □(∃(x, y))\n\nTruth Table Analysis: \n\nvalid \n\nPQ⎪P P↔Q Q╞P&Q\n\n―――――――――――――――\n\nTT⎪T TTT T TTT\nTF⎪T TFF F TFF\nFT⎪F FFT T FFT\nFF⎪F FTF F FFF\n\nQ.E.D.",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T17:32:10.052Z",
  "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."
}