{
  "author": "Maclain Hunter",
  "title": "Universal and Local Logic — Two Proofs",
  "identifier": "hunter-universal-local-logic",
  "sourceKind": "authored-foundational-record",
  "content": "Proof 1: \n\nP: Logic: the Order inherent in the Foundation of Existence; the Logical Absolute; the First Cause.\n\nQ: Logical contingency of the first order or primary state.\n\nR: Logical contingency of an intermediate order/state.\n\nS: Logical contingency of a final or infinite order/state. \n\nT: A given concept or set of concepts.\n\nU: All concepts and all sets of concepts.\n   PQRSTU⎪P╞(((Q→Q)&(R↔R))&((S∨¬S)&(T→¬¬T)))→(¬U↔¬¬¬U)\n――――――――――――――――――――――――――――――――――――――――――――――――――――\nTTTTTT⎪T    TTT T TTT  T  TTFT T TTTFT   T FTTFTFT \nTTTTTF⎪T    TTT T TTT  T  TTFT T TTTFT   T TFTTFTF \nTTTTFT⎪T    TTT T TTT  T  TTFT T FTFTF   T FTTFTFT \nTTTTFF⎪T    TTT T TTT  T  TTFT T FTFTF   T TFTTFTF \nTTTFTT⎪T    TTT T TTT  T  FTTF T TTTFT   T FTTFTFT \nTTTFTF⎪T    TTT T TTT  T  FTTF T TTTFT   T TFTTFTF \nTTTFFT⎪T    TTT T TTT  T  FTTF T FTFTF   T FTTFTFT \nTTTFFF⎪T    TTT T TTT  T  FTTF T FTFTF   T TFTTFTF \nTTFTTT⎪T    TTT T FTF  T  TTFT T TTTFT   T FTTFTFT \nTTFTTF⎪T    TTT T FTF  T  TTFT T TTTFT   T TFTTFTF \nTTFTFT⎪T    TTT T FTF  T  TTFT T FTFTF   T FTTFTFT \nTTFTFF⎪T    TTT T FTF  T  TTFT T FTFTF   T TFTTFTF \nTTFFTT⎪T    TTT T FTF  T  FTTF T TTTFT   T FTTFTFT \nTTFFTF⎪T    TTT T FTF  T  FTTF T TTTFT   T TFTTFTF \nTTFFFT⎪T    TTT T FTF  T  FTTF T FTFTF   T FTTFTFT \nTTFFFF⎪T    TTT T FTF  T  FTTF T FTFTF   T TFTTFTF \nTFTTTT⎪T    FTF T TTT  T  TTFT T TTTFT   T FTTFTFT \nTFTTTF⎪T    FTF T TTT  T  TTFT T TTTFT   T TFTTFTF \nTFTTFT⎪T    FTF T TTT  T  TTFT T FTFTF   T FTTFTFT \nTFTTFF⎪T    FTF T TTT  T  TTFT T FTFTF   T TFTTFTF \nTFTFTT⎪T    FTF T TTT  T  FTTF T TTTFT   T FTTFTFT \nTFTFTF⎪T    FTF T TTT  T  FTTF T TTTFT   T TFTTFTF \nTFTFFT⎪T    FTF T TTT  T  FTTF T FTFTF   T FTTFTFT \nTFTFFF⎪T    FTF T TTT  T  FTTF T FTFTF   T TFTTFTF \nTFFTTT⎪T    FTF T FTF  T  TTFT T TTTFT   T FTTFTFT \nTFFTTF⎪T    FTF T FTF  T  TTFT T TTTFT   T TFTTFTF \nTFFTFT⎪T    FTF T FTF  T  TTFT T FTFTF   T FTTFTFT \nTFFTFF⎪T    FTF T FTF  T  TTFT T FTFTF   T TFTTFTF \nTFFFTT⎪T    FTF T FTF  T  FTTF T TTTFT   T FTTFTFT \nTFFFTF⎪T    FTF T FTF  T  FTTF T TTTFT   T TFTTFTF \nTFFFFT⎪T    FTF T FTF  T  FTTF T FTFTF   T FTTFTFT \nTFFFFF⎪T    FTF T FTF  T  FTTF T FTFTF   T TFTTFTF \nFTTTTT⎪F    TTT T TTT  T  TTFT T TTTFT   T FTTFTFT \nFTTTTF⎪F    TTT T TTT  T  TTFT T TTTFT   T TFTTFTF \nFTTTFT⎪F    TTT T TTT  T  TTFT T FTFTF   T FTTFTFT \nFTTTFF⎪F    TTT T TTT  T  TTFT T FTFTF   T TFTTFTF \nFTTFTT⎪F    TTT T TTT  T  FTTF T TTTFT   T FTTFTFT \nFTTFTF⎪F    TTT T TTT  T  FTTF T TTTFT   T TFTTFTF \nFTTFFT⎪F    TTT T TTT  T  FTTF T FTFTF   T FTTFTFT \nFTTFFF⎪F    TTT T TTT  T  FTTF T FTFTF   T TFTTFTF \nFTFTTT⎪F    TTT T FTF  T  TTFT T TTTFT   T FTTFTFT \nFTFTTF⎪F    TTT T FTF  T  TTFT T TTTFT   T TFTTFTF \nFTFTFT⎪F    TTT T FTF  T  TTFT T FTFTF   T FTTFTFT \nFTFTFF⎪F    TTT T FTF  T  TTFT T FTFTF   T TFTTFTF \nFTFFTT⎪F    TTT T FTF  T  FTTF T TTTFT   T FTTFTFT \nFTFFTF⎪F    TTT T FTF  T  FTTF T TTTFT   T TFTTFTF \nFTFFFT⎪F    TTT T FTF  T  FTTF T FTFTF   T FTTFTFT \nFTFFFF⎪F    TTT T FTF  T  FTTF T FTFTF   T TFTTFTF \nFFTTTT⎪F    FTF T TTT  T  TTFT T TTTFT   T FTTFTFT \nFFTTTF⎪F    FTF T TTT  T  TTFT T TTTFT   T TFTTFTF \nFFTTFT⎪F    FTF T TTT  T  TTFT T FTFTF   T FTTFTFT \nFFTTFF⎪F    FTF T TTT  T  TTFT T FTFTF   T TFTTFTF \nFFTFTT⎪F    FTF T TTT  T  FTTF T TTTFT   T FTTFTFT \nFFTFTF⎪F    FTF T TTT  T  FTTF T TTTFT   T TFTTFTF \nFFTFFT⎪F    FTF T TTT  T  FTTF T FTFTF   T FTTFTFT \nFFTFFF⎪F    FTF T TTT  T  FTTF T FTFTF   T TFTTFTF \nFFFTTT⎪F    FTF T FTF  T  TTFT T TTTFT   T FTTFTFT \nFFFTTF⎪F    FTF T FTF  T  TTFT T TTTFT   T TFTTFTF \nFFFTFT⎪F    FTF T FTF  T  TTFT T FTFTF   T FTTFTFT \nFFFTFF⎪F    FTF T FTF  T  TTFT T FTFTF   T TFTTFTF \nFFFFTT⎪F    FTF T FTF  T  FTTF T TTTFT   T FTTFTFT \nFFFFTF⎪F    FTF T FTF  T  FTTF T TTTFT   T TFTTFTF \nFFFFFT⎪F    FTF T FTF  T  FTTF T FTFTF   T FTTFTFT \nFFFFFF⎪F    FTF T FTF  T  FTTF T FTFTF   T TFTTFTF \n\nProof 2: \n\nP: The Logical Absolute (Logic); Universal Logic; Non-Local Reason (Logos)\n\nU: Local logics; Personal reasoning; Finite reasons; rationally limited or logically contingent aspects of Logical Existence.\n\nPU⎪¬U↔¬¬¬U╞P∨¬P\n――――――――――――――――\nTT⎪FTTFTFT TTFT\nTF⎪TFTTFTF TTFT\nFT⎪FTTFTFT FTTF\nFF⎪TFTTFTF FTTF\n",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T21:46:47.892Z",
  "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."
}