Pour les uns, la logique est la science de la déduction, pour les autres, celle des vérités et certains manuels la divisent aujourd’hui en calcul des prédicats et calcul des propositions. Elle est liée à la fois à la philosophie et à la mathématique, mais aussi aujourd’hui à l’informatique et aux neurosciences.

Formalisée dès l’antiquité grecque par Aristote et développée indépendamment en Chine et en Inde elle a impliqué les plus grands mathématiciens tout au long de trois millénaires et l’ouvrage recense une bonne centaine d’auteurs dont les échanges pour dépasser contradictions et paradoxes ont fait progresser la discipline, jusqu’à lui donner sa réalité d’aujourd’hui.

Le livre intéressera en premier lieu les étudiants de mathématiques et de philosophie, mais aussi d’histoire ou d’informatique et plus généralement tous les citoyens qui souhaitent connaître l’évolution des concepts de raisonnement, de rigueur et de vérité.