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

Incontro in onore dei 60 anni di V.Michele Abrusci

Organizzatori:
Roberto Maieli (maieli@uniroma3.it)
Teresa Numerico (tnumerico@uniroma3.it)
Lorenzo Tortora de Falco (tortora@uniroma3.it)
Inizio:
17/09/2009
Fine:
17/09/2009
Dove:
Villa Finaly (http://www.villafinaly.sorbonne.fr/index.html) Via Bolognese, 134 R -- 50139 Firenze
Descrizione

Logica e geometria della cognizione: incontro in onore dei 60 anni di V.Michele Abrusci
Villa Finaly - Firenze - h15.30

Interverranno:

Jean-Yves Girard (Logica Lineare)
Giuseppe Longo (Logica e Interazione: verso una geometria della cognizione)
Alain Lecomte (Logica e Linguistica)
Simona Ronchi Della Rocca (Logica e Informatica in Italia)


I principali teoremi sulla logica: un bilancio e alcune prospettive

Speaker:
V.Michele Abrusci
Quando:
03/07/2009 - 17:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Alcuni aspetti logici del teorema di classificazione per le superfici topologiche (Massey)

Speaker:
Gabriele Pulcini (ENS Parigi)
Quando:
22/05/2009 - 14:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Le proposizioni "positive" e "negative" nel ragionamento: uno studio elettroencefalografico

Speaker:
Claudia Casadio (Università di Chieti), M. Teresa Medaglia e Camillo Porcaro (Aston University, Birmingham)
Quando:
21/05/2009 - 16:00
Dove:
Aula 16, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


La logica contemporanea e lo statuto della metafisica aristotelica: alcune considerazioni

Speaker:
Jean-Baptiste Joinet (Philosophie, Paris 1 Panthéon-Sorbonne)
Quando:
15/05/2009 - 16:00
Dove:
Aula 16, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Sull'unità della logica classica

Speaker:
Mattia Petrolo
Quando:
15/05/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Una rilettura logica d'alcuni problemi di metodo in linguistica e in scienze sociali

Speaker:
Antonio Mosca
Quando:
08/05/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Reti di prova tra determinismo e non determinismo

Organizzatori:
Lorenzo Tortora de Falco
Paolo Tranquilli
Inizio:
24/04/2009
Fine:
Dove:
Facoltà di Lettere e Filosofia Università Roma Tre via Ostiense 234
Descrizione

Workshop informale in occasione della discussione di dottorato di Paolo Tranquilli.


La dinamica del vivente

Speaker:
Giulia Frezza
Quando:
17/04/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

La dinamica del vivente - Alcuni elementi critici per lo studio del vivente da un punto di vista procedurale


Ricostruire una rete di prova dal suo sviluppo di Taylor

Speaker:
Michele Pagani
Quando:
03/04/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Ricostruire una rete di prova dal suo sviluppo di Taylor (lavoro in comune con Christine Tasson).

La logica lineare (LL) è basata sull'analogia tra la linearità in algebra (i.e. commutazione con somme e prodotti con scalari) e la linearità in informatica (i.e. utilizzo dei dati di entrata esattamente una volta). Portando avanti tale analogia, Ehrhard e Regnier hanno introdotto la logica lineare differenziale (DiLL) -- un'estensione di LL con operatori differenziali. In questo contesto la promozione (l'analogo in logica dell'esponenziale) può essere approssimata da una somma di reti differenziali per mezzo di una nozione di sviluppo di Taylor.

Presenteremo un algoritmo per definire l'inverso dello sviluppo di Taylor. Più precisamente, definiremo un sistema di riscrittura (merging reduction) in grado di ricostruire da una somma finita S di reti differenziali, una rete di prova R con promozione se e solo se S è contenuta nell'espansione di Taylor di R. L'algoritmo è non-deterministico, valido e completo. Termineremo mostrando la stretta relazione tra una proprietà di confluenza della merging reduction e il problema dell'iniettività della semantica relazionale per la logica lineare.

http://www.pps.jussieu.fr/%7Emichele/taylorLL.pdf