Ragionare: Logica ed Intelligenza Artificiale
by [EDUNEXT] Università degli Studi di Pavia · 8 episodes
🇮🇹 Italy chart EducationPhilosophy
Ragionare è il podcast dell'Università di Pavia dedicato a logica e intelligenza artificiale. Condotto da Mattia Vargas, dottorando in logica e filosofia, il podcast si divide in due parti: una prima sezione di quattro episodi in dialogo con Gabriele (anch'egli dottorando in logica) che introduce gli strumenti fondamentali del pensiero razionale — dalle inferenze alle fallacie, dalla logica formale alle origini dei computer — e una seconda parte di interviste a ricercatori ed esperti che applicano questi strumenti ai grandi temi dell'intelligenza artificiale contemporanea: allineamento, medicina, rischio esistenziale e imprenditoria tech. Musica utilizzata Royalty Free, distribuita sotto CC-BY 3.0. https://www.chosic.com/download-audio/29290/ Bossa A...
Latest episodes
-
[08] L'etica dell'intelligenza artificiale, con Federico Faroldi
Cosa significa allineare un'intelligenza artificiale ai valori umani, e perché molti ricercatori lo considerano il problema più urgente dei prossimi decenni? Faroldi illustra il su…
-
[07] Imprenditoria e Intelligenza artificiale, con Christian Salvatore
Cosa significa davvero tradurre la ricerca accademica in un'azienda che opera nel mercato reale? Christian Salvatore racconta il salto — personale e culturale — dal laboratorio all…
-
[06] Intelligenza Artificiale e Medicina, con Yugin Cho
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…
-
[05] Rischio e Intelligenza Artificiale, con Luca Zanetti
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 potenz…
-
[04] Dalla logica al computer
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,…
-
[03] Logica formale e Informale
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 lo…
-
[02] Le fallacie
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 F…
-
[01] Il ragionamento
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…