Aula Verra, Università Roma Tre, via Ostiense 234, Roma
Abstract
Le Fantôme de la transparence
Un ripensamento dei fondamenti filosofici della logica e della teoria dei proof-net
Seminari di J.-Y. Girard a Roma Tre
18 Novembre, 25 Novembre, 2 Dicembre, 9 Dicembre 2016
ore 11.30-13.30
Aula Verra, Università Roma Tre, via Ostiense 234, Roma
Jean-Yves Girard (professore emerito presso l'Université d'Aix-Marseille), ospite nei mesi di novembre e dicembre presso il Dipartimento di Matematica e Fisica dell'Università Roma Tre, terrà quattro seminari con il seguente calendario:
I seminari si terranno dalle ore 11:30 alle ore 13:30 presso l'Aula Verra del Dipartimento di Filosofia, Comunicazione e Spettacolo, Università Roma Tre, via Ostiense 234, Roma.
I seminari, in lingua francese, tratteranno ciascuno una parte del volume Le Fantôme de la transparence (Editions Allia, Paris, 2016). In questo testo Girard propone un ripensamento dei fondamenti filosofici della logica, a partire dalla consapevolezza, maturata attraversi i risultati limitativi della logica del XX secolo e il più recente incontro della logica matematica con il mondo dell'informatica teorica, del fallimento della pretesa trasparentista. In un precedente articolo che ha ispirato il volume, Girard scriveva:
Le fantasme (ou fantôme) de la transparence est l’idée qu’au-delà de la perception immédiate, existerait un monde, un niveau de lecture, complétement intelligible, i.e., explicite et immédiat. Cette transparence nous dévoilerait ainsi un envers unidimensionnel de l’univers. Ce qui part d’une prémisse correcte, dépasser les apparences ; mais, pour ce faire, on imagine un autre côté du miroir aux contours nets, précis et sans la moindre ambiguïté. Le monde devient un rébus dont il suffit de trouver la clef : tout serait tellement immédiat, lisible, qu’il n’y aurait même plus besoin de poser de questions, i.e., de penser. (Girard, Le Fantôme de la transparence, 2014)
Da riflessione teorica sui fondamenti, la proposta di Girard, il cui nome è legato all'invenzione della logica lineare, si estende a una ricostruzione tecnica delle basi della logica: la messa in discussione dei presupposti trasparentisti della conoscenza si traduce in un profondo ripensamento della teoria dei proof-net, da lui stesso elaborata a partire dal 1987 per una presentazione geometrica delle dimostrazioni.
Per i loro contenuti e ambizioni, i seminari si indirizzano tanto a chi si interessa ai problemi della logica da un punto di vista filosofico e non tecnico, quanto a chi, da informatico o da matematico, è abituato a operare nella “sala macchine” dei linguaggi logici.
Chi fosse interessato a partecipare è pregato di segnalare il proprio nome all'indirizzo: paolo.pistone@uniroma3.it.
