Logique & théorie des jeux
Résumé
Les premiers rapprochements entre logique et théorie mathématique des jeux remontent à la fin des années 1950 avec l’inauguration de la logique dialogique par Lorenzen. L’idée de ce rapprochement était déjà présente chez Peirce qui suggéra dès le début du vingtième siècle d’interpréter les quantificateurs en termes de jeux (cf. [Hilpinen 1982]). Comme cela a été confirmé ensuite par les travaux de Hintikka et Sandu, les jeux ont offert et offrent un cadre théorique de première importance pour la théorisation logique et sémantique. L’apparition d’une « école hollandaise » reliant logique et jeux au milieu des années 1990 confirme la fécondité de ce mouvement.