Los principios de la lógica....................................2,3,4 Funciones del Lenguaje

El principio de nocontradicción

Aristóteles, en su Metafísica, presenta la siguiente formulación del principio de no contradicción: es imposible que, al mismo tiempo y bajo una misma relación, se dé y no se dé en un mismo sujeto, un mismo atributo. De su no observancia surgirá una contradicción lógica formal.

principio del tercero excluso

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principium tertii exclusi (también conocido como tertium non datur o una tercera (cosa) no se da), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.1 Por ejemplo, es verdad que "es de día o no es de día", y que "el Sol está ardiendo o no está ardiendo". El principio del tercero excluido frecuentemente se confunde con el principio de bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa.23 El principio del tercero excluido es, junto con el principio de no contradicción y el principio de identidad, una de las leyes clásicas del pensamiento.