Logique Dialogique - Fontaine, Matthieu

. .

Résumé :
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.