ISBN-13: 9781904987949 / Francuski / Miękka / 2008 / 140 str.
ISBN-13: 9781904987949 / Francuski / Miękka / 2008 / 140 str.
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."
Ce livre est le premier volume dun ouvrage, Logique Dialogique : une introduction, conçu selon deux parties autonomes sur la logique dialogique. Les deux volumes fournissent néanmoins, a un niveau technique et philosophique, une vue densemble de lapproche dialogique de la logique. Constituant un support efficace et didactique pour apprendre les fondements et la pratique de la logique dialogique, elles sadressent ainsi tant aux professeurs et enseignants pour la préparation de cours quaux étudiants qui veulent se former individuellement.Le premier volume, Méthode de Dialogique : Regles et Exercices, constitue la premiere introduction a la pratique de la dialogique et contient des commentaires précis sur la solution dexercices divers de logique classique de premier ordre, de logique intuitionniste et de logique modale propositionnelle. Le présent volume est lui-meme écrit en deux parties. La premiere étant écrite pour le lecteur non spécialisé envisage, pour apprendre a jouer avec des dialogues, un point de vue analogue a la façon dont on apprend a jouer a des jeux conventionnels comme les échecs par exemple : on se familiarise avec les regles qui gouvernent les figures, les regles du développement du jeu et finalement les regles qui produisent les stratégies gagnantes.La deuxieme partie contient une formulation plus précise de ce qui a été présenté et travaillé dans la premiere 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.