L’AILA, con il patrocinio della SILFS, celebra il World Logic Day 2026 coordinando delle attività divulgative in tutta Italia. Le attività si terranno in varie università sul territorio italiano e in streaming sul canale YouTube dell’associazione.
L’evento in streaming, sul tema “Logica, Linguaggio e AI“, si terrà il giorno 14 gennaio alle ore 18:00. Gli interventi di carattere divulgativo saranno tenuti da:
– Matteo Bianchetti (Open AI);
– Maria Paola Bonacina (Università degli Studi di Verona);
– Marco Giunti (Università degli Studi di Cagliari).
L’evento sarà moderato da Silvia Pittarello.
Canale Youtube AILA: clicca qui.
Poster dell’evento: scaricabile qui.
Eventi locali.
Seguono i dettagli delle attività organizzate dalle sedi locali.
- Università di Bari
TBA - Università dell’Insubria
Logica e Informatica: da George Boole all’Intelligenza Artificiale
In occasione della giornata mondiale della logica, il 14 gennaio 2026 alle ore 14:30, il corso di laurea in Informatica propone un pomeriggio di approfondimento sui rapporti tra logica e informatica. Dalle idee di George Boole, che trasformò la logica in linguaggio matematico, fino all’Intelligenza Artificiale simbolica, fondata sull’idea che il pensiero possa essere rappresentato mediante simboli e regole logiche, la logica costituisce uno dei pilastri storici dell’intelligenza artificiale, in contrasto ma anche in dialogo con gli approcci basati sull’apprendimento statistico e sulle reti neurali.
L’incontro, di carattere divulgativo, è rivolto a studenti universitari e delle scuole superiori e agli insegnanti. Interventi di: Prof. Mauro Ferrari, Prof. Fabio Minazzi, Prof.ssa Brunella Gerla, Prof. Pietro Galliani, Dott. Loris Bozzato, Dott. Paolo Giardini.
Per maggiori informazioni:
https://orientamentoinformatica.dista.uninsubria.it/logica-e-informatica/ - Università Statale di Milano
TBA - Università di Padova
Le Contraddizioni, tra matematica e filosofia: laboratorio per studenti
In occasione della giornata mondiale della logica, ed in collaborazione con AILA (Associazione Italiana di Logica e sue Applicazioni), si propone un’attività di tipo laboratoriale per gli studenti della scuola secondaria di secondo grado.
Le attività si svolgeranno martedì 13 gennaio MATTINA, presso il Dipartimento di Matematica “Tullio Levi-Civita” dell’Università di Padova, e sono articolate nel seguente modo: ci sarà un’introduzione iniziale, poi le classi verranno divise in gruppi per svolgere un’attività laboratoriale sul tema delle contraddizioni logiche. - Università di Palermo
TBA
Poster: https://wld.unipa.it/ - Università Roma 3
La logica alla scuola primaria e secondaria di I grado
Attraverso attività laboratoriali e ludiche, con momenti di discussione, il corso favorisce la riflessione sul ruolo della logica nella didattica della matematica. Verranno affrontate tematiche come l’argomentazione, i valori di verità, i quantificatori, il linguaggio e i giochi a due giocatori.
L’evento si terrà presso l’Università Roma Tre, mercoledì 14 gennaio ore 17:00.
Link iscrizione: https://forms.gle/zpn3pjYX8LKFyABa7 - Università Sapienza
Logic Day in Sapienza
Il workshop affronterà aspetti della Logica rilevanti per l’Informatica, l’Intelligenza Artificiale, le Basi di Dati, l’Informatica Teorica, oltre ad alcuni temi di Logica Matematica pura.Tra i relatori figurano: Maurizio Lenzerini, Lorenzo Carlucci, Marco Console, Giuseppe De Giacomo, Nicola Galesi, Massimo Lauria.
Per maggiori informazioni:
https://sites.google.com/diag.uniroma1.it/logic-day-in-sapienza/home - Università di Salerno
Vero, Falso e…
Cosa vuol dire “ragionare”? Nel corso di un laboratorio rivolto agli studenti del triennio della scuola secondaria superiore verranno proposti problemi volti a formalizzare il concetto di “ragionamento formale” e l’uso di connettivi e quantificatori nel linguaggio naturale. Il laboratorio verrà preceduto da una breve conferenza iniziale per preparare gli studenti ai temi che verranno affrontati. - Università di Teramo
Critical thinking e argomentazione
In occasione del World Logic Day 2026, il Dipartimento di Scienze della Comunicazione dell’Università di Teramo organizza un evento dedicato agli studenti delle scuole secondarie superiori con l’obiettivo di promuovere la logica, il critical thinking e la teoria dell’argomentazione. L’evento si terrà il 14 gennaio 2026 presso l’Aula Magna del polo didattico S. Spaventa dell’Università di Teramo a partire dalle 9:00 e prevedrà giochi e attività per familiarizzare con le buone pratiche di ragionamento in modo interattivo e divertente.
Per maggiori informazioni: https://www.unite.it/UniTE/Home/Orientamento_entrata/Giornate_Internazionali_-_2026 - Università di Torino
Verso l’infinito e oltre…
L’infinito è certamente uno degli argomenti che più ha affascinato l’uomo fin dal tempo degli antichi greci. Attraverso una conferenza iniziale e varie attività laboratoriali, si affronterà il tema dal punto di vista della matematica e si scoprirà come si è passati da un rifiuto di tale concetto al “paradiso di Cantor” e alla scoperta che esistono “infiniti tipi di infiniti”. - Università di Udine
Verità e Dimostrazione: laboratorio con Tarski’s World
L’attività si concentra sul concetto di verità e di dimostrazione e sulle differenze fra questi due concetti. Inizieremo con un seminario storico sulla crisi dei fondamenti della matematica e sui Teoremi di Goedel. A seguire, i ragazzi lavoreranno in piccoli gruppi in laboratorio per esplorare il concetto di verità e conseguenza logica con una app dedicata. - Eventi Patrocinati:
TBA