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

Ontologies et Sémantique Lexicale

	Organizzatori:	Gruppo di ricerca progetto LOCI	evento esterno
	Inizio:	30/09/2011
	Fine:	01/10/2011
	Dove:	"Casa San Bernardo" - Via Laurentina, 289 (Metro B Laurentina) - Roma
Descrizione Il gruppo di ricerca francese che opera sul progetto LOCI (LOCativité et Interaction en linguistique, logique et informatique – progetto finanziato dalla ANR) e il gruppo romano di Logica e Geometria della Cognizione dell’Università Roma Tre organizzano un incontro di studio su « Ontologies et Semantique lexicale // Ontologie e Semantica lessicale» a Roma, nei giorni 30 settembre e 1 ottobre 2011, presso la «Casa San Bernardo» (Via Laurentina 289 - Metro B Laurentina) [Istruzioni per raggiungere la sede del workshop] Il progetto LOCI si impernia su tre concetti messi in risalto dalla Ludica (uno degli sviluppi della logica lineare) : la locatività, la proceduralità e la normatività. Il progetto intende utilizzare questi concetti nello studio del segno e del significato, sia nell’ambito della linguistica classica (ad esempio nella semantica lessicale), sia in ambiti connessi con la strutturazione dell’informazione e con la comunicazione nel web (ad esempio nelle ontologie), sia in ambiti più vasti e forse ancora non sufficientemente esplorati come i linguaggi gestuali e la pragmatica (dialoghi, atti linguistici, regole sociali che si esprimono attraverso il linguaggio). Partecipano al progetto LOCI studiosi di varie università e centri di ricerca francesi, in collaborazione con alcune unità di altri paesi come il gruppo di ricerca di Roma Tre. Il convegno di Roma si concentrerà sulle ontologie e sulla semantica lessicale, con la presenza e l’intervento di studiosi attivi su questi temi all’interno del progetto nonché di esperti (italiani e francesi) esterni al progetto, con l’illustrazione di nuovi approcci che si stanno sviluppando. Relatori: Michele Abrusci, Università Roma Tre Aldo Gangemi, ISTC - CNR, Roma Claudia Casadio, Università di Chieti-Pescara Alain Lecomte, SFL, Université Paris 8 Pierre Livet, Université de Provence (Aix-Marseille) Francesca Frontini, ILC – CNR, Pisa Richard Moot, Labri, Bordeaux, Remo Pareschi, Università del Molise Daniele Porello, Amsterdam University Marco Romano, Università Roma Tre e Epistematica Srl Samuel Tronçon, Université de Marseille [Abstract degli interventi] Sono disponibili anche i file delle presentazioni. Il programma dei lavori è disponibile come file pdf. La partecipazione è libera. Per informazioni, contattare mromano@uniroma3.it - abrusci@uniroma3.it
Programma
Lista seminari

L’interazione: un concetto della filosofia

	Speaker:	Jean-Baptiste Joinet
	Quando:	30/05/2011 - 14:00
	Dove:	Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre
Abstract

Non-determinismi nelle reti d'interazione

	Speaker:	Andrei Dorman
	Quando:	27/05/2011 - 11:00
	Dove:	Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Abstract

Espansione di Taylor dei lambda-termini ordinari e uniformità

	Speaker:	Giulio Guerrieri
	Quando:	20/05/2011 - 11:00
	Dove:	Sala del Consiglio, Dipartimento di Filosofia - Università Roma Tre, via Ostiense 234
Abstract Ehrhard e Regnier hanno definito l'espansione di Taylor di un lambda-termine ordinario come una combinazione lineare infinita di termini del lambda-calcolo con risorse. Il lambda-calcolo con risorse è una variante del lambda-calcolo ordinario in cui invece dell'applicazione ordinaria è presente un'applicazione "lineare". A livello logico, il lambda-calcolo con risorse corrisponde alle reti differenziali senza la promozione. Servendosi di una proprietà di uniformità, Ehrhard e Regnier hanno mostrato che la somma delle forme normali dei termini che compaiono nell'espansione di Taylor di un lambda-termine ordinario M è l'espansione di Taylor dell'albero di Böhm di M. Presenteremo brevemente tali risultati e uno degli attuali obiettivi di ricerca (ancora in fieri): caratterizzare la proprietà di uniformità nelle reti differenziali senza promozione.

The concept of Interaction. Crossovers among Biology, Logic and Philosophy

	Organizzatori:	V. Michele Abrusci Giulia Frezza
	Inizio:	27/04/2011
	Fine:
	Dove:	Sala Conferenze, piano terra della Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Descrizione Come d'abitudine per il nostro Gruppo in occasione della discussione di una tesi di dottorato, è organizzato un workshop informale con la partecipazione dei membri della giuria e dei membri del nostro Gruppo che desiderino intervenire. Il programma dettagliato della giornata è disponibile qui
Programma
Lista seminari

Ontologies, Logic and Interaction

	Organizzatori:	V. Michele Abrusci Marco Romano
	Inizio:	26/04/2011
	Fine:
	Dove:	Sala Conferenze, piano terra della Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Descrizione Come d'abitudine per il nostro Gruppo in occasione della discussione di una tesi di dottorato, è organizzato un workshop informale con la partecipazione dei membri della giuria e dei membri del nostro Gruppo che desiderino intervenire. Il programma dettagliato della giornata è disponibile qui
Programma
Lista seminari

La sintassi trascendentale: cosa è, che prospettive apre alla ricerca logica

	Speaker:	V. Michele Abrusci
	Quando:	04/03/2011 - 11:00
	Dove:	Aula Verra, piano terra della Facoltà di Lettere e Filosofia -- Università Roma Tre, via Ostiense 234
Abstract

Les fondements à l'ère post-fondationnelle

	Organizzatori:	Giuseppe Longo Giulia Frezza	evento esterno
	Inizio:	18/11/2010
	Fine:	20/11/2010
	Dove:	Amphi Darboux, Institut Henri Poincaré (IHP), Paris -- rue P. et M. Curie, 11 (vicino a rue d'Ulm), Parigi
Descrizione Incontro annuale del gruppo LIGC (Logica e interazione, verso una geometria della cognizione) Pagina ufficiale dell'Incontro
Programma
Lista seminari

Ricerche logiche ed epistemologiche

	Organizzatori:	Michele Abrusci Teresa Numerico
	Inizio:	09/07/2010
	Fine:
	Dove:	Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Descrizione A conclusione delle attività nell’anno accademico 2009-2010, saranno presentati e discussi temi della ricerca logica ed epistemologica sui quali lavorano alcuni membri del gruppo di ricerca “Logica e Geometria della Cognizione” (coordinato dal prof. V. Michele Abrusci, Dipartimento di Filosofia). Per ulteriori informazioni rivolgersi a tnumerico@uniroma3.it Qui il programma stampabile
Programma
Lista seminari

Negation and protological foundations for logic

	Speaker:	Jean-Baptiste Joinet (Université Paris 1 Sorbonne-Panthéon)
	Quando:	18/06/2010 - 14:00
	Dove:	Aula 5, Villa Mirafiori, Via Carlo Fea 2, Roma
Abstract Starting from the formalist/intuitionist debate about ideality of negation in the first third of the XXth century, I will investigate the functional approaches of negation as a unary logical connective, leading to the contemporary interactional approaches of negation as a protological binary relation between processus. In these times where logical pluralism has become logical plethorism, I will conclude about the foundational rôle of this conception of negation for logic.