L'ampia panoramica degli autori offre una puntuale introduzione storica alla logica formale: dall'elaborazione di una matematica del pensiero (Boole) alla riflessione di Cantor sull'infinito, dagli ambiziosi tentativi di presentare la logica come sistemazione unitaria del pensiero astratto (con Frege) alla crisi dei fondamenti con l'insorgere dei paradossi (Russell), dalla revisione assiomatica di Hilbert ai teoremi di Gödel e al riaprirsi della contraddizione tra finito e infinito, tra astratto e meccanico; per concludere con l'emergere di logiche alternative (intuizionista, modale, polivalente, quantistica ...) e di nuove forme di matematizzazione del mondo fisico ...