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
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
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).
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
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.
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.
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.
V. M. Abrusci, T. Numerico, D. Fiormonte, R. Vacca, P. Cursi, R. Maieli
Quando:
19/10/2011 - 15:00
Dove:
Aula Magna della Facoltà di Lettere e Filosofia, Università Roma Tre - Via Ostiense 234, Roma
Abstract
Nell'ambito dell'insegnamento Logica e Comunicazione (Prof. V. Michele Abrusci, corsi di laurea in Scienze della Comunicazione e in Filosofia), si terrà il seminario L'eredità di Steve Jobs e il futuro dell'informatica - rivolto agli studenti e a tutti gli
interessati - per comprendere la figura e l'opera di Steve Jobs e riflettere sull'evoluzione che ha avuto l'informatica negli ultimi decenni e sull'interazione che sempre più si instaura tra i media della comunicazione.
Programma:
V. Michele Abrusci, docente Università Roma Tre - Introduzione
Teresa Numerico e Domenico Fiormonte, docenti Università Roma Tre - "La figura di Steve Jobs fra marketing e innovazione"
Roberto Vacca, ingegnere, esperto in comunicazione scientifica - "Immagini, estetica, trasperenza: total quality management!"
Paolo Cursi, dirigente Area Telecomunicazioni Università Roma Tre - "L'evoluzione degli strumenti informatici: l'esperienza di Roma Tre"
Roberto Maieli, docente Università Roma Tre - Conclusioni
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=9', 'http://logica.uniroma3.it/node/files/progetto.ps?page=5', '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=9', 'http://logica.uniroma3.it/node/files/progetto.ps?page=5', '193.204.165.103', 1754566582) in /var/www/church/includes/database.mysql.inc on line 121
