World Logic Day 2025

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

Incontro AILA 2024

L’Associazione Italiana per la Logica e le sue Applicazioni (AILA) organizza ogni tre anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica. Nel 2024 l’incontro si svolgerà ad Udine.
Gli incontri saranno caratterizzati da interventi plenari tenuti da ricercatori internazionali, interventi invitati tenuti dai vincitori dei premi AILA e contributed talk. I contributi di ricercatori di qualsiasi nazionalità sono benvenuti.

Pagine web dell’Incontro di Logica

Interventi Plenari

Ivano Ciardelli (Università di Padova)
Thomas Ehrhard (Université Paris Cité)
Elvira Mayordomo (Universidad de Zaragoza and Iowa State University)
Francesco Gallinaro (Albert Ludwigs Universität Freiburg)
Mai Gehrke (Université Côte d’Azur, Nice)
Sandra Müller (Technische Universität Wien)

Vincitori premi AILA

Claudio Agostini (Technische Universität Wien), vincitore del Premio “Franco Montagna”
Martino Lupini (Università di Bologna), vincitore del Premio “Paolo Gentilini”
Alessandro Vignati (Université Paris Cité), vincitore del Premio “Paolo Gentilini”
Vincitore del Premio “Ada Lettieri” – da assegnare

Altri Interventi

La presentazione di abstract da parte di qualunque ricercatore nel mondo è benvenuta. Un elenco di argomenti nell’ambito della conferenza include:

  • category theory,
  • computability theory,
  • model theory,
  • logic and computer science,
  • logic and philosophy, 
  • non-classical logics,
  • proof theory,
  • set theory.

Gli abstract devono essere lunghi al massimo 2 pagine, scritti in inglese usando lo stile Easychair: https://easychair.org/publications/for_authors
Gli abstract possono essere inviati attraverso il sito del convegno:
https://ailameeting24.uniud.it/abstract-submission

Il termine ultimo per la presentazione è il 30 aprile 2024. 7 maggio 2024
Le notifiche di accettazione saranno inviate prima del 15 giugno 2024.

World Logic Day 2024

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

La logica nel quotidiano – intelligenza e pensiero critico – modera Silvia Pittarello

Quando: Giorno 15 gennaio – Ore 16:00

Dove: al link https://youtube.com/live/OtE6I4elTWc

  • Mario PiazzaLogica e contesti di razionalità
  • Carlo ToffaloriLogica e fantasmi
  • Tavola rotondaLa logica nel quotidiano – intelligenza e pensiero critico.
    Il momento di discussione coinvolge, oltre ai conferenzieri, il presidente AILA Silvio Ghilardi e il vice-presidente SILFS Pierluigi Graziani. 

Attenzione: poiché il 14 gennaio 2024 è domenica, le attività si svolgeranno tra il 12 e il 16 gennaio 2024.

