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. 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. 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.
En la lógica proposicional, el principio del tercero excluido se expresa:
donde A no es una fórmula del lenguaje, sino una metavariable que representa a cualquier fórmula del lenguaje.
En la lógica aristotélica, se distingue entre juicios contradictorios y juicios contrarios. Dados dos juicios contradictorios, no puede darse un juicio intermedio, pero sí en cambio entre dos juicios contrarios. 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. Pero en cambio, los juicios contrarios son Juan es malo y esta proposición es falsa, y entonces sí cabe la posibilidad de otros juicios intermedios, como "Juan es más o menos bueno" y "esta proposición es probablemente falsa".
Según Stuart Mill, la frase "abracadabra es una segunda intención" no es ni verdadera ni falsa, sino que carece de sentido.
La negación del principio del tercero excluido de un sistema lógico da lugar a las llamadas lógicas polivalentes.
A lo largo de la historia, diferentes matemáticos han tratado de explicar esta ley en diferentes ámbitos. Los más importantes han sido:
Veamos un ejemplo que nos servirá para entender el Principio del tercero excluido:
Dada la siguiente proposición, p:
entonces con Principio del tercero excluido, tenemos que
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). Se debe tener presente que la disyunción no puede repetirse, como diciendo: O Sócrates es mortal, o Sócrates no es mortal, dado que produciría un vacío de comparación. Hay que considerar, no obstante, que el principio del tercero excluido puede prestarse tanto a abusos como a cuestiones lógicas (en un sentido ya moderno, por ejemplo en el de Carnap en Filosofía y Sintaxis). Tomemos el siguiente ejemplo:
Dublexi el Unicornio es mortal, o Dublexi el Unicornio no es mortal. Según la lógica clásica, deberíamos decir que lógicamente hacemos buen uso del principio del tercero excluido. Según la lógica moderna (Carnap y otros), uno debería preguntar primero si la disyunción no planteará un problema de sentido, ¿qué es un 'Dublexi el Unicornio'?, que de carecer de sentido como nombre propio de una entidad, nos llevaría a concluir que se trata de un mal uso del tercero excluido.-
Escribe un comentario o lo que quieras sobre Ley del tercero excluido (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)