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

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


Giornata di studi del gruppo "Logica e Geometria della cognizione"

Organizzatori:
Vito Michele Abrusci
Inizio:
05/07/2012
Fine:
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Descrizione

La giornata di studi è dedicata all’esposizione e alla discussione delle principali novità – di rilevanza per la filosofia – che emergono dalle ricerche che vengono svolte dai membri del gruppo di ricerca “Logica e Geometria della cognizione” in collaborazione con altri gruppi di ricerca italiani e internazionali.

Programma

Giovedì, 5 luglio 2012,

Ore 11.00 Jean-Baptiste JOINET (Université Paris Panthéon-Sorbonne, ENS Paris) , Teoria del significato e assiomatica dell'azione

Ore 12.00 V. Michele ABRUSCI e Paolo PISTONE (Università Roma Tre), Alcune motivazioni di una “sintassi trascendentale”: la correttezza delle dimostrazioni logiche, i “difetti” della logica del primo ordine, l’insufficienza della “soddisfacibilità” per l’accettazione di un sistema di assiomi

Ore 13.00 Teresa NUMERICO (Università Roma Tre), A cento anni dalla nascita di A. Turing: Turing e il concetto di interazione.

Ore 13.30 Pausa pranzo

Ore 15.00 Tavola rotonda su Complessità, informazione, computazione e interazione, con la partecipazione di Roberto MAIELI, Marco PEDICINI e Lorenzo TORTORA DE FALCO (Università Roma Tre).

Ore 16.30 Conclusione.


Proof-Nets with Slices for Non-Commutative Intuitionistic Logic

Speaker:
Gianluca Calcagni
Quando:
03/07/2012 - 14:00
Dove:
Aula Verra, Facoltà Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract

Summary: we expose a syntax for non-commutative intuitionistic logic in a "linear" fashion and we define the corresponding proof-theory with slices. We achieve:
(1) implicit box-building and sequentialisation in the general case
(2) strong confluence by cut-reductions for any single slice
(3) strong normalization for the implicational-free fragment


Temi di ricerca tra Logica e Filosofia

Docente:
Jean-Yves Girard
Inizio:
02/05/2012
Fine:
01/06/2012
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Descrizione

Nell'ambito del percorso formativo "Curriculum binazionale di laurea magistrale in Logica" diretto al conseguimento di doppio titolo (Università Roma Tre/Université de la Méditerranée di Marsiglia) viene attivato al secondo semestre 2011/12 un corso dal titolo "Temi di ricerca tra Logica e Filosofia" (6 crediti, SSD: M-Fil/02 oppure Mat/01), tenuto da Jean-Yves Girard del "Centre National de la Recherche Scientifique" (CNRS). Il corso è attivato nell'ambito della Laurea Magistrale in Scienze Filosofiche, e si terrà nel mese di maggio presso la Facoltà di Lettere e Filosofia dell'Università Roma Tre, con i seguenti orari:

il mercoledì dalle 9 alle 13 in aula Verra
il venerdì dalle 9 alle 13 in Aula Verra.

La prima lezione si terrà mercoledì 2 maggio, l'ultima lezione si terrà venerdì 1 giugno.


Sintassi Trascendentale e Geometria dell’Interazione: interazioni tra logica e filosofia

Speaker:
V. Michele Abrusci
Quando:
17/02/2012 - 14:00
Dove:
Aula Verra, Facoltà Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Linked Data e questioni di Compatibilità

Speaker:
Marco Romano
Quando:
22/12/2011 - 11:00
Dove:
Sala conferenze, Facoltà di Lettere e Filosofia, Università Roma Tre - via Ostiense 234
Abstract


La normatività, risultati logici e prospettive filosofiche

Speaker:
Paolo Pistone
Quando:
04/11/2011 - 16:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract

Seminario di lavoro per presentare gli spunti di ricerca aperti dalla tesi di laurea, illustrare le prospettive già individuate e ricevere indicazioni e suggerimenti per orientare la ricerca per il dottorato verso aree di possibile collaborazione con gli altri membri del Gruppo.


Web, Spazi di Compatibilità e Ludica: quali prospettive di ricerca?

Speaker:
Marco Romano
Quando:
04/11/2011 - 15:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract

Seminario di lavoro per presentare gli spunti di ricerca aperti dalla tesi di dottorato, illustrare le prospettive già individuate e ricevere indicazioni e suggerimenti per orientare gli sforzi verso aree di possibile collaborazione con gli altri membri del Gruppo.