Une introduction à la Ludique et à ses applications à la Pragmatique
Résumé
Ce texte, écrit avec l'aide de spécialistes de la ludique (Marie-Renée Fleury et Myriam Quatrini) introduit à ce difficile sujet. En résumé, la ludique est une nouvelle manière de penser la logique, imaginée par Jean-Yves Girard, qui tente de dépasser le dualisme bien connu entre les preuves (objets syntaxiques) et les modèles (objets sémantiques). En ludique, les preuves s'opposent à des contre-preuves, le tout pouvant être subsumé sous le concept général d'épreuves (appellation proposée par Pierre Livet). On retrouve alors des notions mathématiques générales comme celle d'orthogonalité qui permettent de dessiner l'espace des "disputes". Les figures ainsi obtenues, appelées "dessins", peuvent être interprétées en termes de jeu et sont alors vues aussi comme des "desseins". La logique qu'on espère trouver au terme de cette exploration est celle qui possède les dessins les plus simples et les plus convaincants. Elle peut être la logique linéaire ou une de ses variantes (logique affine?). Le point de vue présenté dans ce papier introductif, qui sert de base à un programme financé par l'ANR (PRELUDE) est qu'on peut trouver dans la ludique un fondement commun à la logique et à la pragmatique des dialogues.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...