La paradoja de Yablo es una paradoja lógica publicada por Stephen Yablo en 1985. [1] [2] Es similar a la paradoja del mentiroso . A diferencia de la paradoja del mentiroso, que usa una sola oración, esta paradoja usa una lista infinita de oraciones, cada una de las cuales se refiere a oraciones que aparecen más abajo en la lista. El análisis de la lista muestra que no existe una forma coherente de asignar valores de verdad a ninguno de sus miembros. Dado que todo en la lista se refiere solo a oraciones posteriores, Yablo afirma que su paradoja "no es circular de ninguna manera". Sin embargo, Graham Priest lo niega. [3] [4]
Declaración
Considere el siguiente conjunto infinito de oraciones:
- S 1 : Para cada i > 1, S i no es cierto.
- S 2 : Para cada i > 2, S i no es cierto.
- S 3 : Para cada i > 3, S i no es cierto.
- ...
Análisis
Suponga que hay una n tal que S n es verdadera. Entonces S n + 1 no es cierto, entonces hay algo de k > n + 1 tal que S k es verdadero. Pero S k no es cierto porque S n es verdadero y k > n . Asumir que S n es verdadero implica una contradicción: algún S k posterior es verdadero y no verdadero. Entonces, nuestra suposición es absurda, y debemos concluir que para cada i , la oración S i no es verdadera. Pero si cada S i no es verdadero, dado que cada uno atribuye falsedad a oraciones posteriores, todas son verdaderas. Entonces tenemos la paradoja de que cada oración en la lista de Yablo es verdadera y no verdadera.
Referencias
- ^ S. Yablo (1985). "Verdad y reflexión" . Revista de lógica filosófica . 14 (2): 297–348. doi : 10.1007 / BF00249368 .
- ^ S. Yablo (1993). "Paradoja sin autorreferencia" (PDF) . Análisis . 53 (4): 251–252. doi : 10.1093 / analys / 53.4.251 .
- ^ G. Priest (1997). "La paradoja de Yablo". Análisis . 57 (4): 236–242. CiteSeerX 10.1.1.626.8312 . doi : 10.1093 / analys / 57.4.236 .
- ^ J. Beall (2001). "¿La paradoja de Yablo no es circular?" (PDF) . Análisis . 61 (3): 176–187. doi : 10.1093 / analys / 61.3.176 .