Principe logique fondamental affirmant que tout objet ou proposition est identique à lui‑même ; formalisé en logique des prédicats par l'axiome de réflexivité x = x pour le prédicat d'identité, et en logique propositionnelle par la tautologie p ⇒ p (ou p ↔ p).

Principe

L'identité est réflexive et fonde les règles de substitution et de remplacement : si a = b, alors toute formule contenant a peut être transformée en une formule contenant b sans changer la vérité, sous réserves de portée et de typage appropriés.

Démonstration

En logique du premier ordre avec identité, l'ajout du schéma d'axiomes ∀x (x = x) et des axiomes de substitution pour l'identité permet de déduire que si 2+2=4 et 4 est pair alors 2+2 possède la propriété 'être pair' ; l'identité garantit ces remplacements valides.

Mauvaise application

Considérer la Loi d'Identité comme informative sur l'identité métaphysique ou employer l'égalité syntaxique indistinctement de l'égalité intensionale ou contextuelle ; omettre de respecter la portée ou des contextes typés lors de substitutions peut conduire à des erreurs catégorielles.

Conséquence

Autorise le remplacement uniforme et l'utilisation de la loi de Leibniz (indiscernabilité des identiques) dans les preuves, rendant la manipulation formelle des termes et le transfert de propriétés entre termes égaux valides ; elle est fondamentale pour le raisonnement algébrique et modèle‑théorique.

Inversion

Rejeter la réflexivité conduit à des logiques d'identité non réflexive ou à certains systèmes paraconsistants/intensionnels où l'identité est affaiblie ; ces renversements modifient le comportement de substitution et exigent des règles d'inférence alternatives.

Limite

S'applique au prédicat d'égalité formel ou à l'auto‑implication propositionnelle dans les cadres classiques ; dans des contextes intensionnels (modaux, temporels, prédicats vagues) ou des langages typés, le principe de substitution simple peut être restreint ou nécessiter une justification.

Tension sémantique

Tension entre identité syntaxique et indiscernabilité conceptuelle : deux noms distincts peuvent référer au même objet (coréférence) sans être substituables dans tous les contextes intensionnels, d'où la nécessité de distinguer le rôle logique de l'identité des traitements philosophiques de la mêmeité.

Synthèse

La Loi d'Identité est l'hypothèse réflexive minimale qui assure substitution et transfert de propriétés dans les systèmes formels : elle est un pivot syntactique et sémantique pour le raisonnement sur l'égalité, tandis que ses limites se manifestent dans des cadres intensionnels, typés ou non classiques où la substitution doit être encadrée.