El principio lógico según el cual ninguna proposición puede ser a la vez verdadera y falsa al mismo tiempo en el mismo sentido; prohíbe sostener simultáneamente una afirmación y su negación dentro del mismo marco interpretativo.

Principio

Regla organizadora clásica que divide las proposiciones evaluables en verdad en estados mutuamente excluyentes de verdad y falsedad (bajo una interpretación fija), apoyando un razonamiento deductivo coherente.

Demostración

Escenario ilustrativo: dada la proposición «La luz está encendida» bajo una única observación e interpretación, la ley impide tratar esa proposición como verdadera y falsa al mismo tiempo; en un sistema formal de prueba bloquea derivaciones que considerarían P y ¬P como verdaderas simultáneamente.

Aplicación incorrecta

Tratar la ley como prescriptiva de forma universal fuera de sus marcos interpretativos destinados — por ejemplo, declararla resolutiva de paradojas provenientes de predicados vagos, autorreferencia semántica o lógicas alternativas — puede ocultar contextos legítimos donde los valores de verdad son graduados, indeterminados o simultáneamente presentes (p. ej., vaguedad, dialetias).

Consecuencia

Cuando se adopta, impone restricciones de consistencia: una teoría que contiene una contradicción directa resulta problemática para la inferencia clásica, y muchas deducciones clásicas (incluida la eliminación de contradicciones) dependen de ella.

Inversión

El dialeteísmo (la postura de que algunas contradicciones son verdaderas) y las lógicas paraconsistentes invierten o suspenden esta ley permitiendo contradicciones verdaderas o previniendo que las contradicciones trivialicen el sistema.

Límite

Se aplica dentro de lenguajes lógicos clásicos y asignaciones de valor de verdad bivalentes. No se aplica automáticamente a marcos que rechazan la bivalencia, tratan predicados como dependientes del contexto o admiten contradicciones verdaderas; tampoco resuelve disputas semánticas u ontológicas sobre casos fronterizos.

Tensión semántica

Existe tensión entre la ley y posiciones que enfatizan la indeterminación (vaguedad, supervaluacionismo), lógicas de valores múltiplos o reivindicaciones dialetéicas; la cuestión es si 'ambas verdaderas y falsas' es un estatuto coherente o un fracaso del esquema clasificatorio.

Síntesis

La ley de no contradicción es la restricción clásica que prohíbe que una proposición y su negación sean simultáneamente verdaderas en el mismo sentido; organiza la coherencia deductiva en sistemas clásicos pero está explícitamente limitada cuando son relevantes lógicas alternativas o indeterminación semántica.