Accions

Recurs

Perry, John i Bratman, Michael: paradoxa del mentider/es

De Wikisofia

< Recurs:Perry, John i Bratman, Michael: paradoxa del mentider

He aquí dos principios básicos de la lógica:


NC- El principio de no contradicción:Ningún enunciado es a la vez verdadero y falso.

TE- El principio del tercero excluso: Todo enunciado o es verdadero o es falso.

Consideremos ahora el siguiente enunciado:

(1) «El enunciado (1) es falso»

Por TE, (1) o es verdadero o es falso. Supongamos que (1) es verdadero. Entonces (1) es falso, porque esto es lo que (1) dice.

Pero entonces (1) es a la vez verdadero y falso, contrariamente a lo que afirma NC. Por lo que la suposición de que (1) es verdadero lleva a una contradicción y ha de ser negada. Así que debemos suponer que (1) es falso, pues lo que (1) dice es que (1) es falso. Pero entonces (1) es verdadero. Pero entonces (1) es a la vez falso y verdadero, contrariando el principio NC. Por lo que la suposición de que (1) es falso lleva a una contradicción y ha de ser negada. Pero ahora tenemos una contradicción. Puesto que, por TE, (1) o es verdadero o es falso; pero, según nuestro razonamiento, (1) no es ni verdadero ni falso.