Logique Dialogique: Une Introduction: v. 1 Methode de Dialogique, Regles et Exercises

Ce livre est le premier volume d'un ouvrage, Logique Dialogique : une introduction, conu selon deux parties autonomes sur la logique dialogique. Les deux volumes fournissent nanmoins, 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 prparation de cours qu'aux tudiants qui veulent se former individuellement.

Le premier volume, Mthode de Dialogique : Rgles et Exercices, constitue la premire introduction la pratique de la dialogique et contient des commentaires prcis sur la solution d'exercices divers de logique classique de premier ordre, de logique intuitionniste et de logique modale propositionnelle. Le prsent volume est lui-mme crit en deux parties. La premire tant crite pour le lecteur non spcialis envisage, pour apprendre jouer avec des dialogues, un point de vue analogue la faon dont on apprend jouer des jeux conventionnels comme les checs par exemple : on se familiarise avec les rgles qui gouvernent les figures, les rgles du dveloppement du jeu et finalement les rgles qui produisent les stratgies gagnantes.
La deuxime partie contient une formulation plus prcise de ce qui a t prsent et travaill dans la premire section. Elle se termine sur une justification de la correspondance entre la dialogique et le calcul des squents.

Le second volume prsente un contenu plus avanc incluant la mtathorie correspondante.