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.
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 ces approches des prises en compte des modalités qui ne requièrent pas la notion de monde possible. Chez Brandom notamment, les modalités sont essentiellement des manières d’expliciter des prises d’engagement dans un jeu d’offre et de demande de raisons qui est présenté comme constitutif de l’activité langagière.
Cette journée a pour but de faire le point sur les modalités et de les envisager sous ce jour nouveau, à l’écart de tout réalisme modal.