{
  "author": "Maclain Hunter",
  "title": "Logical Ground Before Sensing",
  "identifier": "hunter-logical-ground-before-sensing",
  "sourceKind": "authored-foundational-record",
  "content": "P: Logic is logically the Ground of Logic.\n\nQ: Logic and Existence can’t be illogically derived sans contradiction.\n\nR: Empiricism can’t be the Ground as the input sensed (at least) comes prior to the detection of it.\n\n{P, Q <-> P, R <-> P} |= R <-> (Q <-> P)\n\nQED",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:44:14.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."
}