In questo libro non troverete una definizione di che cos’è la logica, ma troverete tanti esempi del perché è utile saperne qualcosa, o meglio ancora, studiarla. La logica offre infatti un punto di vista privilegiato dal quale inquadrare le sfide, i rischi e le opportunità della nostra epoca, quella dell’intelligenza artificiale. Per questo il volume presenta alcune idee e metodi della logica contemporanea in continuità con la teoria della probabilità e la teoria degli algoritmi. In questa accezione pratica, la logica è uno strumento di cittadinanza consapevole in una società caratterizzata dall’interazione di persone e macchine. Il saggio, pur scritto in una forma accessibile, non tradisce la natura articolata delle idee e dei metodi della logica. L’esposizione non segue un ordine storico, ma come la metropolitana di una grande città si sviluppa su tre linee principali intitolate a Boole, Euclide e Aristotele. Queste possono essere seguite indipendentemente l’una dall’altra, a patto che chi legge passi dalla ‘biglietteria’ dove vengono fornite le nozioni elementari. E proprio come accade nella metropolitana di una grande città, tali linee possono essere molto utili a raggiungere con mezzi propri le vie e le piazze che non rientrano nel loro percorso.