Qui sotto i dettagli delle attività organizzare dalle sedi che partecipano all’iniziativa.

  • Università di Bari
    Una scampagnata logica
    Descrizione:
    La celebrazione della logica occuperà l’intera giornata di lunedì 15 gennaio. La mattina, presso il Dipartimento di Matematica, si terranno due seminari laboratoriali che avvicineranno gli studenti delle scuole superiori al concetto di forma logica e alla gerarchia dell’infinito. Nel pomeriggio, presso il Dipartimento di Ricerca e Innovazione Umanistica, ci si rivolgerà invece a studenti universitari di varie discipline, discutendo della logica delle inferenze scientifiche; della possibilità o meno di classificare i paradossi semantici; e di come viaggiare dall’infinitamente piccolo all’infinitamente grande.

  • Università di Cagliari
    Introduzione alla Logica Matematica
    Descrizione:
    Si prevede un corso di 10 ore presso il Liceo Pacinotti di Cagliari, nell’ambito del programma “Liceo Matematico”. La data di inizio sarà proprio il 15 Gennaio, in occasione delle attività per la Giornata Mondiale della Logica.

  • Università di Padova
    Esplorazioni Logiche
    Descrizione:
    In occasione del World Logic Day 2024, il gruppo di logica del dipartimento di Matematica dell’Università di Padova organizzerà per gli studenti delle scuole secondarie di secondo grado un’esplorazione nel mondo della Logica tramite due laboratori: uno dedicato alla famosa isola di Smullyan e l’altro alle logiche non-classiche.
    Giorno 16/01

  • Università di Palermo
    World Logic Day 2024
    Descrizione:
    A partire dalle ore 9:00 si terranno i seguenti interventi, disponibili anche via Zoom qui. Maggiori informazioni sono disponibili qui.
    • La googologia e la logica dei grandi numeri – Giuseppe Metere (Unipa)
    • Preferenze immediate e logiche non convenzionali – Marco Elio Tabacchi (Unipa)
    • Quanto fa 10:5×2? – Gabriele Fici (Unipa)
    • Logica e ragionamento incerto – Lydia Castronovo e Giuseppe Sanfilippo  (Unipa)
    • Il filo del discorso: filosofia, logica e linguaggio – Marta Clemente (LCS V. Emanuele, PA)

  • Università di Perugia
    Le Olimpiadi della Logica
    Descrizione:
    L’evento è aperto alle studentesse e agli studenti iscritti a un cds o a un dottorato presso l’Università degli Studi di Perugia che vorranno mettere in gioco le proprie abilità critico-argomentative e logico-deduttive. La competizione si svolgerà presso l’Aula III del Dipartimento di Filosofia, scienze sociali umane e della formazione dell’Università degli Studi di Perugia, dalle ore 9:00 alle ore 13:00 e sarà strutturata in tre fasi selettive:
    • I Round: Lettura e comprensione critica di un testo & Riconoscimento di inferenze fallaci
    • II Round: Uso di tavole di verità e operatori verofunzionali (logica proposizionale)
    • III Round: Proof-theory (calcolo proposizionale).

  • Università di Pisa
    Presso il liceo Buonarroti di Pisa, si terranno le conferenze di Mauro Di Nasso “Infiniti e infinitesimi” e Marcello Mamino “I limiti della computazione”.

  • Università Roma 3
    Nell’ambito del World Logic Day 2024, il Lunedì 15 gennaio si terrà un “Aperitivo di Logica”, evento divulgativo, presso la Libreria Tomo, Via degli Etruschi 4/14, con il seguente programma:
    • ore 16:00: partecipazione alla conferenza diffusa in streaming con interventi di carattere divulgativo tenuti da Carlo Toffalori e Mario Piazza e moderati da Silvia Pittarello. A seguire ci sarà una tavola rotonda che coinvolgerà, oltre ai conferenzieri, il presidente AILA Silvio Ghilardi e il vice-presidente SILFS Pierluigi Graziani.
    • ore 17:30: conferenza (in presenza) del prof. Vito Michele Abrusci dal titolo “La Logica: una disciplina interdisciplinare. Risultati e prospettive”.

  • Università di Salerno
    Vero, Falso e…
    Descrizione:
    Le attività si svolgeranno due laboratori di Logica, sul tema di connettivi e quantificatori e sulla logica epistemica, rivolti agli studenti del triennio della scuola secondaria superiore. I laboratori saranno svolti nella forma di “thinking classroom” e saranno preceduti da una breve presentazione dei concetti logici necessari per svolgere le schede di lavoro.

  • Università di Teramo
    La Logica del Quotidiano
    Descrizione:
    In occasione del World Logic Day 2024, Il Dipartimento di Scienze della Comunicazione dell’Università di Teramo ha organizzato una giornata dedicata alla logica e alla teoria dell’argomentazione. Le attività sono rivolte agli studenti delle scuole secondarie superiori. L’evento prevede un laboratorio di teoria dell’argomentazione, una serie di giochi durante i quali gli studenti potranno cimentarsi nella soluzione di quesiti e indovinelli di logica, e la proiezione di alcuni video riguardanti logica e fallacie creati dagli studenti del corso di Logica e Teoria dell’Argomentazione del Corso di Scienze della Comunicazione.

  • Università di Trento
    L’infinito tra Matematica e Filosofia
    Descrizione:
    L’iniziativa è rivolta agli studenti delle scuole superiori. Prendiamo a pretesto la nozione di infinito per mettere in evidenza punti di contatto tra logica, filosofia e matematica.
    Le attività si aprono con un seminario di Federico Laudisa, docente di Logica e Filosofia della Scienza di UniTn, che discute del ruolo della logica come pensiero fondante della filosofia del Novecento. Prosegue Edoardo Tomasi, studente LM in Matematica di UniTn, che presenta la moderna formalizzazione matematica della nozione di infinito, a partire da alcuni cenni storico-filosofici sullo sviluppo di tale nozione.
    Seguono una serie di attività laboratoriali (risoluzione di problemi), organizzate e supervisionate da Edoardo Tomasi, Cesare Straffelini, dottorando in matematica di UniTn  e UB (Barcellona), e da Stefano Baratella, docente di Logica Matematica dell’Università di Trento.
    Cesare Straffelini conclude l’incontro con una discussione di alcuni dei problemi proposti e con qualche cenno sulla ricerca contemporanea sull’infinito in logica matematica.

  • Università di Torino
    Verso l’infinito e oltre…
    Descrizione:
    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.
    Giorno 12/01

  • Università di Udine
    Oltre il tabellone: Un’introduzione ai Giochi Finiti e Infiniti
    Descrizione:
    L’evento inizia con un seminario sulla teoria dei giochi infiniti: vengono introdotte le definizioni di base, degli esempi di giochi finiti e loro versioni infinite, e viene spiegato come la logica può aiutare a capire i giochi (per esempio come dimostrare che esistono sempre strategie vincenti). A questo punto gli studenti si dividono in gruppi per giocare loro stessi a giochi finiti e infiniti, per poi illustrare agli altri gruppi cosa hanno scoperto in queste sessioni.

  • Università di Urbino
    Logica e strategia per il pensiero critico
    Descrizione:
    Partendo da alcune problematiche rilevate dai report PISA sulle difficoltà di lettura critica di testi, la lezione procederà introducendo i concetti di ragionamento e correttezza di un ragionamento. Si distingueranno varie forme di ragionamento e si analizzeranno vari tipi di errori di ragionamento. Si concluderà con una riflessione sull’importanza degli studi di logica per lo sviluppo del pensiero critico e come questo tipo di formazione sia fondamentale non solo nell’ambito della vita scolastica/universitaria, ma anche per la partecipazione attiva a vari aspetti della vita sociale.

