Author: Jean-Pierre Desclés

Publisher: Editions Hermann

Published: 2010

Total Pages: 208

ISBN-13: 9782705669256

Penser, parler, raisonner sont des activites liees au logos grec. Ces activites sont en etroite interaction, en particulier dans les sciences cognitives actuelles. La logique est-elle un art pour bien raisonner ? Une methode d'argumentation correcte ? Une science de demonstration ? Une discipline dont la norme est le vrai ? Une etude des operations mentales ? Une identification des lois de la pensee ? Une analyse formelle des concepts ? L'analyse du langage des mathematiques ? Une recherche sur les fondements theoriques de l'informatique ? La logique est un langage qui doit aider a repondre, au moins en partie, a toutes ces questions. Plutot que de presenter la logique comme un systeme formel, avec des regles generales, nous preferons presenter la logique des propositions et des predicats par la methode de la - deduction naturelle - de A. Gentzen (1934). Cette methode a l'avantage de mieux faire comprendre le role des - constantes logiques -, c'est-a-dire de la negation, des petits mots de la langue naturelle comme et, ou, si alors, tous, quelques, aucun... Cet ouvrage est destine a des etudiants des trois premieres annees d'universite et au-dela qui desirent acquerir la maitrise des raisonnements logiques, que ce soit en philosophie, en linguistique, en psychologie, en sociologie, en communication, et bien sur en informatique et en mathematiques. Le livre est accompagne d'un CD-Rom gratuit, qui permettra aux lecteurs de resoudre les exercices proposes en ayant les elements de reponses lorsqu'ils rencontreront des difficultes. Les auteurs ont tous enseigne cette matiere a l'universite de Paris-Sorbonne dans des cours destines a des etudiants en sciences humaines. L'ouvrage et les exercices resultent de cette experience pedagogique."