« La faculté de raisonner fait partie de l’image que l’homme se fait de lui-même » affirme l’auteur en introduction. Il tentera, tout au long de cet ouvrage, petit mais efficace et séduisant, plus de nous faire comprendre la nature du raisonnement que de nous aider à raisonner car, selon lui, c’est dans les propriétés du raisonnement que l’on trouvera la voie vers la faculté de raisonner.
En deux chapitres, dont le premier nous éclaire sur les divergences entre calcul et raisonnement et le second aborde la place de la logique dans notre processus cognitif, Gilles Dowek traverse le monde de la pensée logique. Le survol est rapide, mais il englobe d’un vaste coup d’oeil nombre de théoriciens de la logique, d’Aristote à Gödel, en passant par Guillaume d’Ockham, Frege, Peirce, Lulle, Leibniz, Montague, Pasch, Hilbert, et surtout Church et Turing, qui reviennent souvent. En si peu de pages, avec un tel format, on ne fait évidemment pas le tour de la question. On l’amorce cependant, dans le style clair et enlevé de cet ouvrage finalement très dense. Surtout, on a envie d’en savoir plus, de lire et relire ces pages et d’approfondir l’étude en consultant les auteurs cités. Une belle performance !