Eventi World Logic Day patrocinati dall’AILA:

  • Silvia Pittarelllo – corso di PCTO sulla comunicazione della scienza
    Raccontare PitagORA giocando – Giovanissime divulgatrici scientifiche (di)mostrano
    Contest destinato agli allievi del II anno dell’Istituto Comprensivo Rovigo 3, Scuola secondaria di primo grado “G. B. Casalini” con l’obiettivo di capire l’universalità di una dimostrazione.
  • Workshop “Directions and Perspectives in the λ-calculus”
    L’obiettivo del workshop è riunire principalmente giovani ricercatori al fine di affrontare le domande sopra menzionate. Lo stile non sarà necessariamente di natura tecnica, ma piuttosto di tipo panoramico e concettuale. Maggiori informazioni qui.
    Giorno 08/01

Rinnovo cariche sociali 2023

Il rinnovo delle cariche sociali dell’AILA quest’anno avverrà a distanza tramite votazione a scrutinio segreto sul sito https://heliosvoting.org .

In questa pagina verranno raccolte le candidature e verranno pubblicate le notizie riguardanti la votazione.

Le candidature sono presentabili fino alle 14:00 dell’22 settembre, tramite un’email a tutti i membri della commissione elettorale. Quest’ultima è composta da:

  • Alessandro Andretta ( alessandro.andretta [at] unito [dot] it )
  • Lorenzo Luperi Baglini ( lorenzo.luperi [at] unimi [dot] it )
  • Luca Spada ( lspada [at] unisa [dot] it )

In base all’articolo 18 dello Statuto i soci con diritto di voto sono tutti quelli in regola con il pagamento delle quote. Ciascun socio ha tempo fino a 5 giorni prima di ciascuna votazione per regolarizzare la sua posizione.  Questa pagina contiene le istruzioni per i pagamenti.

Ogni socio con diritto di voto potrà esprimere 1 preferenza tra i candidati alla presidenza e 5 preferenze tra i candidati al consiglio direttivo. La commissione elettorale raccomanda di esprimere le preferenze sui vari candidati tenendo conto del bilanciamento di genere e di età, della distribuzione geografica, e delle diverse aree della logica.

La prima votazione sarà aperta dalle 9:00 del 26 settembre alle 14:00 del 27 settembre, e avrà come oggetto l’elezione del Presidente e dei membri del Consiglio Direttivo.

La seconda votazione si terrà solo nel caso nessun candidato risulti eletto Presidente al primo turno dalle 9:00 del 3 ottobre alle 14:00 del 4 ottobre.

Il regolamento elettorale completo è disponibile al seguente link.

Elenco candidature alla Presidenza

Elenco candidature al Consiglio Direttivo

