Speaker: | Arnaud Valence (Università Roma Tre/Université Lyon 3)
|
||
Quando: | 21/11/2014 - 11:30
|
||
Dove: | Dipartimento di Matematica e Fisica, Aula Seminari 311
largo San L. Murialdo 1 - Roma
|
||
Abstract
La storia della teoria della dimostrazione rivela un lento processo di adattamento della sintassi alla semantica e della semantica alla sintassi. Questo processo è la manifestazione della sintassi-trascendentale-come-gioco-dinamico. Con la “GoI VI” (“Geometry of Interaction VI”), la sintassi e la semantica sembrano giungere ad un punto di convergenza decisivo dove la sintassi è libera. Questo fenomeno è la manifestazione della sintassi-trascendentale-come-framework. Nel seminario saranno presentati i principali aspetti della sintassi trascendentale nelle sue due accezioni. |