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

Prime considerazioni su “LOGICOMIX: an epic search for truth”

Speaker:
Michele Abrusci
Quando:
15/01/2010 - 11:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Il modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale

Speaker:
Thomas Ehrhard
Quando:
30/10/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università degli Studi Roma Tre
Abstract


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.