Lógica clásica

Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos.

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“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.

[3]​ Por ejemplo, es verdad que "es de día o no es de día", y que "Algo es blanco o no es blanco".

Por ejemplo, si se afirma "Juan es bueno" y "esta proposición es verdadera", entonces los juicios contradictorios son "Juan no es bueno" y "esta proposición no es verdadera", y no hay posibilidad de un juicio intermedio.

[21]​ Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo.

Los elementos intermedios del álgebra corresponden a la verdad valora otro que "cierto" y "falso".

La lógica binaria es válida sólo cuando el álgebra de Boole se toma como el álgebra de dos elementos, que no posee elementos intermedios.

La lógica filosófica, especialmente en la ciencia computacional teórica, se usa para abarcar y centrarse en las lógicas no clásicas, a pesar de que el término tiene otros significados también.

Expresión formal del principio.