About Ragionare: Logica ed Intelligenza Artificiale
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 Antigua by Kevin MacLeod | https://incompetech.com/
Music promoted by https://www.chosic.com/free-music/all/
Creative Commons Creative Commons: By Attribution 3.0 License
http://creativecommons.org/licenses/by/3.0/
[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 suo approccio basato su ragioni (reasons-based AI), discute i limiti dell'AI Act europeo e offre uno sguardo lucido sullo stato internazionale della ricerca sulla sicurezza dell'IA.
25 May 2026
[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 alla scrivania del CEO, le sfide del sistema italiano per le startup innovative, e il lavoro di DeepTrace sulla diagnosi precoce di malattie neurodegenerative come l'Alzheimer tramite IA.
25 May 2026
[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 nei dati clinici, la responsabilità nelle decisioni mediche assistite dall'IA e il fenomeno crescente delle persone che si rivolgono agli LLM per ottenere consigli sulla propria salute.
25 May 2026
[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 potenzialmente esistenziali dell'intelligenza artificiale, e spiega perché le probabilità convenzionali non bastano per ragionare su scenari senza precedenti.
25 May 2026
[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, all'algebra di Boole, fino alla Macchina di Turing e al concetto di algoritmo. Un viaggio affascinante alle radici filosofiche dei computer moderni e dell'intelligenza artificiale.
25 May 2026
[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 logica informale, strumento per navigare l'ambiguità del linguaggio naturale. Due facce complementari della stessa medaglia: senza l'una perderemmo coerenza, senza l'altra non potremmo ragionare sul mondo reale.
25 May 2026
[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 Falso Dilemma. Un episodio pratico per imparare a riconoscere — e disinnescare — i meccanismi della manipolazione retorica.
25 May 2026
[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 — con esempi concreti che vanno dal sillogismo di Socrate al tacchino induttivista di Russell, fino alla distinzione cruciale tra un ragionamento valido e uno fondato su premesse vere.
Contact Ragionare: Logica ed Intelligenza Artificiale
Guest appearances
Books guests
Based on episode analysis; this does not confirm that the show is currently accepting guests.
Host of Ragionare: Logica ed Intelligenza Artificiale?
Claim your podcast to manage its listing and keep your show details accurate.
Pod Engine is an independent podcast discovery and analytics service and is not affiliated with or endorsed by this podcast. Artwork and show content belong to their owners. Full legal notice.
Explore this show Podcast research with Pod Engine
