Introducción a los problemas filosóficos suscitados por el análisis lógico, con revisión de algunos momentos y figuras destacadas en el desarrollo de la lógica. Se parte del estudio de la lógica clásica y una introducción a la lógica modal, para pasar después a discutir algunos de sus presupuestos y las paradojas que han suscitado.