Modalities and commitments
L’ANR LOCI a le plaisir de vous annoncer sa prochaine journée d’études le 17 janvier prochain consacrée à l’étude des modalités.
Programme
Vous trouverez ci-dessous le programme de la journée.
10h00 : Alain Lecomte - Introduction
10h30 : Alda Mari - "Les modalités : opérateurs ou prédicats ?"
12h00 : Pause déjeuner
13h30 : Daniele Porello : "Notes on dialectical pragmatism"
15h00 : Pause
15h30 : Grégoire Winterstein : "Ludique et Projection"
Statement
La journée se tiendra dans les bâtiments de l’ENS, au 24 rue Lhomond en salle L380 (anciennement T15).
Par de nombreuses voies, la question aujourd’hui d’une sémantique des preuves en tant qu’opposée à une sémantique des modèles se trouve posée.
Cette idée se trouve présente dans la lignée des travaux de P. Martin-Löf sur la théorie des types, de ceux de Girard sur la logique linéaire et la ludique ou de ceux de R. Brandom concernant une sémantique inférentialiste.
Il apparaît dans (…)
