El Principio Del Tercero Excluido

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principiumtertiiexclusi (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 la disyunción de una proposición y su negación es siempre verdadera.1 2 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.1 2 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.3

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".[cita requerida]

Según Stuart Mill, la frase "abracadabra es una segunda intención" no es ni verdadera ni falsa, sino que carece de sentido.4

La negación del principio del tercero excluido de un sistema lógico da lugar a las llamadas lógicas polivalentes.

“es imposible que lo mismo se dé y no se dé en lo mismo a la vez y en el mismo sentido…”

La deducción formal o lógica consiste en que a partir de unas premisas, representadas con símbolos, y a través de unas reglas, obtenemos una conclusión (deducimos la conclusión).

Los símbolos en la lógica de enunciados pueden ser:

Los conectores o juntores: ¬, &, V, ->, <->

Letras enunciativas: p, q, r...etc, que representan los enunciados de la argumentación.

Símbolos auxiliares: ( ), I- (este último signo se utiliza para indicar formalmente la conclusión):

Ejemplo: "si graniza (g) o nieva (n) entonces, uso paraguas (p) o no salgo de casa (¬s) . Se da el caso de que graniza (g) . Por lo tanto, no salgo de casa (¬s) ".

La formalización de este argumento

...