Sui sentieri della logica

Questo volume presenta un primo assaggio panoramico di storia della logica, da Aristotele alla seconda metà del Novecento. Il percorso si snoda attraverso la riflessione sistematica compiuta dallo Stagirita, seguendo lo sviluppo della logica stoica e la ricca produzione medievale. Il volume affronta poi il dibattito seicentesco sulla fecondità della logica, per arrivare all’Ottocento, epoca in cui dall’Algebra, dalla Geometria e dall’Analisi arrivano suggestioni nuove che rivitalizzano la disciplina. Accanto al ruolo di Frege, Russell e Hilbert, si considera in dettaglio anche la Scuola intuizionista dell’olandese Bertus Brouwer, si traccia un bilancio sul destino delle tre Scuole fondazionali (intuizionista, logicista, formalista/finitista) e si illustra il ruolo di figure del calibro di Tarski e Goedel, concludendo con una visione prospettica sul tema del platonismo matematico, erede della questione fondazionale.