LUDICS AND PHILOSOPHY
Workshop on « LUDICS AND PHILOSOPHY »
26.06 – 27.06.2014
Organisation :
- GRUPPO DI RICERCA « LOGICA E GEOMETRIA DELLA COGNIZIONE » , UNIVERSITÀ ROMA TRE,
- PROJET ANR LOCI « LOCATIVITÉ ET INTERACTIVITÉ EN LOGIQUE, LINGUISTIQUE ET INFORMATIQUE »
Location : Casa San Bernardo, via Laurentina 289, 00142 Roma, www.casasanbernardo.it/
Programme préliminaire
Thursday, June 26th
09h30 : Opening : Themes of these days
10h15 : Alain Lecomte : Ludics and modelisation of Socratic dialogues
11h00 : coffee break
11h15 : Michele Abrusci : Incompleteness theorems and Transcendental Syntax
12h00 : Mathieu Marion : Dialogue, dialectics, and inferentialism
12h45 : lunch
14h30 : Alberto Naibo : From axioms to computation : A philosophical account of geometry of interaction 15h15 : Paolo Pistone : Rules, types and the transcendence of second order logic 16h00 : coffee break 16h15 : Giuseppe Primiero : Resources based interpretation of Ludics 17h00 : General Discussion
Friday, June 27th
09h30 :Laurent Keiff : Modalities, Proof theory and Ludics
10h15 : Frederic Nef : Relation and Connection
11h00 : coffee break
11h15 : Michele Basaldella : Ludics without designs
12h00 : Arnaud Valence : Towards a Transcendental Euristics
12h45 : lunch
14h30 : Daniele Porello : TBA
15h15 : Pierre Livet : The notion of incompatibility in Brandom’s inferentialism
16h00 : coffee break
16h15 : Samuel Tronçon : Ludics and Social Interaction
17h00 : General Discussion
