Autore: Segretario

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’AILA, in collaborazione con MaddMaths!, ha preparato alcune attività da proporre a scuola. I materiali sono disponibili qui.

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.
Per collegarsi: clicca qui.

Poster dell’evento: scaricabile qui.

Eventi locali.
Seguono i dettagli delle attività organizzate dalle sedi locali.

• Università di Bari
  Logica ovunque
  A Bari, come di consueto, la celebrazione del World Logic Day si articolerà in due momenti distinti. Dalle 10 alle 12, il Dipartimento di Informatica ospiterà un centinaio di studenti e studentesse delle scuole superiori: Margherita Barile guiderà il pubblico alla scoperta della logica nella cultura cinese, mentre Gioacchino Sterlicchio mostrerà come il pensiero formale giochi un ruolo chiave nella tutela del cielo del futuro. Nel pomeriggio, dalle 15 alle 17, le attività proseguiranno presso il Dipartimento di Ricerca e Innovazione Umanistica e saranno aperte all’intera comunità universitaria. Qui, Abeer Dyoub discuterà il ruolo della logica nell’orientare il comportamento etico delle intelligenze artificiali, mentre Luca San Mauro illustrerà come utilizzare strumenti logici per fare matematica per tentativi ed errori. La giornata è patrocinata e organizzata dal Centro Interdipartimentale di Ricerca “Logica e Applicazioni” (CILA) dell’Università degli Studi di Bari.
  Poster.
  
  
• Università della Calabria
  Dalla Logica Classica all’IA
  Per celebrare il World Logic Day 2026 (WLD26), proponiamo un laboratorio per le studentesse e gli studenti del quarto e quinto anno della scuola secondaria di secondo grado, dedicato al ragionamento formale, intitolato “Dalla Logica Classica all’IA”. Il laboratorio, della durata di tre ore, si svolgerà prima della giornata celebrativa del WLD26 — che prevede interventi di professori e ricercatori universitari sulla logica e sulle sue applicazioni alla filosofia, alla matematica e all’intelligenza artificiale — e ne costituirà un momento introduttivo e propedeutico. L’obiettivo principale del laboratorio è sviluppare e potenziare le capacità logico-deduttive, analitiche e critiche degli studenti, favorendo un approccio interdisciplinare tra filosofia, matematica e informatica, ed evidenziando la continuità storico-epistemologica tra il pensiero classico e il pensiero scientifico-computazionale.
  Poster Laboratorio, Poster Celebrazione.
  
  
• Università di Cagliari
  WRL 2026 workshop – Quantum Machine Learning, Logic and Algebraic structures.
  Presso la sede dell’Università degli Studi di Cagliari in Via Is Mirrionis 1, il 14 gennaio 2026 si terrà un workshop. Il programma è il seguente.
  • 10.00 – Opening: Roberto Giuntini: From Quantum Logic to engineering and back
  • 11.00 – Francesco Paoli: Bochvar algebras: Categorical equivalence and the generated variety
  • 11.50 – Break
  • 12.00 – Giuseppe Sergioli: Quantum and Quantum-inspired machine learning. Differences and similarities
  • 13.00 – Lunch break
  • 15.00 – Stefano Bonzio: Topological and differentiable aspects of Clifford semigroups
  • 16.00 – Closing: Michele Camerota. History and Philosophy of science: a new perspective .
    
    
    
• Università dell’Insubria
  Logica e Informatica: da George Boole all’Intelligenza Artificiale
  In occasione della giornata mondiale della logica 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/
  NB: L’evento è rimandato a data da stabilire.
  
  
• 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
  World Logic Day al DMI di UniPa
  Un incontro rivolto agli studenti degli ultimi anni delle superiori, basato su talk interattivi. L’attività si svolgerà il 14 gennaio 2026 dalle ore 09.30 presso l’aula 4 del Dipartimento di Matematica e Informatica dell’Università degli Studi di Palermo. Dopo un intervento introduttivo di Gianluigi Oliveri, Lydia Castronovo presenterà un intervento su Logica dell’Incertezza e Probabilità; Gianmarco La Rosa e Giuseppe Filippone descriveranno la Logica Fuzzy ed alcune sue applicazioni; Gabriele Fici parlerà di precedenza delle operazioni, e Filippo Cavallari concluderà l’incontro  con un approfondimento su Raymond Smullyan e sulla ‘giochizzazione’ della matematica.
  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.
  
  
• Università di Urbino
  Introduzione al pensiero critico: pensare, argomentare, discutere
  In occasione della Giornata mondiale della Logica, l’Istituto Tecnico Industriale Statale di Urbino “E. Mattei” organizza una mattina di riflessioni e laboratori dal titolo “Introduzione al pensiero critico: pensare, argomentare, discutere”. A incontrare due classi III, indirizzo “Elettronica” e indirizzo “Meccanica” rispettivamente, per un totale di oltre 40 studenti, sarà la prof.ssa Flavia Marcacci, seguita poi dai colleghi prof. Pierluigi Graziani e prof. Alessandro Aldini, per un ciclo di tre appuntamenti (14, 20 e 30 gennaio 2026) promossi dall’Università di Urbino nelle scuole, nell’ottica di diffondere e favorire l’acquisizione di strumenti e contenuti di pensiero critico, logica e problem solving.
  
  
• Eventi Patrocinati:
  • Scienza Express organizza il 14 gennaio 2026, dalle 15.30 alle 18 un evento online dedicato alla logica, ai suoi linguaggi e alle sue forme di rappresentazione.
    Maggiori informazioni sono disponibili all’indirizzo:
    https://scienzaexpress.it/2025/12/la-logica-fra-enigmi-e-immagini/
  • Giovanni Sambin e Silvia Pittarello organizzano il 14 gennaio 2026 alle ore 21 una diretta YouTube dal titolo “Da Gödel al teorema del punto fisso“.
    Link: https://www.youtube.com/watch?v=fFvZLDCVLDk