Ragioni e limiti del formalismo. Saggi di filosofia della logica e della matematica

La prospettiva formale ha dominato la cultura logico-matematica del Novecento. I primi volumi di Evandro Agazzi (Introduzione ai problemi dell'assiomatica, 1961 e La logica simbolica, 1964) sviluppavano una riflessione capace di indicare sia le ragioni storico-concettuali che hanno condotto all'egemonia del formalismo, sia i rilievi che fanno emergere - attraverso un'accurata analisi delle sue caratteristiche - le ragioni dell'impossibilità di assolutizzarlo. Questa riflessione è proseguita per tutto l'arco della carriera scientifica di Agazzi, il quale ha sviluppato analisi critiche addentratesi specialmente in problemi di teoria del significato e di ontologia, tradottesi in alcune proposte originali la cui correttezza, nonostante il loro ardimento, è stata riconosciuta nelle sedi tecnicamente più autorevoli. L'articolo Consistency, Truth and Ontology, apparso su "Studia Logica" nel 2011, testimonia, a mezzo secolo dall'opera prima, il permanere di questi interessi di ricerca e l'attualità che viene loro riconosciuta. Il presente volume raccoglie alcuni dei principali saggi (difficilmente reperibili perché apparsi su riviste o in volumi collettivi, pubblicati, in parte, in lingua straniera) che hanno scandito questo itinerario. Un'apposita Introduzione e un'organica distribuzione degli studi conferiscono unità all'intera raccolta, arricchita da una prefazione del curatore e da una bibliografia per ulteriori approfondimenti critici.