Gruppo di Logica e Geometria della Cognizione

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.