Cet ouvrage est issu d’une double expérience pédagogique de l’auteur, spécialiste des logiques non classiques et de leur application aux sciences cognitives. Il contient donc de nombreux exemples, des exercices permettant de vérifier et d’assurer l’assimilation des notions nouvelles, et pour chaque chapitre un résumé dégageant les points essentiels.
Après une brève introduction comportant un test de neuf items, l’ouvrage est divisé en deux parties :

I. Logique propositionnelle
1) Le langage naturel restreint (Connecteurs de base, propositions du langage naturel restreint)
2) Le langage propositionnel (Formules, tautologies, contradictions, cas des logiques finies)
3) Théorèmes, preuves et démonstrations (Démonstrations axiomatiques, déduction naturelle)
4) La relation de conséquence en calcul propositionnel (La notion de monde ; monde et relation de conséquence)

II. Calcul des Prédicats
5) Le langage prédicatif restreint (Termes élémentaires, fonctions et prédicats, quantificateurs)
6) Le langage de la logique des prédicats (Formules, variables libres, liées, substitutions)
7) La déduction en calcul des prédicats (Déduction axiomatique, naturelle en logique du premier ordre, validité des formules et modèles en logique du premier ordre, relation de conséquence)
8) Théories axiomatiques (Arithmétique et axiomes de Peano, théorème d’incomplétude de Gödel)

Les solutions des 78 exercices proposés tout au long du texte sont rassemblées à la fin qui donne aussi un index fort utile.