Initiation à la logique formelle

Initiation à la logique formelle

L'ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Abordant d'emblée la logique propositionnelle et la logique des prédicats du premier ordre (sans en développer les aspects mathématiques), il en présente les techniques fondamentales.

Les auteurs mettent particulièrement l'accent 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 à la connaissance approfondie des notions de base de la logique.

Cet ouvrage s'adresse aux étudiants et professeurs de toutes les disciplines de sciences humaines, ainsi qu'aux étudiants de sciences économiques.