Absolute Logic in Universal Contingency by Maclain Hunter

Authored by Maclain Hunter · first-party-authored · authored-foundational-record

Stored 4P source diagnostic: unresolved · finding unverified_concern · admission held_for_format. This intake result is separate from the theorem checks of the exact propositional sequent.

Absolute Logic in Universal Contingency by Maclain Hunter Premises: P: Assume universal contingency and nothing that is logically Absolute (or God in that sense of the Absolute or God of Reason, personal or not). Q: Logic remains something that even while logically contingent (or assumed to be such) cannot both stay Logic and diverge from Logic, as say an incoherent human can stay human while diverging from Logic. R: Logic is logically valid contingent upon Logic, while other concepts do not without fallacy or incoherence get to “deviate from Logic validly” and be contingent upon only themselves (as Logic could be valid while deviant from all other concepts and needs only alignment with itself for validity under assumed universal contingency - which means “even when we start without assuming Logic as Absolute”. S: Given {P, Q, R} Logic is logically Absolute (and God in that sense of the thing that all else relies on to exist logically while it relies only on itself for existence) without that being a presupposition and even when the assumption of the opposite is our presupposed starting point. Proof: {P, P -> Q, Q -> R, ((P & Q) & R) -> S} |= S Truth Table: PQRS⎪P P→Q Q→R ((P&Q)&R)→S╞S TTTT⎪T TTT TTT TTT TT TT T TTTF⎪T TTT TTT TTT TT FF F TTFT⎪T TTT TFF TTT FF TT T TTFF⎪T TTT TFF TTT FF TF F TFTT⎪T TFF FTT TFF FT TT T TFTF⎪T TFF FTT TFF FT TF F TFFT⎪T TFF FTF TFF FF TT T TFFF⎪T TFF FTF TFF FF TF F FTTT⎪F FTT TTT FFT FT TT T FTTF⎪F FTT TTT FFT FT TF F FTFT⎪F FTT TFF FFT FF TT T FTFF⎪F FTT TFF FFT FF TF F FFTT⎪F FTF FTT FFF FT TT T FFTF⎪F FTF FTT FFF FT TF F FFFT⎪F FTF FTF FFF FF TT T FFFF⎪F FTF FTF FFF FF TF F Formal Validity: Valid. Semantic Content: Sound. Overall Validity and Soundness: Valid and Sound. QED

Lean 4 verification and timestamps

The machine formalization date is separate from the original authored work. See the verification record for exact checked scope and any unresolved parts.

Logic-centered continuity

This authored proof is connected to Logic, Logos, God, and the self-evident Ground of Reality, and to the distinct systems 4P Engine, MCB Core, 4P-MCB, and the source-first Canon. Formal proof, empirical evidence, and system-generated records remain separately typed.