Ciro De Florio

Ciro De Florio

È professore associato di logica presso la Facoltà di Economia dell’Università Cattolica di Milano. I suoi interessi riguardano la filosofia della logica e la logica applicata. Si è occupato dei problemi ontologici dei sistemi di logica di ordine superiore e delle teorie formali della verità. Attualmente sta lavorando su modelli formali della semantica del futuro, su sistemi di logica degli atti illocutori e sulla caratterizzazione logica dell’incertezza. È membro dello Humane Technology Lab dell’Università Cattolica e si occupa dei rapporti tra intelligenza artificiale e interfaccia umana. Tra le recenti pubblicazioni, con A. Frigerio, "Divine Omniscience and Human Free Will. A logical and metaphysical analysis", Palgrave Mac-Millan 2019; con M. Carrara e D. Chiffi, "We don’t know we don’t know", Synthese, 198, 2021; insieme a M. Carrara, G. Lando e V. Morato, ha scritto il primo manuale italiano di metafisica analitica: "Introduzione alla metafisica contemporanea", Il Mulino 2021. Quando la logica lo consente, adora andare in montagna; meglio se con la sua famiglia.

Conseguenza logica

Abstract The concept of logical consequence is crucial for logic and for its philosophical construal. The aim of this work is to provide a technically accessible introduction to this concept showing the grounding intuitions and two most important formal characterizations:…

Leggi tutto Conseguenza logica