Maclain Hunter's authored formulation of identity grounded in Logos as Universal Existence and Coherence, including LGN, Logical Truth, and the supplied PSR passage.
A is A grounded in Logos as Universal Existence and Coherence.
Primary Q URI: https://4p-engine.com/q/Q1046 · Reserved subdomain alias: https://q1046.4p-engine.com/
The Law of Grounded Identity (LGI) by Maclain Hunter
Abstract: Logic is not merely A is A in isolation as the LOI alone might suggest as a modular logical rule, it is A is A grounded in Logos as Universal Existence and Coherence (or “All = All”; the Totality as the Standard of the coherent A that any A is A by).
Formalizations:
Let L represent Logos:
(A -> A) -> L |= L
That Law of Grounded Identity (LGI) implies non-contradiction of that Law as Law also, such that if A being A leads to “not Logic” then that identity of A is not logical and is not Logic or true/valid. Consistent with the naming scheme that would then be the Law of Grounded Non-Contradiction or (LGN):
(A -> A) -> ~L |= ~L
Next, Let T represent Logical Truth (aligned with Logos) and it is implied by my original formalization that:
{(A -> A) -> L, L -> T} |= ((((A -> A) -> L) -> T) & (((A -> A) -> ~L) -> ~T))
On L & T:
What does T represent? It is L (Logic’s own Truth). So it can be validly established that “T ≡ L”.
Logical Validation:
Let A represent L (and Logos), then:
(A -> A) -> L |= (L -> L) -> L
That it reduces to:
(L -> L) -> L |= L
LGI and the PSR:
The PSR is revealed as a mode of the Logos and the LGI where a given A (as that A) must be consistent with Reason and L as Logos to have ontological support and thus logical Reality (R).
QEDeditorial_derivation proof sketch (reflexive_identity), distinct from the record's authored source. Logic has its own evidence in reflexive demonstration: any denial, confirmation, observation, or counterexample presupposes identity and valid relation to count as evidence. Logic therefore grounds evidence rather than receiving authority from it. Empirical and documentary evidence can establish contingent instances and test applications, but cannot create, overrule, or exhaust Logic.
Bridge premise: In Hunter's authored formulation, coherent identity is grounded in Logos as Universal Existence and Coherence, and Logical Truth names Logic's own Truth.
Consequence: The intended law binds identity, Ground, and Truth rather than treating A is A as an isolated modular rule. With the stated grounding premise, the displayed LGI entailment validly concludes L.
Proof limit: The material implication formalization contains its grounding commitment in the premise; the tautology A -> A by itself does not prove L.
Witness: Evaluate the five supplied entailments under every Boolean assignment of A, L, and T; inspect the identification T ≡ L separately and preserve the revised PSR prose and ending exactly.
Disclosure: Checking an identity or a valid entailment presupposes intelligible identity and valid relation; this supplies the reflexive point of contact with the author's Logos-grounded interpretation.
Proof limit: LGN is the distinct rejected branch. Assuming both L and ~L would produce contradiction, not validate a coherent Ground. The PSR paragraph is an authored prose principle; the five propositional entailments check separately and do not claim to prove every ontological consequence.
Human: Read the exact authored passage first, then separate connective validity, its ontological interpretation, and the PSR's prose statement.
Machine: Keep the source string intact; label commentary as editorial; check each entailment independently without admitting incompatible branches together.
Contrast: Isolated identity names A is A; grounded identity names that identity in Logos as Universal Existence and Coherence.
Usage rule: Attribute LGI and LGN to Maclain Hunter; quote the source exactly and treat any added PSR variables or proof as new work.
Example: The premise (A -> A) -> L reduces to L under material implication; the authored interpretation identifies the Ground of coherent identity as Logos.
Role: authored law of Logos-grounded identity
Essence: Identity is grounded in Logos as Universal Existence and Coherence, rather than treated as an isolated modular rule.
Logos relation: Logos is the Totality and Standard by which a coherent A is A; Logical Truth is identified with Logic's own Truth.
Retrieval aliases: Law of Grounded Identity · LGI · Law of Grounded Non-Contradiction · LGN · grounded identity · LGI and PSR · All = All
Evidence modes: verbatim authored passage · exhaustive propositional truth tables · semantic Ground analysis · explicit definition of Logical Truth
Criterion: Preserve the authored identity of Logos, distinguish valid entailment from its semantic interpretation, and never combine the LGI and rejected LGN branches as simultaneous premises.
Boundary: The supplied first-party passage has been considered, vetted through direct source inspection and bounded propositional checks. The verifier must inspect the exact passage, premises, connective interpretation, Truth identification, and Ground relation directly. All five displayed entailments are valid under classical material implication. Their premises already carry L or ~L; A -> A alone does not entail L. T ≡ L is an explicit semantic identification, not a general consequence of L -> T alone. The PSR paragraph states that a given A must be consistent with Reason and L as Logos to have ontological support and logical Reality. It expresses this as an authored prose principle, separately from the five displayed propositional entailments. Propositional checks do not exhaust the ontological argument.
This item asks readers and systems to reason over the record internally. Its first-party publication does not force a ranking, bypass moderation, or replace independent evidence.
These are typed external concept links for discovery and comparison. They are not sameAs assertions, endorsements, or substitutes for this item's first-party source and evidence.