Ragionare: Logica ed Intelligenza Artificiale

Cos'è il ragionamento? Mattia e Gabriele partono dalle basi: cosa significa davvero ragionare? Si esplorano i tre tipi fondamentali di inferenza — deduzione, induzione e abduzione — con esempi concret...

Quando la logica si rompe? Mattia e Gabriele analizzano quattro delle fallacie argomentative più diffuse e pericolose: l'Ad Hominem, l'Uomo di Paglia, l'Appello all'Autorità e il Falso Dilemma. Un epi...

In che lingua parla la logica? Mattia e Gabriele distinguono la logica formale — il linguaggio rigoroso dei simboli e delle regole necessarie, alla base dell'informatica — dalla logica informale, stru...

Come le regole del pensiero sono diventate silicio e codice? Mattia e Gabriele ripercorrono il filo storico che porta da Leibniz e il suo sogno di una Characteristica Universalis, all'algebra di Boole...

Come si calcola il rischio quando i precedenti storici non esistono? Zanetti guida l'ascoltatore attraverso i concetti di rischio e incertezza severa, applicati alle minacce potenzialmente esistenzial...

Dove l'IA fa già la differenza in ambito diagnostico, e dove invece incontra ancora limiti significativi? Yugin Cho esplora il rapporto tra medici e algoritmi, il problema dei bias nei dati clinici, l...