Principio de no contradicción

Ley de la lógica, según la cual dos proposiciones A y A que se niegan (Negación) una a la otra no pueden
ser al mismo tiempo verdaderas. El primero en formular dicha ley fue Aristóteles. El principio de
contradicción puede enunciarse también del modo siguiente: la proposición A no puede ser al mismo
tiempo verdadera y falsa. Su notación simbólica es: A ⋅ A, donde ⋅ es signo de conjunción, y el trazo
encima de los símbolos es signo de negación.
El principio de contradicción desempeña un importante papel en el pensar y en el conocer. El
razonamiento o la teoría científica en que se den contradicciones formales resultan inconsistentes. El
principio de contradicción constituye un reflejo del carácter cualitativamente determinado de los
objetos en el pensamiento, refleja el simple hecho de que si hacemos abstracción del cambio de un
objeto, éste no puede poseer al mismo tiempo propiedades que se excluyan mutuamente.
El principio de no contradicción permite juzgar como falso todo aquello que implica una contradicción. De
ahí la validez de los argumentos por reducción al absurdo.
La formulación de este principio viene de Parménides quien formuló su ley de identidad donde enuncia
"lo que es es y lo que no es no es", a partir de este principio deduce que "lo que es no puede no ser"
Por ejemplo, no es posible que un objeto sea un libro y no sea, a la vez, un libro. Es posible pensar que el
objeto pueda ser algo ahora y no ser ese algo después, pero no al mismo tiempo. Así, lo que antes fue
un libro puede ser ahora basura o cenizas. Yo puedo estar aquí ahora y no estar después, pero no al
mismo tiempo.
Así como el principio de identidad nos dice que una cosa es una cosa, el principio de no contradicción nos
dice que una cosa no es dos cosas a la vez.

Principio de tercero excluido

Ley de la lógica, según la cual de dos proposiciones en las que una niegue lo que se afirma en la otra,
una de ellas es necesariamente verdadera. La formuló por primera vez Aristóteles. En notación
simbólica: A ∨ A (donde A denota cualquier proposición; ∨, signo de disyunción, y el trazo sobre el
símbolo, signo de negación).
Así, de los dos enunciados: “el Sol es astro” (A es B) y “el Sol no es astro” (A no es B), uno es
imprescindiblemente verídico.
Teniendo en cuenta este género de proposiciones, la lógica formal tradicional formulaba a menudo la ley
del tercero excluido del modo siguiente: “A es B o no B” (el tercero no se da: tertium non datur). En
cambio, la formulación citada al principio, se refiere a las proposiciones de cualquier forma. Esta ley se
emplea a menudo en el proceso de la demostración, por ejemplo en las demostraciones por el contrario.
Si decimos, por ejemplo, que "el perro es un mamífero" y que "el perro no es mamífero", no podemos
rechazar estas dos proposiciones como falsas, pues no hay una tercera posibilidad.
Veamos un ejemplo que nos servirá para entender el Principio del tercero excluido:
Dada la siguiente proposición, p:

 Sócrates es mortal.
entonces con Principio del tercero excluido, tenemos que

 Sócrates es mortal, o Sócrates no es mortal

Una de las dos afirmaciones debe ser por tanto cierta. Esto significa que escoger un juicio medio, es
decir, Sócrates ni es mortal ni es inmortal carece de sentido, y por tanto se excluye en la lógica. Como
conclusión obtenemos por tanto que solamente una de las dos proposiciones puede ser considerada
modelo (verdadera).
En el principio de tercero excluido es preciso reconocer que una alternativa es falsa y otra verdadera y
que no cabrá una tercera posibilidad.