Benvenuto
Gruppo di Logica e Geometria della Cognizione
coordinatore: V. Michele Abrusci

 

Dipartimento di Matematica e Fisica
Università Roma Tre
Largo San Leonardo Murialdo 1
00144 Roma -Italia

 

Il fondamento scientifico della costituzione del gruppo risiede nell'interesse che tutti i suoi componenti portano alla moderna teoria della dimostrazione. Questo settore della logica matematica ha conosciuto recentemente una vera e propria "rinascita", dovuta al suo incontro con l'informatica: la corrispondenza di Curry-Howard stabilisce una corrispondenza tra dimostrazioni e programmi e tra esecuzione dei programmi ed eliminazione del taglio (un procedimento di trasformazione delle dimostrazioni ben noto ai logici). La scoperta di questa semplice e fondamentale corrispondenza è il punto di partenza per un nuovo approccio alla nozione di costruttività in logica ed alla programmazione in informatica.

In quest'ambito si colloca l'apparizione della logica lineare, che unisce gli aspetti "costruttivi" della logica intuizionista alle simmetrie della logica classica. La logica lineare nasce da un'analisi matematica molto fine della semantica delle dimostrazioni della logica intuizionista. Dalla sua apparizione nel 1986, essa si è imposta come strumento usato in vari settori di ricerca, dalla teoria della dimostrazione al lambda-calcolo, dalle macchine astratte al calcolo distribuito, dalla teoria della complessità alla programmazione logica.


News

Un'introduzione alla teoria della riscrittura: proprietà omologiche dei sistemi convergenti finiti.

Speaker:
Matteo Acclavio, IML Aix-Marseille Université
Quando:
04/10/2013 - 11:00
Dove:
Università RomaTre, Dipartimento di Matematica e Fisica, aula 311 della palazzina C , Largo San leonardo Murialdo
Abstract

Un sistema di riscrittura è dato da un insieme di oggetti e delle relazioni per trasformarli.
I primi string rewriting system furono introdotti nel 1917 cercare per risolvere il problema della parola per i semigruppi finitamente presentati. In seguito allo sviluppo della teoria della calcolabilità, si dimostrò che rappresentavano un modello di calcolo Turing-completo, permettendo di affermare l'indecidibilità del problema della parola.
Obiettivo dell'incontro sarà dimostrare il teorema di Squier che permette di caratterizzare geometricamente delle interessanti proprietà computazionali di un monoide.


Lenti, dilatatori e tipi

Speaker:
Paolo Pistone
Quando:
12/07/2013 - 11:00
Dove:
aula da definire
Abstract

La teoria delle lenti (Hancock, Ordinals and Interactive Programs, 2000) formalizza la corrispondenza intuita da Gentzen, che associa ai tipi su cui un sistema formale può applicare il principio di induzione le funzioni rappresentabili (equivalentemente, i buoni ordini provabili) nel sistema. La generalizzazione di tale corrispondenza, attraverso alcuni concetti e risultati provenienti dalla teoria dei dilatatori, fornisce una prospettiva "dinamica" per lo studio della teoria impredicativa dei tipi (sistema F).


Discussione tesi di dottorato e workshop

Speaker:
Andrei Dorman, Giulio Guerrieri
Quando:
20/06/2013 - 14:00
Dove:
Discussione tesi di dottorato di Andrei Dorman e Giulio Guerrieri: giovedì 20/06, dalle ore 14:00, Dipartimento Fil.Co.Spe, Aula Verra, via Ostiense 234; Workshop informale: venerdì 21/06, ore 10-14, Dipartimento di Matematica e Fisica, Aula 009, Largo San Leonardo Murialdo 1.
Abstract

Giovedì 20 giugno in Aula Verra (Dipartimento di Filosofia, Via Ostiense, 234) si terranno le discussioni delle due seguenti tesi di dottorato:

