https://ragionare-logica-ed-intel-m9fc9x.jellypod.comPowered by Jellypod (https://www.jellypod.com)Wed, 08 Jul 2026 22:52:20 GMTMon, 25 May 2026 14:47:56 GMTyes0a998478-0968-47cf-a366-4202c9a0b249[EDUNEXT] Università degli Studi di PaviaRagionare è 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 (ancRagionare è 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. (Powered by Jellypod)serial[EDUNEXT] Università degli Studi di Paviafeed+aca9df9b@podcasts.jellypod.comfalsehttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/914604b3-0842-4d73-b274-199b1727f502914604b3-0842-4d73-b274-199b1727f502Mon, 25 May 2026 14:52:18 GMT8Cos'è 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.

]]>[EDUNEXT] Università degli Studi di PaviaCos'è 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 indutCos'è 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.falsefullhttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/47efd800-f90a-49c3-82ec-afad2b3d6ecc47efd800-f90a-49c3-82ec-afad2b3d6eccMon, 25 May 2026 14:55:54 GMT7Quando 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.

]]>[EDUNEXT] Università degli Studi di PaviaQuando 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 disinnescaQuando 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.falsefullhttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/dc11c4e0-b2cf-42e2-8740-6b1a24d7499cdc11c4e0-b2cf-42e2-8740-6b1a24d7499cMon, 25 May 2026 14:57:44 GMT6In 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.

]]>[EDUNEXT] Università degli Studi di PaviaIn 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.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.falsefullhttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/f7e2a023-c213-475d-8ed1-309c6a4317ecf7e2a023-c213-475d-8ed1-309c6a4317ecMon, 25 May 2026 14:59:32 GMT5Come 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.

]]>[EDUNEXT] Università degli Studi di PaviaCome 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 algoritCome 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.falsefullhttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/b6762189-132d-43f4-9dfd-edd4d9dea853b6762189-132d-43f4-9dfd-edd4d9dea853Mon, 25 May 2026 15:01:36 GMT4Come 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.

]]>[EDUNEXT] Università degli Studi di PaviaCome 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 proCome 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.falsefullhttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/d2a79608-98be-4ec8-afac-5d75d41d197bd2a79608-98be-4ec8-afac-5d75d41d197bMon, 25 May 2026 15:03:04 GMT3Dove 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.

]]>[EDUNEXT] Università degli Studi di PaviaDove 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 dallDove 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.falsefullhttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/d7e77a8e-025c-4b00-bd97-ba2f38c10400d7e77a8e-025c-4b00-bd97-ba2f38c10400Mon, 25 May 2026 15:05:09 GMT2Cosa 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.

]]>[EDUNEXT] Università degli Studi di PaviaCosa 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 innovativCosa 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.falsefullhttps://ragionare-logica-ed-intel-m9fc9x.jellypod.com/episodes/1ce398f8-c091-4b20-a435-38e5a0634b9a1ce398f8-c091-4b20-a435-38e5a0634b9aMon, 25 May 2026 15:06:23 GMT1Cosa 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.

]]>[EDUNEXT] Università degli Studi di PaviaCosa 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 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.falsefull