El principio de que si dos expresiones denotan el mismo objeto (tienen idéntico referente) entonces una puede sustituirse por la otra salva veritate (sin cambiar la verdad) en contextos de referencia transparente.

Principio

Intercambiabilidad salva veritate: la identidad autoriza el reemplazo en todos los contextos extensionales/transparentes; los sistemas formales capturan esto mediante reglas de eliminación de la identidad o de congruencia.

Demostración

En lógica de ecuaciones, de a = b y P(a) se infiere P(b) cuando P es un predicado extensional; en lógica de primer orden con designadores rígidos, la sustitución preserva la verdad en contextos atómicos y extensionales.

Aplicación incorrecta

Sustituir a ciegas en contextos opacos o intensionales (p. ej., 'Alicia cree que ...') puede dar resultados falsos porque los reportes de creencia, operadores modales, actitudes proposicionales o descripciones definidas pueden bloquear la sustituibilidad.

Consecuencia

Justifica las reglas de eliminación de la identidad, sostiene el razonamiento ecuacional y principios de congruencia en álgebra y pruebas formales, y respalda reglas de reemplazo en sistemas de prueba para lenguajes extensionales.

Inversión

La falla de la sustituibilidad señala contextos intensionales u opacos: referentes idénticos pueden no poder intercambiarse sin alterar el valor de verdad en dichos contextos, mostrando los límites del razonamiento puramente extensional.

Límite

Válido en lenguajes y contextos extensionales con referencia rígida; excluye contextos intensionales, hipointensionales, indexicales o sensibles al contexto, salvo que se introduzcan distinciones o restricciones adicionales (por ejemplo, sentido, modo de presentación).

Tensión semántica

Tensión entre la ley de Leibniz y la opacidad de las actitudes proposicionales: la ley favorece la sustitución basada en la identidad del referente, mientras que la semántica intensional enfatiza sentidos o modos de presentación que impiden la sustitución.

Síntesis

La sustituibilidad de idénticos es la expresión operativa de la identidad en el razonamiento extensional: permite el reemplazo y la congruencia donde la referencia es transparente, y sus fracasos señalan la necesidad de aparato semántico intensional (sentidos, contexto, distinción de rigidez) en dominios intensionales.