Segue la lista aggiornata dei soci con diritto di voto. Per ulteriori informazioni contattare il Segretario (segretario [at] ailalogica.it).

Elenco soci con diritto di voto (aggiornato al 22/9/23)

Marco Abbadini
Michele Abrusci
Matteo Acclavio
Claudio Agostini
Stefano Aguzzoli
Gianluca Amato
Alessandro Andretta
Stefano Baratella
Davide Barbarossa
Silvia Barbina
Gianluca Basso
Giulia Battilotti
Luca Bellotti
Stefano Berardi
Matteo Bianchi
Stefano Bonzio
Riccardo Bruni
Gabriele Buriola
Luigi Butti
Riccardo Camerlo
Andrea Cantini
Felice Cardone
Raphael Carroy
Claudia Casadio
Luca Carai
Paola Cattabriga
Ivano Ciardelli
Patrizio Cintioli
Cipriano Jr Cioffo
Vittorio Cipriani
Francesco Ciraulo
Annalisa Conversano
Cristina Coppola
Greta Coraglia
Matteo Costa 
Laura Crosilla
Marcello D’agostino
Paola D’aquino
Fabio Aurelio D’Asario
Maria Emilia Della Stella
Anna De Mase
Raffaele Di Donna
Vincenzo Dimonte
Jacopo Emmenegger
Giulio Fellin
Mauro Ferrari
Marta Fiori Carones
Antongiulio Fornasiero
Miriam Franchella
Emanuele Frittaion
Nicola Galesi
Nicola Gambino
Brunella Gerla
Gianni Gerla
Guido Gherardi
Silvio Ghilardi
Marianna Girlando
Roberto Giuntini
Stefano Guerrini
Hykel Hosni
Martina Iannella
Sonia L’innocente
Nunzia La Fauci Gentilini
Elio La Rosa
Sara Lapenta
Paolo Lipparini
Gabriele Lolli
Lorenzo Luperi Baglini
Martino Lupini
Marco Maggesi
Roberto Maieli
Milly Maietti
Giulia Manara
Davide Manca
Vincenzo Mantova
Alberto Marcone
Vincenzo Marra
Simone Martini
Samuele Maschio
Andrea Masini
Rosario Mennuni
Pierluigi Minari
Enrico Moriconi
Luca Motto Ros
Daniele Mundici
Carles Noguera
Lorenzo Notaro
Eugenio Orlandelli
Luca Paolini
Francesco Parente
Franco Parlamento
Matteo Pascucci
Giuseppe Perelli
Antonio Piccolomini D’Aragona
Paolo Pistone
Michele Pra Baldi
Giuseppe Primiero
Adrien Ragot
Simone Ramello
Giuseppe Ranieri
Davide Rinaldi
Edoardo Rivello
Luca Roversi
Donato Saeli
Giovanni Sambin
Luca San Mauro
Salvatore Scamperti
Peter Schuster
Andrea Sorbi
Luca Spada
Marco Elio Tabacchi
Claudio Ternullo
Sebastiano Thei
Carlo Toffalori
Lorenzo Tortora de Falco
Riccardo Treglia
Sara Ugolini
Andrea Vaccaro
Giorgio Venturi
Antonio Veredice
Matteo Viale
Andrea Volpi
Fabio Zanasi

Seminario WLD

Nell’ambito del Cross-Alps Logic Seminar e in occasione del World Logic Day, il giorno venerdì 13 gennaio 2023, dalle ore 16 alle ore 17, i gruppi di logica delle università di Lausanne, Genova, Torino e Udine avranno ospite 
Vasco Brattka (Universität der Bundeswehr München)
che terrà un seminario dal titolo Some fascinating topics in logic around reducibilities.
Il seminario sarà in diretta streaming nella piattaforma Webex. Gli interessati possono scrivere a luca.mottoros [at] unito.it o a vincenzo.dimonte [at] uniud.it per ottenere il link e il codice di accesso.

World Logic Day 2023

L’AILA, con il patrocinio della SILFS, celebra il World Logic Day 2023 coordinando delle attività divulgative in tutta Italia. Le attività si terranno in varie università sul territorio italiano.

Attenzione: poiché il 14 gennaio 2023 è sabato, le attività si svolgeranno il 13 gennaio 2023.

Qui sotto i dettagli delle attività organizzare dalle sedi che partecipano all’iniziativa.

Bologna

