SMULLYAN, RAYMOND
PARTE I: ¡QUIZA PODRA SORPRENDERLE!
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
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.