1) Alle ore 14:00, tesi di Andrei Dorman (cotutela Roma Tre-Paris 13), dal titolo "Concurrency in Interaction Nets and Graph Rewriting"
Drettori di tesi:
L. Tortora de Falco (Roma Tre)
D. Mazza, S. Guerrini (Paris 13)
Commissione: F. Gadducci (Pisa), S. Guerrini (Paris 13), D. Hirschkoff (Ecole Normale Supérieure Lyon), C. Laneve (Bologna), D. Mazza (CNRS-Paris 13), L. Tortora de Falco (Roma Tre)
Referee: C. Palamidessi (INRIA, école Polytechnique), M. Fernandez (King's College London)

2) Alle ore 16:00, tesi di Giulio Guerrieri (cotutela Roma Tre-Paris 7), dal titolo "Differential nets, experiments and reduction"
Drettori di tesi:
L. Tortora de Falco (Roma Tre)
T. Ehrhard (Paris 7)
Commissione: V. M. Abrusci (Roma Tre), D. Mazza (CNRS-Paris 13), T. Ehrhard (CNRS-Paris 7), L. Tortora de Falco (Roma Tre)
Referee: M. Fiore (Cambridge), L. Regnier (IML-Université Aix-Marseille)

Per l'occasione, si terrà venerdì 21 giugno dalle 10 alle 14 in aula 009 (presso il Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo, 1) un workshop informale sulle tematiche delle due tesi di dottorato, con interventi dei membri delle commissioni e successiva discussione aperta.

Per ulteriori informazioni:
tortora@uniroma3.it


Seminari e discussioni su Logica e Filosofia / Seminars and discussions on Logic and Philosophy

Organizzatori:
Università Roma Tre, Gruppo di Ricerca /Research Group “Logica e Geometria della Cognizione” / “Logic and Geometry of Cognition”
Inizio:
04/06/2013
Fine:
07/06/2013
Dove:
Università Roma Tre, Dipartimento di Matematica e Fisica, Largo San Leonardo Murialdo 1, 00146 Roma aula 009
Descrizione

Università Roma Tre, Gruppo di Ricerca / Research Group
“Logica e Geometria della Cognizione” / “Logic and Geometry of Cognition”

Seminari e discussioni su Logica e Filosofia
Seminars and discussions on Logic and Philosophy

Roma, 4-7 giugno 2013 / Rome, June 4th – 7th, 2013
Università Roma Tre, Dipartimento di Matematica e Fisica, Largo San Leonardo Murialdo 1, 00146 Roma
Edificio C, aula 009 / Building C, room 009

Programma preliminare / Preliminary Program

Martedì 4 giugno / Tuesday, June 4th
10.30-11.40 Carlo Cellucci (Sapienza Università di Roma), Does logic slowly pass away, or has it a future?
11.45-12.55 Jean-Baptiste Joinet (Université Jean Moulin-Lyon 3), On naturalness in logic
14.00-16.00 Discussione / Discussion (chair: V. Michele Abrusci)

Mercoledì 5 giugno / Wednesday, June 5h
10.30-11.40 Francesca Romana Ferrante (Università Roma Tre), Girard’s Ludics and Aristotle’s Dialectic
11.45-12.55 Paolo Pistone (Università Roma Tre, Aix-Marseille Université), Logical form vs logical format: towards Girard's "hexagonal" view
14.00-16.00 Discussione / Discussion (chair: V. Michele Abrusci)

Giovedì 6 giugno / Thursday, June 6th
10.30-11.40 Arnaud Valence (Université Panthéon-Sorbonne–Paris 1), Old logic and contemporary logic. A revival of the logic of ideas?
11.45-12.55 V. Michele Abrusci (Università Roma Tre), Philosophical remarks on Transcendental Syntax
14.00-16.00 Discussione / Discussion (chair: Jean-Baptiste Joinet )