Le attività si svolgeranno nella mattinata e nel pomeriggio del 13 gennaio.
Le attività del mattino si svolgeranno presso le aule didattiche Ercolani, Dipartimento Informatica, Scienza e Ingegneria dell’Università di Bologna – via Mura Anteo Zamboni 2B.
Le attività del mattino saranno dedicate a studenti del liceo scientifico. Verranno proposti alcuni semplici ragionamenti e, attraverso il formalismo matematico della deduzione naturale, saranno dimostrati o confutati rigorosamente.
Le attività del pomeriggio (ore 14.30) si svolgeranno presso l’Aula G1 dell’Edificio di Geologia, Via Zamboni 67.
Le attività attività del pomeriggio saranno dedicate a universitari. Il dott. Martino Lupini
terrà un seminario dal titolo Definibilità e invarianti: nuove applicazioni di logica in algebra, topologia, e analisi. Nel seminario si presenterà una panoramica di applicazioni di logica in matematica, concentrandosi su un ambito recentemente sviluppato in collaborazione con Bergfalk e Panagiotopoulos, nel quale tecniche sviluppate nel contesto dello studio di nozioni di “definibilità” in logica matematica vengono applicate allo studio di invarianti algebrici in algebra omologica, topologia, e analisi funzionale.
Per ulteriori informazioni contattare Riccardo Treglia, riccardo.treglia (chiocciola) unibo (punto) it

Cagliari

L’evento si svolgerà durante tutta la giornata del 13 gennaio presso l’Aula Motzo del Dipartimento di Filosofia dell’Università di Cagliari.
Maggiori informazioni sulla pagina web dell’evento

Programma dell’evento

  • 10.00 – 10.30 Opening
  • 10.30 – 11.15 Roberto Giuntini: “Brouwer and Kleene meet Quantum Mechanics”
  • 11.30 – 12.15 Giuseppe Sergioli: “Logic, Quantum Information and Machine Learning”
  • 12.30 – 13.15 Stefano Bonzio: “On bochvar algebras: representation theorems and subquasivarieties”
  • 13.15 – 15:30 Lunch break
  • 15.30 – 16.15 Francesco Paoli: “Semiorthomodular Brouwer-Zadeh lattices”
  • 16.30 – 17.15 Hector Freytes: “…to be added”
  • 18.30 – 19.15 Antonio Ledda: “Connessività e intuizionismo”
  • 19.30 Closing

Per ulteriori informazioni contattare Giuseppe Sergioli al seguente indirizzo: giuseppe.sergioli (chiocciola) gmail (punto) com

Padova

Le attività, di tipo laboratoriale, si svolgeranno nel pomeriggio del 13 gennaio presso il Dipartimento di Matematica “Tullio Levi-Civita” in Via Trieste, 63. Le attività saranno rivolte agli studenti delle classi del triennio della scuola secondaria di secondo grado. Durante l’incontro si parlerà fallacie logiche, errori di ragionamento e della logica nella vita di tutti i giorni.
Per ulteriori informazioni scrivere al seguente indirizzo: wld2023 (chiocciola) math.unipd.it

Palermo

L’incontro avrà luogo di mattina presso il Dipartimento di Matematica e Informatica, via Archirafi 34, Palermo.
Durante l’incontro si parlerà di logica, didattica, informatica, social network e probabilità.
Maggiori informazioni sulla pagina web dell’incontro
Per ulteriori informazioni contattare Giuseppe Metere al seguente indirizzo: giuseppe.metere (chiocciola) unipa (punto) it

Roma

L’evento si svolgerà durante tutta la giornata del 13 gennaio presso l’Università Roma Tre.

Programma dell’evento

  • 9:00-13:00 (aula magna della Scuola di Lettere, Filosofia, Lingue): “Pensare il Paradosso in Matematica Fisica e Filosofia”.
    Mattinata rivolta alle scuole secondarie superiori, con tavola rotonda e premiazione dei vincitori del bando 2021. Partecipanti alla tavola rotonda: Paola D’Aquino (Università degli Studi della Campania Luigi Vanvitelli), Carlo Cosmelli (già Università La Sapienza), Marco Piazza (Università Roma Tre). Moderatore: Lorenzo Tortora de Falco (Università Roma Tre). Scuole vincitrici: liceo scientifico Democrito di Roma, IIS Leonardo da Vinci di Maccarese (Roma).
  • 14:30-16:30 (Dipartimento di Matematica e Fisica): “La logica nella scuola primaria” (Attività di formazione per insegnanti accreditata su piattaforma S.O.F.I.A.) a cura di Luigi Bernardi (Università Roma Tre – Université d’Aix-Marseille) e Antonio Veredice (Università La Sapienza).
  • 17:30-19:00 (Tomo Libreria Caffé, Via degli Etruschi 4): “Aperitivo di Logica” (evento divulgativo). Interverranno: Marianna Girlando (Università di Amsterdam), Paolo Pistone (Università Roma Tre), Matteo Acclavio (Università Roma Tre), Luca San Mauro (Università La Sapienza).

