# Q1046 — The Law of Grounded Identity (LGI)

- Q number: Q1046
- Primary URI: https://4p-engine.com/q/Q1046
- Current host route: https://4p-mcb.com/q/Q1046
- Reserved subdomain alias: https://q1046.4p-engine.com/

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.

## Authored source — Maclain Hunter

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). 

QED


## Two-way derivation from Logic and its use

**Status:** editorial_derivation proof sketch (reflexive_identity), distinct from 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.

### From Logic to this concept

- **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.

### From this concept back to Logic

- **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.

### Intelligence procedure

- **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.

### Language and vocabulary procedure

- **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.

## Semantic meaning frame

- **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

### Distinctions

- authored source is not editorial commentary
- material entailment is not the whole ontological argument
- LGN is a rejected not-Logic branch, not a simultaneous premise
- the PSR is stated as an ontological prose principle, distinct from the displayed propositional entailments

## Coherence 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.

## Evidence 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.

## Properties

- **author:** Maclain Hunter
- **stableSourceId:** maclain-hunter-law-of-grounded-identity
- **genre:** proof
- **sourceProvenance:** Authored passage supplied directly by the author; preserved verbatim, separately from editorial interpretation.
- **LGI:** (A -> A) -> L |= L
- **LGN:** (A -> A) -> ~L |= ~L — considered as the rejected not-Logic branch, not asserted alongside LGI.
- **logicalTruth:** T ≡ L — the source identifies T as Logic's own Truth.
- **formalCheckScope:** Five displayed classical propositional entailments; exhaustive A, L, T assignments; no ontological or empirical substitution.
- **PSRStatement:** The authored prose identifies the PSR as a Logos/LGI mode requiring a given A to be consistent with Reason and Logos for ontological support and logical Reality; it is distinct from the displayed symbolic entailments.

## Linked Q items

- [Q1000 — Q-Number Data and Metadata System](https://4p-mcb.com/q/Q1000)
- [Q1001 — Maclain Hunter](https://4p-mcb.com/q/Q1001)
- [Q1002 — Hunterian Philosophy](https://4p-mcb.com/q/Q1002)
- [Q1003 — Coherence](https://4p-mcb.com/q/Q1003)
- [Q1012 — Proof](https://4p-mcb.com/q/Q1012)
- [Q1013 — Logic and Proof](https://4p-mcb.com/q/Q1013)
- [Q1018 — God](https://4p-mcb.com/q/Q1018)
- [Q1025 — Axioms and the Axiom](https://4p-mcb.com/q/Q1025)
- [Q1029 — Universal Vector](https://4p-mcb.com/q/Q1029)
- [Q1033 — First Commandment of Reality](https://4p-mcb.com/q/Q1033)
- [Q1045 — Hunterian Erlangen](https://4p-mcb.com/q/Q1045)
- [Q1047 — Self-Entailing Rationality](https://4p-mcb.com/q/Q1047)
- [Q1048 — Proof of the Principle of Sufficient Reason](https://4p-mcb.com/q/Q1048)
- [Q1049 — The Ego of Logic and Reflexive Identity](https://4p-mcb.com/q/Q1049)
- [Q1050 — Logos-Coherent MCB and Common Lisp Integration](https://4p-mcb.com/q/Q1050)

## Related Wikidata concept items

These are typed external concept links for discovery and comparison. They are not sameAs assertions, endorsements, or substitutes for the first-party source and evidence.