Logique dynamique et sémantiques des jeux

Résumé : L’approche de la sémantique en termes de jeux inaugure l’ère du tournant dynamique dans le domaine de la logique. Considérée comme révolutionnaire, à la conception tarskienne, la sémantique des jeux apporte une résolution à certains problèmes de la logique classique par sa conception de la logique comme cadre interactif. Notre étude vise
à montrer comment la logique, en termes de jeux, permet d’introduire de nouveaux outils qui redéfinissent les concepts fondamentaux de la logique. Elle permet, également, de dégager les implications philosophiques autour de la notion de jeu dans la logique dynamique. Pour atteindre notre objectif, nous scrutons la conception des jeux de dialogues, à travers la logique dialogique, la sémantique ludique connue sous le nom de la théorie de la sémantique des jeux (GTS) et l’approche des jeux de l’école d’Amsterdam ( Institut de la Logique, du Langage et les Sciences de la Computation (ILLC)) dont l’objectif est de développer des logiques spécialement conçues pour les jeux et plus généralement pour la théorie des jeux.