Principio lógico fundamental que afirma que todo objeto o proposición es idéntico a sí mismo; formalizado en lógica de predicados por el axioma de reflexividad x = x para el predicado de identidad, y en lógica proposicional por la tautología p ⇒ p (o p ↔ p).

Principio

La identidad es reflexiva y constituye la base para las reglas de sustitución y reemplazo: si a = b, cualquier fórmula que contenga a puede transformarse en una que contenga b sin cambiar la verdad, respetando ámbitos y tipajes apropiados.

Demostración

En la lógica de primer orden con identidad, añadir el esquema axiomatizado ∀x (x = x) y los axiomas de sustitución para la identidad permite deducir que si 2+2=4 y 4 es par, entonces 2+2 tiene la propiedad 'ser par'; la identidad respalda estos reemplazos válidos.

Aplicación incorrecta

Tratar la Ley de Identidad como información sobre igualdad metafísica o usar la igualdad sintáctica indistintamente con igualdad intensional o contextual; no respetar el ámbito o contextos tipados al sustituir puede provocar errores de categoría.

Consecuencia

Permite el reemplazo uniforme y el uso de la ley de Leibniz (indiscernibilidad de los idénticos) en pruebas, haciendo válidas la manipulación formal de términos y la transferencia de propiedades entre términos iguales; es fundamental para el razonamiento algebraico y modelo‑teórico.

Inversión

Rechazar la reflexividad conduce a lógicas de identidad no reflexiva o a ciertos sistemas paraconsistentes/intensionales donde la identidad se debilita; tales reversos cambian el comportamiento de sustitución y requieren reglas de inferencia alternativas.

Límite

Se aplica al predicado formal de igualdad o a la autoimplicación proposicional dentro de marcos clásicos; en contextos intensionales (modales, temporales, predicados vagos) o lenguajes tipados el principio simple de sustitución puede restringirse o requerir justificación.

Tensión semántica

Tensión entre identidad sintáctica e indistinguibilidad conceptual: dos nombres distintos pueden referir al mismo objeto (correferencia) sin ser sustituibles en todos los contextos intensionales, por lo que el papel lógico de la identidad ha de distinguirse de las teorías filosóficas de la igualdad.

Síntesis

La Ley de Identidad es la asunción reflexiva mínima que asegura la sustitución y la transferencia de propiedades en sistemas formales: es un eje sintáctico y semántico para razonar sobre la igualdad, mientras que sus limitaciones aparecen en marcos intensionales, tipados o no clásicos donde la sustitución debe acotarse.