Initiation à la logique formelle

L'ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il insiste peu sur la dimension historique, il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans en négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil du langage : partant de nombreux exemples, le lecteur passe progressivement à la formalisation des propositions et à l'étude des raisonnements corrects. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus. Ces exercices complets et progressifs conduiront le lecteur attentif à une connaissance approfondie des notions de base de la logique. Cet ouvrage devrait s'avérer particulièrement utile aux personnes qui évoluent dans le domaine des sciences humaines, en particulier celui de la communication.