Mehr lesen
Trasladando el argumento de Gödel del dominio matemático al reino de los seres humanos y sus creencias. El autor explica las bases de las
ideas de Gödel en un lenguaje comprensible para todos. Una abundante colección de acertijos sobre mentirosos y veraces (bribones y caballeros) acompaña una descripción introductoria de la lógica simbólica y una explicación de la forma de resolver grupos enteros de este tipo de acertijos.
En los capítulos posteriores se encuentra, por ejemplo el tema de las "creencias autosuficientes". ¿Cómo puede una mera creencia convertirse en una convicción de que es cierta a través de determinada proposición? ¿Acaso se trata aquí de un fenómeno religioso?
Smullyan explica cómo esos sistemas de creencias se relacionan con importantes sistemas matemáticos y, finalmente con la "semántica de los mundos posibles", iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.
Raymond Smullyan, conocido lógico y matemático, es catedrático de Filosofía en la Universidad de Indiana y catedrático emérito de la
Universidad de la ciudad de Nueva York. Es autor de más de una docena de libros. Editorial Gedisa publicó los siguientes títulos suyos: Juegos para imitar a un pájaro imitador, Juegos y problemas de ajedrez para Sherlock Holmes y Juegos de ajedrez y los misteriosos caballeros de Arabia. De próxima aparición: Satán, Cantor y el infinito.
