Ragionare: Logica ed Intelligenza Artificiale

[EDUNEXT] Università degli Studi di Pavia

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. (Powered by Jellypod)

Episodes

  1. [01] Il ragionamento

    May 25

    [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.

  2. [02] Le fallacie

    May 25

    [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.

  3. [03] Logica formale e Informale

    May 25

    [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.

  4. [04] Dalla logica al computer

    May 25

    [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.

  5. [05] Rischio e Intelligenza Artificiale, con Luca Zanetti

    May 25

    [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.

  6. [06] Intelligenza Artificiale e Medicina, con Yugin Cho

    May 25

    [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.

  7. [07] Imprenditoria e Intelligenza artificiale, con Christian Salvatore

    May 25

    [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.

  8. [08] L'etica dell'intelligenza artificiale, con Federico Faroldi

    May 25

    [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.

  • 8 Episodes

About

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. (Powered by Jellypod)

Information

You Might Also Like