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.
Programma
Lista seminari

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.

L'eredità di Steve Jobs e il futuro dell'informatica

Speaker:
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