Notizie

L’AILA, con il patrocinio della SILFS, celebra il World Logic Day 2025 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.

Seguono i dettagli dell’evento in streaming.

Logica a 360°: dialoghi tra arte, scienza e lavoro – modera Silvia Pittarello

Quando: Giorno 14 gennaio – Ore 17:00
Dove: al link https://youtube.com/live/OtE6I4elTWc

Intervengono:

• Erica Calardo – Pittrice figurativa
• Almudena Colacito – ID Logistics Italy
• Vincenzo Crupi – Università di Torino
• Alessio Palmero Aprosio – Università di Trento
  
  Poster dell’evento: scaricabile qui

Eventi locali: in basso i dettagli delle attività organizzate dalle sedi locali.

• Università di Bari
  Numeri, computer, e altri arnesi logici
  A Bari, la celebrazione della logica si articolerà in due momenti distinti. Dalle 10 alle 12, presso il Dipartimento di Matematica, studenti e studentesse provenienti da dodici licei pugliesi prenderanno parte a seminari interattivi dedicati al problema, inaspettatamente logico, di come rappresentare numeri (finiti) straordinariamente grandi. Dalle 15 alle 17, al Dipartimento di Ricerca e Innovazione Umanistica, si esploreranno invece i limiti logici dell’intelligenza artificiale, affrontando problemi che nessun computer sarà mai in grado di risolvere.
  
  
• Università di Cagliari
  TBA
  
  
• Università di Milano
  Il gruppo di ricerca LUCI Lab (Logic Uncertainty Computation and Information) del Dipartimento di Filosofia dell’Università statale di Milano organizza un evento dal titolo “La logica nella scienza e tecnologia”. Saranno previsti i seguenti interventi, introdotti da Hykel Hosni:
  -Il pregiudizio della macchina – Alessandro Buda.
  -La teoria dell’argomentazione per l’inferenza scientifica – Esther Anna Corsi.
  Il volantino e eventuali aggiornamenti saranno presto disponibili sul sito del lab www.luci.unimi.it
  
  
• Università di Padova
  Esplorazioni Logiche: laboratorio per studenti
  Dopo un’introduzione iniziale dedicata ai paradossi logici, le classi verranno divise in gruppi per svolgere un’attività di tipo laboratoriale. Seguirà una discussione finale con tutte le classi, e gli studenti riceveranno un attestato di partecipazione e un foglio di “appunti di viaggio” con le principali nozioni scoperte.
  Le attività si svolgeranno il 15/01.
  
• Università di Palermo
  Presso il Dipartimento di Matematica e Informatica, il gruppo di ricerca SCo^2 (Soft Computing per le Scienze Cognitive), in collaborazione con il Progetto SDF, presenterà dei seminari interattivi rivolti agli studenti del 4 ° e 5° anno dei Licei Scientifici.
  Nella prima parte della mattina Manuel Mancini, Giuseppe Filippone e Gianmarco LaRosa, del Progetto SDF, partiranno da una succinta descrizione della Logica Classica, per poi estendere la trattazione alla Logica Fuzzy ed alle Ontologie, con l’ausilio di momenti interattivi che coinvolgeranno gli studenti. Nella seconda, Lydia Castronovo presenterà un’introduzione alla logica della probabilità soggettiva concentrandosi in particolare sul concetto di condizionale, mentre Gabriele Fici discuterà delle precedenze degli operatori in aritmetica e mostrerà come creare un semplice programma informatico in grado di calcolare il risultato delle espressioni aritmetiche che può essere adattato per valutare le formule logiche. Il programma è disponibile qui.
  
• Università Roma 3
  La logica alla scuola secondaria
  L’incontro è rivolto a docenti di scuole secondarie di primo e secondo grado. L’obiettivo è promuovere e favorire:
  – la discussione sul ruolo che il ragionamento logico gioca all’interno della pratica didattica quotidiana;
  – attività finalizzate all’esplicitazione dei passaggi logici che portano ad un certo risultato;
  – riflessione sui programmi scolastici/indicazioni nazionali e come il ruolo della logica si è evoluto all’interno di questi;
  – lo scambio di conoscenze ed esperienze tra docenti e ricercatori.
  Il Responsabile dell’attività è il prof. Lorenzo Tortora de Falco e i docenti disponibili a svolgere le lezioni sono: il prof. Vito Michele Abrusci, il prof. Antonio Veredice, il prof. Luigi Bernardi.
  
  
• 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
  Il gruppo di ricerca MINDS (seMiotics, logIc, computer scieNce, Devices and pSycology) del Dipartimento di Scienze della Comunicazione dell’Università di Teramo organizza una giornata interamente dedicata alla logica ed alle sue applicazioni nella vita quotidiana. L’evento è rivolto prevalentemente agli studenti delle scuole secondarie superiori ma si propone di raggiungere un pubblico più ampio. Durante l’incontro sono previsti quiz di logica a premi e piccoli momenti di divulgazione scientifica.
  Per maggiori informazioni inviare una e-mail a wld@unite.it
  
  
• 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”. Maggiori informazioni qui. Maggiori informazioni sono disponibili sul sito: https://www.logicgroup.altervista.org/torino/terza_missione/2025/
  
  
• Università di Udine
  “L’informatica è il proseguimento della logica con altri mezzi” (G.Gottlob) Questa parafrasi della frase su guerra e politica del generale prussiano von Clausewitz è ben esemplificata dalla nascita dei moderni computer. Intorno agli anni trenta del novecento matematici, logici e filosofi si interrogavano sulla nozione di dimostrazione e di algoritmo ed il lavoro di uno di loro, Alan Turing, e’ alla base dell’ esistenza dei computer come li conosciamo oggi. Nel World Logic Day racconteremo la storia di Turing e della sua “macchina di Turing universale”. Dopo un breve intervallo, i partecipanti verranno divisi in piccoli gruppi per imparare a programmare una macchina di Turing aiutandosi con un simulatore al computer.
  
  
• Università di Urbino
  Pierluigi Graziani terrà un seminario dal titolo “Macchine Logiche” presso il Liceo Scientifico e delle Scienze Umane Laurana – Baldi di Urbino (https://www.liceolaurana.edu.it/wp-laurana/). Il seminario “Macchine Logiche” invita a riflettere sulla meccanizzazione dei processi di ragionamento, esplorando il tema attraverso un percorso che unisce analisi storica e approfondimento concettuale. L’incontro accompagnerà gli studenti in un viaggio interdisciplinare, intrecciando filosofia, logica e tecnologia.
  
  
  
• Eventi Patrocinati:
  • 18-25 gennaio. Giovanni Sambin e Silvia Pittarello incontreranno studenti di scuole superiori in provincia di Padova. Maggiori dettagli sulle attività sono disponibili all’indirizzo https://silviapittarello.it/world-logic-day-2025/