contradicción

La contradicción es una relación entre dos o más enunciados que no pueden ser verdaderos al mismo tiempo en las mismas circunstancias. En su uso más amplio, describe la presencia de afirmaciones incompatibles dentro de un argumento, un sistema de conocimiento o incluso en el lenguaje cotidiano.

Etimología y marco histórico-filosófico. El término proviene del latín contradictio, contra + dicere, “decir en contra”. En la antigüedad, Aristóteles formuló la Ley de no contradicción: no es posible afirmar y negar lo mismo de la misma cosa, en el mismo sentido y al mismo tiempo. Este principio es central en la lógica clásica y en gran parte de la filosofía occidental.

En lógica. Una contradicción ocurre cuando una proposición A y su negación no-A se sostienen como verdaderas simultáneamente. En la lógica clásica, la presencia de una contradicción puede conducir a la explosión lógica, es decir, de ella se deduce cualquier enunciado. Las lógicas no clásicas, como la paraconsistente, buscan evitar esa explosión y manejar contradicciones de forma controlada.

Tipos y usos. Se distingue entre contradicción formal (inconsistencia dentro de un sistema o argumento) y contradicción real (incompatibilidad de afirmaciones sobre el mundo). También aparece en el lenguaje cotidiano cuando se señalan afirmaciones mutuamente incompatibles, o en figuras retóricas y paradojas cuando se exploran límites del razonamiento.

Importancia. Detectar contradicciones es clave en la evaluación de argumentos, la verificación de teorías y la resolución de disputas, así como en el desarrollo de sistemas lógicos y de software que requieren consistencia interna.