Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = 'vidc82cb9apk5s49qpd79d8ce0' in /var/www/church/includes/database.mysql.inc on line 121 Gruppo di Logica e Geometria della Cognizione
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
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.
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.
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.
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
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.
Warning: Can't find file: 'watchdog' (errno: 2)
query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'vidc82cb9apk5s49qpd79d8ce0' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/files/progetto.ps?page=10', 'http://logica.uniroma3.it/node/files/progetto.ps?page=6', '193.204.165.103', 1754566582) in /var/www/church/includes/database.mysql.inc on line 121
Warning: Can't find file: 'watchdog' (errno: 2)
query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('vidc82cb9apk5s49qpd79d8ce0', 0, 0, '193.204.165.103', '', 1754566582) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/files/progetto.ps?page=10', 'http://logica.uniroma3.it/node/files/progetto.ps?page=6', '193.204.165.103', 1754566582) in /var/www/church/includes/database.mysql.inc on line 121