Venerdì 7 giugno / Friday, June 7th
10.30-11.40 Cesare Cozzo (Sapienza Università di Roma), Inference and compulsion
11.45-12.55 Teresa Numerico (Università Roma Tre), Interaction and association in the machine logic: the initiative challenge
14.00-16.00 Discussione / Discussion (chair : Jean-Baptiste Joinet )

La partecipazione è libera. In ciascuna giornata dalle 13 alle 14, nello stesso edificio, ci sarà una pranzo leggero offerto a tutti i partecipanti . Si prega di voler confermare la propria partecipazione entro il 2 giugno, con una email all’indirizzo vitomichele.abrusci@uniroma3.it . / Participation is free. Light lunch will be offered to all the participants, each day, from 13.00 to 14.00, in the same building. Participants are kindly invited to confirm their participation by June 2nd, through a message sent to vitomichele.abrusci@uniroma3.it .


Logica, sillogismo dialettico e "Topici" di Aristotele

Speaker:
Quando:
09/04/2013 - 14:00
Dove:
Aula Verra
Abstract

A cura del gruppo di ricerca in "Logica e Geometria della Cognizione" diretto dal prof. V. Michele Abrusci, e in collaborazione con il prof. Riccardo Chiaradonna (docente di Storia della Filosofia Antica), si terrà un seminario di studio su una rilettura dei "Topici" di Aristotele alla luce di alcuni contributi della ricerca logica contemporanea.

Programma.
V. Michele Abrusci: Sillogismo, sillogismo dimostrativo, sillogismo dialettico
Francesca Romana Ferrante: Lettura e commento di alcuni "luoghi" dei Topici di Aristotele
Riccardo Chiaradonna: Logica e Dialettica
Francesca Romana Ferrante: Rappresentazione di alcuni "luoghi" dei Topici di Aristotele entro la Ludica di J.-Y. Girard


Laboratorio di sintassi trascendentale: tutorial su GoI6

Speaker:
Paolo Pistone
Quando:
15/03/2013 - 10:30
Dove:
Aula da definire
Abstract

Oggetto del seminario sarà un "tutorial" sulla GoI6 (ovvero la sesta, più recente, versione
della Geometria dell'Interazione), frutto del lavoro dei precedenti incontri del
laboratorio.


Ludics and dialectics

Speaker:
Francesca Romana Ferrante
Quando:
25/02/2013 - 15:00
Dove:
Aula da definire
Abstract


The syntax of diagrams

Speaker:
Yves Lafont - Université d'Aix-Marseille - Institut de Mathématiques de Luminy
evento esterno
Quando:
22/02/2013 - 11:30
Dove:
Universita' degli Studi Roma Tre Dipartimento di Matematica e Fisica Largo San Leonardo Murialdo, 1 AULA 311 (SEMINARI)
Abstract

Diagrams form a 2-dimensional formal language generalizing words and
terms. Moreover, it is possible to rewrite them. We shall consider
some examples. In particular, we get a refinement of matrix calculus.


Laboratorio di sintassi trascendentale

Speaker:
Quando:
18/01/2013 - 09:00
Dove:
Aula da definire
Abstract

Secondo incontro del "Laboratorio di sintassi trascendentale", sul seguente tema:

Cos'è una domanda? Cos'è una risposta? Cos'è la certezza?
(prendendo spunto dall'articolo di Girard "GoI VI: a blueprint for transcendental syntax")


Laboratorio di sintassi trascendentale

Speaker:
Quando:
11/01/2013 - 09:00
Dove:
Aula 20
Abstract

Primo incontro del "Laboratorio di sintassi trascendentale", pensato per discutere dei temi aperti della ricerca.

Il programma dell'incontro è il seguente:

- Resoconto dell'incontro LOGOI di Parigi dello scorso 3 Dicembre e dell'ultimo articolo di Girard ("Geometry of interaction VI", disponibile su http://iml.univ-mrs.fr/~girard/blueprint.pdf ) - P.Pistone
- Osservazioni e commenti - Prof. Abrusci
- Alcuni temi aperti della ricerca sulla sintassi trascendentale - P.Pistone