Les outils et méthodes de la logique pour comprendre le sens du raisonnement. Le raisonnement, très valorisé dans notre monde "raisonnable", n'est pas le seul moyen d'accéder à la vérité. Parfois introduit comme un prolongement du calcul, le raisonnement révèle après coup une nature très différente : il ne repose pas sur une méthode systématique, ne donne pas toujours une réponse, et sa cohérence ne peut pas être démontrée ! Mais comprendre la nature du raisonnement aide-t-il à raisonner ? Selon Gilles Dowek, la réponse est à trouver dans les propriétés mêmes du raisonnement. La logique, quant à elle, est une étape annoncée et nécessaire de la pensée déductive.