La logique - Softcover

Très valorisé dans notre monde "raisonnable", le raisonnement n'est pas le seul moyen d'accéder à la vérité. Parfois introduit comme un prolongement du calcul, le raisonnement se révèle a posteriori d'une nature très différente : il ne repose pas sur une méthode systématique, de 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.

Mathématicien, logicien et informaticien, Gilles Dowek est chercheur et directeur de recherche à
l INRIA. Auteur des Métamorphoses du calcul, grand prix de philosophie de l Académie française, de plusieurs ouvrages de vulgarisation, dont deux « Petites Pommes du savoir » et un volume de la collection « le collège de la cité », il a obtenu en 2000 le Prix d Alembert des lycéens de la Société
Mathématique de France. Il est également l auteur de plusieurs ouvrages d enseignement de l informatique.