Cierta vez Spock, el viajero espacial estudioso de la lógica, llegó al planeta de los tripartitos. En este planeta hay tres grupos de nativos, por un lado están los veraces, que sólo hacen afirmaciones verdaderas; por otro lado están los mentirosos, que sólo hacen afirmaciones falsas. El tercer grupo está formado por los paradójicos, que sólo hacen afirmaciones que ni un veraz ni un mentiroso podría hacer.
Por ejemplo, si un nativo dice "soy mentiroso" entonces es un paradójico, y pertenece en especial al subgrupo de los paradójicos mentirosos. Si un nativo dice "soy paradójico" entonces pertenece al grupo de los mentirosos. No puede ser un paradójico pues está haciendo una afirmación que un mentiroso puede hacer.
En su primer día en este planeta Spock se encontró con un nativo que le dijo: "Soy mentiroso o paradójico".
¿A qué grupo pertenecía el nativo?
No hay comentarios.:
Publicar un comentario