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'Aris