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. Capítulo I: Un acertijo diabólico Capítulo II: ¿Soprendidos? PARTE II: LA LOGICA DE MENTIR Y DE DECIR LA VERDAD Capitulo 3: El empadronador Capítulo 4: En busca de Oona Capítulo 5: Un laberinto interplanetario PARTE III: CABALLEROS, BRIBONES Y LOGICA PROPOSICIONAL Capítulo 6: Un poco de lógica propocicional Capítulo 7: Caballeros, bribonas y lógics proposicional Capítulo 8: Clausura y consistencia lógicas PARTE IV: SEAMOS CUIDADOSOS Capítulo 9: ¿Paradógico? Capítulo 10: El problema se profundiza PARTE V: LA COMPLICADA PROBLEMATICA DE LA CONSISTENCIA Capítulo 11: Los lógicos que razonan sobre sí mismos Capítulo 12: La sorprendente problemática de la consistencia Capítulo 13: Sistemas Gödelianos Capítulo 14: Más problemas con la consistencia PARTE VI: LAS CREENCIAS AUTOSUFICIEN'fES Y EL TEOREMA DE LÖB Capítulo 15: Creencias que se autocumplen Capítulo 16: El diamante del Rajá Capítulo 17: La isla de Löb PARTE VII: EN AGUAS MAS PROFUNDAS Capítulo 18: Razonadores de tipo G Capítulo 19: Modestia, reflexividad y estabilidad PARTE VIII: IMPOSIBLE DE DECIDIR Capítulo 20: Por siempre indecidible Capítulo 21: ¡Aun más indecisiones! PARTE IX: MUNDOS POSIBLES Capítulo 22: ¡No es necesariamente así! Capítulo 23: Mundos posibles Capítulo 24: De la necesidad a la demostrabilidad PARTE X: EL NUCLEO DE LA CUES'TION Capítulo 25: Un universo gödelizado Capítulo 26: Algunas notables máquinas lógicas Capítulo 27: Sistemas modales autoaplicados PARTE XI: FINAL Capítulo 28: Sistemas modales, máquinas y razonadores Capítulo 29: Razonadores extraños Capítulo 30: Retrospectiva
Sueños: Celia 02
Amura
Sundome 03
Sakura Wars 06
Satán, Cantor y el Infinito
El Enigma de Scherezade
Caballeros, Bribones y Pájaros Egocéntricos. juegos para Imitar a Un Pájaro Imitador. Volumen I
Bosques Curiosos y Pájaros Aristocráticos