Tengo una discusión pendiente con un amigo. No una de esas discusiones con gritos, malas caras y graves síntomas de evolucionar en pelea. Es una discusión agradable sobre una paradoja que mencionaron en una asignatura a la que él asiste:
Si un cretense dice "todos los cretenses mienten... ¿está mintiendo o está diciendo la verdad?
Según mi razonamiento, claramente el cretense está mintiendo, según el suyo no se sabe. Supongo que será él el que tenga razón, porque en otro caso no se debería llamar paradoja. Sin embargo veo un fallo en su razonamiento (que medio admite mi amigo) y no consigo encontrar un fallo en el mío.
A saber: "todos los cretenses mienten", "él es cretense", luego él miente. Pero claro, si miente no todos los cretenses mienten, ¿puede estar diciendo la verdad? Analicémoslo: "todos los cretenses mienten" (y esto es cierto por hipótesis), "él es cretense", luego él miente.
[Añadido: en el primer caso, si el cretense miente entonces partimos de un supuesto que es falso, las opiniones sobre la negación del supuesto las esbocé un par de párrafos más abajo.]
Suponer que el cretense diga la verdad nos lleva a una contradicción. Sin embargo suponer que miente es consistente consigo mismo.
El problema nos viene cuando discutismos sobre la frase "todos los cretenses mienten".
Si esa frase es mentira, yo digo que la frase "de verdad" es:
algún o ningún cretense miente. Mi amigo me comenta que lo ve lógico, pero que la suma de algo y de su contrario te tiene que dar todo (sólo una vez, sin repetir elementos), o argumenta también que en ese caso la negación de "ningún" sería "algún o todos", y me comenta que no ve como dos opuestos tienen la misma negación.
[Añadido: supongamos que yo tengo razón y la negación de "todos los cretenses mienten" es "algún o ningún cretense miente", "él es cretense", puede ser que mienta o no.
Pero, oh maravillas, este caso sólo lo necesitamos analizar si suponemos que miente, porque si dice la verdad teníamos una contradicción. Ciertamente es muy paradójico.]
Todo esto es muy lioso, tal vez la paradoja esté en la discusión posterior sobre antónimos, contrarios y negaciones. O tal vez el profesor de mi amigo disfruta viendo a la gente discutir sobre lógica.
El caso es que el cretense miente... o no.