Principio de No Contradicción

Es un principio clásico de la lógica y la filosofía, según el cual una proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido. El principio también tiene una versión ontológica: nada puede ser y no ser al mismo tiempo y en el mismo sentido; y una versión doxástica: nadie puede creer al mismo tiempo y en el mismo sentido una proposición y su negación. El principio de no contradicción es, junto con el principio de identidad y el principio del tercero excluido, una de las leyes clásicas del pensamiento.

Aristóteles, en su Metafísica, presenta la siguiente formulación del principio de no contradicción: "Nada puede ser y no ser al mismo tiempo y en el mismo sentido." Esta es quizás la formulación más conocida e influyente del principio de no contradicción. Además de dar la formulación, Aristóteles ofrece una defensa de la verdad necesaria del principio. Según Aristóteles, como el principio de no contradicción es justamente un principio, no puede ser deducido a partir de principios más básicos. En cambio, se lo puede defender mostrando las consecuencias intolerables de negarlo, o que todo aquel que lo niegue de alguna manera lo está suponiendo. Por ejemplo, Aristóteles argumenta que al negar el principio de no contradicción, implícitamente se lo está suponiendo, porque el mero acto de hacer una afirmación implica que se afirma una cosa y no lo contrario. Además, Aristóteles considera el caso de alguien que niega el principio, sosteniendo que cada proposición es a la vez verdadera y falsa.