Unica Radio Raccontiamo la città che cambia
Unica: Il 22° workshop ‘’Trends in Logic’’ si terrà nell’ateneo cagliaritano dal 18 al 20 luglio 2022.
Nel mese di luglio l’Ateneo di Cagliari e il capoluogo sardo al centro dell’attenzione tra gli specialisti mondiali di logica con un doppio appuntamento internazionale. Dal 18 al 20 per “Trends in Logic, dal 22 al 23 per ‘‘Workshop on Relating Logics’’
L’evento, intitolato ‘‘Strong & Weak Kleene Logics’’, è organizzato dal gruppo di ricerca Alophis del Dipartimento di Pedagogia, Scienze psicologiche e Filosofia in collaborazione con il Dipartimento di Matematica e Informatica. Il professor Roberto Giuntini nel comitato scientifico internazionale che presiede i lavori.
Nell’introduzione ai temi di questo workshop specialistico si legge che “Mentre la logica forte a tre valori di Kleene e la logica del paradosso hanno occupato a lungo un posto di rilievo nel panorama delle logiche non classiche, nell’ultimo decennio si è assistito a una rinascita dell’interesse per le logiche affini, tra cui la logica paraconsistente debole di Kleene (PwK) e le logiche rigorose. Queste logiche danno una propria interpretazione all’idea dei tre valori di verità e di conseguenza hanno diverse letture e applicazioni filosofiche. Rappresentano, tra l’altro, logiche di informazione parziale, logiche del nonsenso e logiche di inclusione di variabili. I metodi algebrici e di teoria delle prove sono stati applicati con successo a queste logiche, ma molto resta ancora da esplorare”.
Il workshop si svolgerà in modalità mista, in presenza e online
RELATORI. Tra gli esperti internazionali attesi al simposio in programma nella Facoltà di Studi umanistici di Cagliari spiccano Eduardo Alejandro Barrio (Università di Buenos Aires e Conicet), Massimiliano Carrara (Università di Padova) e Pablo Cobreros (Università di Navarra), Paul Egrè (Istituto Jean Nicod, Parigi), Peter Jipsen (Chapman University), Tommaso Moraschini (Università di Barcellona), Graham Priest (Università di Melbourne e City University di New York), Anna Romanowska (Warsaw University of tecnology).