Per ulteriori informazioni contattare Paolo Pistone al seguente indirizzo: paolo.pistone (chiocciola) uniroma3 (punto) it

Salerno

Le attività di svolgeranno nella mattinata del 13 gennaio presso l’aula P5 del Dipartimento di Matematica dell’Università di Salerno (Edificio F3). I laboratori saranno rivolti agli studenti del triennio della scuola secondaria superiore. Durante l’incontro si parlerà di connettivi e quantificatori e della logica epistemica.
Maggiori informazioni sulla pagina web dell’incontro.
Per ulteriori informazioni contattare Serafina Lapenta al seguente indirizzo: slapenta (chiocciola) unisa (punto) it

Teramo

Le attività si svolgeranno nella mattinata del 13 gennaio presso il Dipartimento di Scienze della Comunicazione dell’Università degli Studi di Teramo e saranno dedicate agli studenti iscritti al quarto e al quinto anno della scuola secondaria superiore. La giornata prevedrà 3 attività finalizzate a sensibilizzare gli studenti circa l’importanza del rigore scientifico e, più in generale, argomentativo. L’evento è organizzato dal Prof. Raffaele Mascella e dal Dott. Davide Fazio in collaborazione con i Proff. Eramo, Pelusi e Tallini (UNITE).

Programma della giornata.

  • 9:00 – 11:00. IL DIBATTITO. 4 squadre si sfideranno in duelli durante i quali si terranno dibattiti su temi di attualità. Durante ogni duello una squadra dovrà sostenere una tesi e l’altra dovrà provare a confutarla utilizzando strategie argomentative rigorose. I vincitori dei matches si sfideranno in una finale.
  • 11:10 – 12:00. LA SCIENZA DEL RAGIONAMENTO. Durante questo intervento saranno passate in rassegna, in maniera interattiva, argomenti la cui analisi permetterà di toccare alcuni degli aspetti più importanti della logica contemporanea, dalle logiche non-classiche alle logiche non-monotone.
  • 12:00 – 12:30: LOGICA, CALCOLATORI, IA. Durante questo intervento tenuto dalla Prof.ssa Eramo, dal Prof. Danilo Pelusi, e dal Prof. Luca Tallini, saranno passate in rassegna alcune delle applicazioni più importanti della Logica nell’ambito dell’Informatica e dell’Intelligenza Artificiale.

Per ulteriori informazioni contattare Davide Fazio al seguente indirizzo: dfazio2 (chiocciola) unite (punto) it

Torino

Verso l’infinito e oltre…

Le attività si svolgeranno nella mattinata del 13 gennaio (dalle 9 alle 12) presso il Dipartimento di Matematica “G. Peano”, Università degli Studi di Torino e saranno dedicate a studenti della scuola secondaria superiore. Le attività prevedono una mini-conferenza iniziale e dei laboratori.

Maggiori informazioni sulla pagina web dell’incontro.
Per ulteriori informazioni contattare Luca Motto Ros al seguente indirizzo: luca.mottoros (chiocciola) unito (punto) it

Udine


L’Infinito

L’incontro avrà luogo di mattina presso il Polo Scientifico Rizzi, Università degli Studi di Udine.
Per ulteriori informazioni contattare Vincenzo Dimonte al seguente indirizzo: vincenzo.dimonte (chiocciola) uniud (punto) it


Segnaliamo inoltre alcuni laboratori di logica e un evento pubblico a cura di Silvia Pittarello.

Laboratorio dire fare dimostrare

Giovedì 12 gennaio

Ore 09.15 – 11.00 e ore 11.20 – 13.00
IPSEOA Pietro d’Abano.

Ore 14.00-15.30
Liceo Statale “Celio – Roccati” Rovigo

Venerdì 13 gennaio
Ore 11.20 – 13.00
IPSEOA Pietro d’Abano

Evento pubblico La logica delle donne.

Venerdì 13 gennaio ore 18.00

Come ragioneremmo oggi se Aristotele fosse stato una “lei”.

Sala Anziani, Palazzo Moroni, Padova.