Ebook: Lineamenti di logica matematica

Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale superiore di Pisa, dove successivamente è stato professore emerito. Indirizzato agli studi logici da L. Geymonat, completò la sua formazione logica e filosofico-matematica presso l'Università di Münster. C. ha ricoperto un ruolo di rilievo nella rinascita della logica matematica in Italia (poco coltivata dopo la morte di G. Peano), contribuendo a introdurre gli sviluppi e i risultati più importanti della disciplina. Autore di numerosi articoli su riviste italiane e straniere (da segnalare in partic. quelli dedicati alla logica dei comparativi e alle teorie logiche di B. Bolzano), ha inoltre pubblicato: Logica dei predicati (1957); Lineamenti di logica matematica (1959); Questioni di filosofia della matematica (1964); Introduzione alla logica (1997); La matematica della verità. Strumenti matematici della semantica logica (2006); Bolzano’s logical system (2016).