David Catta et Antonio Piccolomini d’Aragona publient aux éditions Springer Link dans Objectifs, structures et logiques un article intitulé « Jeu de terrains »

Résumé :

Dans cet article, nous proposons de relier la théorie des terrains de Prawitz à la Ludique de Girard. Cette connexion s’effectue à deux niveaux. D’un point de vue plus philosophique, nous soulignons certaines différences entre les approches de Prawitz et de Girard, mais nous soutenons également qu’elles partagent certaines idées de base sur les preuves et la déduction. D’un point de vue plus formel, nous esquissons une traduction indicative des fondements de la théorie de Prawitz dans la Ludique de Girard relative au fragment implicationnel de la logique intuitionniste propositionnelle. Cela peut permettre une lecture dialogique de l’approche théorique fondamentale de Prawitz. De plus, il devient possible de donner une définition formelle d’une notion de sol-candidat introduite par Cozzo.

Plus d’information, cliquez ici