Histoire de la logique

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.