Créée par les Grecs, la logique a côtoyé la philosophie

tout au long du Moyen Âge, sans dévier de sa

ligne initiale. Les Modernes, en la formalisant et en

l'axiomatisant, en sont venus à la lier étroitement aux

mathématiques. Science du syllogisme au départ, elle est

devenue théorie générale de la déduction. Sa solidité et

sa puissance lui ont même permis de prétendre servir de

fondement aux mathématiques.

L'ouvrage raconte ce cheminement et ses étapes

majeures, d'Aristote à Turing, en passant par Guillaume

d'Occam, Boole, Frege et Gödel, entre autres. Il expose

les grandes avancées que ces penseurs réalisèrent, en

faisant ressortir l'esprit de leurs recherches et la signification

de leurs démarches. Sa lecture permet ainsi une

première initiation à la logique elle-même.