Logique Dialogique: Une Introduction, v. 1 - Methode de Dialogique, Regles et Exercises (French, Paperback)

Ce livre est le premier volume d'un ouvrage, Logique Dialogique: une introduction, concu selon deux parties autonomes sur la logique dialogique. Les deux volumes fournissent neanmoins, a 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 preparation de cours qu'aux etudiants qui veulent se former individuellement. Le premier volume, Methode de Dialogique: Regles et Exercices, constitue la premiere introduction a la pratique de la dialogique et contient des commentaires precis sur la solution d'exercices divers de logique classique de premier ordre, de logique intuitionniste et de logique modale propositionnelle. Le present volume est lui-meme ecrit en deux parties. La premiere etant ecrite pour le lecteur non specialise envisage, pour apprendre a jouer avec des dialogues, un point de vue analogue a la facon dont on apprend a jouer a des jeux conventionnels comme les echecs par exemple: on se familiarise avec les regles qui gouvernent les figures, les regles du developpement du jeu et finalement les regles qui produisent les strategies gagnantes. La deuxieme partie contient une formulation plus precise de ce qui a ete presente et travaille dans la premiere section. Elle se termine sur une justification de la correspondance entre la dialogique et le calcul des sequents. Le second volume presente un contenu plus avance incluant la metatheorie correspondante.