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

  1. Episode 1

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

    [01] Il ragionamento

  2. Episode 2

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

    [02] Le fallacie

  3. Episode 3

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

    [03] Logica formale e Informale

  4. Episode 4

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

    [04] Dalla logica al computer

  5. Episode 5

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

    [05] Rischio e Intelligenza Artificiale, con Luca Zanetti

  6. Episode 6

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

    [06] Intelligenza Artificiale e Medicina, con Yugin Cho

  7. Episode 7

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

    [07] Imprenditoria e Intelligenza artificiale, con Christian Salvatore

  8. Episode 8

    [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. 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
See All (8)

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

Information