Logique Dialogique: Une Introduction

Ce livre est le premier volume d'un ouvrage, Logique Dialogique : une introduction, conçu selon deux parties autonomes sur la logique dialogique. Les deux volumes fournissent néanmoins, ŕ un niveau technique et philosophique, une vue d'ensemble de l'approche dialogique de la logique. Constituant un support efficace et didactique pour apprendre les fondements et la pratique de la logique dialogique, elles s'adressent ainsi tant aux professeurs et enseignants pour la préparation de cours qu'aux étudiants qui veulent se former individuellement. Le premier volume, Méthode de Dialogique : Rčgles et Exercices, constitue la premičre introduction ŕ la pratique de la dialogique et contient des commentaires précis sur la solution d'exercices divers de logique classique de premier ordre, de logique intuitionniste et de logique modale propositionnelle. Le présent volume est lui-męme écrit en deux parties. La premičre étant écrite pour le lecteur non spécialisé envisage, pour apprendre ŕ jouer avec des dialogues, un point de vue analogue ŕ la façon dont on apprend ŕ jouer ŕ des jeux conventionnels comme les échecs par exemple : on se familiarise avec les rčgles qui gouvernent les figures, les rčgles du développement du jeu et finalement les rčgles qui produisent les stratégies gagnantes. La deuxičme partie contient une formulation plus précise de ce qui a été présenté et travaillé dans la premičre section. Elle se termine sur une justification de la correspondance entre la dialogique et le calcul des séquents. Le second volume présente un contenu plus avancé incluant la métathéorie correspondante.