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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.