Risultati per " Bolzano."

L'articolo analizza la figura e il magistero di Ettore Casari presso l’Università di Firenze, puntando l’attenzione sul suo ruolo per lo sviluppo della logica in Italia a partire dagli anni '60. Attraverso un approccio che unisce rigore formale e riflessione epistemologica, Casari ha approfondito le conseguenze dei teoremi limitativi della logica di Gödel e Tarski e i motivi dell’autoriferimento logico; il suo contributo si estende dallo studio della logica classica alla logica intuizionistica alle logiche alternative, fino alla ricerca di "ponti" interdisciplinari tra matematica, fisica e filosofia. L'opera di Casari emerge come un modello di umanesimo scientifico, capace di integrare la precisione tecnica con una profonda prospettiva storica e metodologica.

The article analyzes the figure and the teaching of Ettore Casari at the University of Florence, focusing on his role in the development of logic in Italy beginning in the 1960s. Through an approach that combines formal rigor with epistemological reflection, Casari explored the consequences of the limitative theorems of logic by Gödel and Tarski; his contribution extends from the study of classical logic to alternative logics, reaching toward the search for 'interdisciplinary bridges' between mathematics, physics, and philosophy. Casari’s work emerges as a model of scientific humanism, capable of integrating technical precision with a profound historical and methodological perspective.