Dall'Ottocento a oggi, la logica formale è stata protagonista di un'evoluzione di straordinaria ricchezza e complessità. Da sempre alla confluenza tra filosofia e matematica, è nel nostro secolo anche tra linguistica e informatica, ne ha indubbiamente influenzato lo sviluppo. D'altro canto queste diverse discipline hanno spesso interagito con la logica, arricchendoia con le loro problematiche.
L'ampia panoramica di Corrado Mangione e Silvio Bozzi 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 del paradossi (Russell), dalla revisione assiomatica di Hilbert ai teoremi di Godel e al riaprirsi della contraddizione tra fiinito 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 (Analisi non standard), fino a presentare i nuovi problemi della complessità, precisati dall'avvento dei calcolatori elettronici. ►
Questo percorso viene qui esposto per la prima volta nella sua completezza e organicità, cercando di chiarire anche al lettore non specialista i nessi fondamentali dell'evoluzione della logica matematica e i suoi rapporti con il resto del sapere.
Questo percorso viene qui esposto per la prima volta nella sua completezza e organicità, cercando di chiarire anche al lettore non specialista i nessi fondamentali dell'evoluzione della logica matematica e i suoi rapporti con il resto del sapere.