Trasladando el argumento de Gödel del dominio matemático al reino delos seres humanos y sus creencias. El autor explica las bases delas
ideas de Gödel en un lenguaje comprensible para todos. Una abundantecolección de acertijos sobre mentirosos y veraces (bribones ycaballeros) acompaña una descripción introductoria de la lógicasimbólica y una explicación de la forma de resolver grupos enteros deeste 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 determinadaproposición? ¿Acaso se trata aquí de un fenómeno religioso?
Smullyan explica cómo esos sistemas de creencias se relacionan conimportantes sistemas matemáticos y, finalmente con la "semántica delos mundos posibles", iniciada por Leibniz y perfeccionada por ellógico Saul Kripke.
