Course · 8 lessons · ~1h 44m · In Italian
Logica ed etica dell'intelligenza artificiale
Al termine del corso saprai ragionare con la logica formale e informale, riconoscere le fallacie e valutare le questioni etiche dell'intelligenza artificiale.
By the end, you'll be able to
- [01] Il ragionamento
- [02] Le fallacie
- [03] Logica formale e Informale
- [04] Dalla logica al computer
Curriculum
8 lessons- 01[01] Il ragionamentoCos'è 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.
- 02[02] Le fallacieQuando 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.
- 03[03] Logica formale e InformaleIn 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.
- 04[04] Dalla logica al computerCome 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.
- 05[05] Rischio e Intelligenza Artificiale, con Luca ZanettiCome 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.
- 06[06] Intelligenza Artificiale e Medicina, con Yugin ChoDove 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.
- 07[07] Imprenditoria e Intelligenza artificiale, con Christian SalvatoreCosa 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.
- 08[08] L'etica dell'intelligenza artificiale, con Federico FaroldiCosa 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.
Your instructor
Logica ed etica dell'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.
Start the course
8 lessons · ~1h 44m. Free, no signup.
More in STEM & Exam Prep
See all
AQA GCSE Biology: Cell Biology Foundations
Review the AQA cell biology sequence from cells through transport.
AQA GCSE Biology: Organisation, Enzymes, and Health
Complete the next AQA biology review arc around organisation, enzymes, and health.
ItalianFisiologia animale negli ambienti estremi
Capirai come il corpo degli animali sopravvive senza ossigeno, al freddo, al caldo, al buio, alle migrazioni e alla pressione dell'uomo.
ItalianNeuroscienze cognitive: dentro la vita della ricerca accademica
Capirai come si svolge davvero la ricerca accademica e coglierai le idee fondamentali che collegano cervello, corpo, apprendimento e comportamento.