La Logique déductive dans sa dernière phase de développement par Alessandro Padoa

Plusieurs savants de tous pays ont adopté l'idéographie logique : le maître présente ici son élève devenu son collègue.

Publié en 1912, cet ouvrage d'Alessandro Padoa, mathématicien et logicien italien, disciple de Giuseppe Peano, présente en français la logique mathématique telle que l'école de Peano l'avait développée au tournant du XXe siècle. L'auteur expose l'idéographie logique, ce langage de symboles qui permet d'écrire les raisonnements avec la rigueur des calculs : classes, propositions, relations, négation, implication, définitions et démonstrations. Il y présente aussi sa célèbre méthode pour établir l'indépendance des notions primitives d'une théorie. Clair et rigoureux, ce petit traité intéressera les curieux de l'histoire de la logique et des fondements des mathématiques.

La logique mathématique de l'école de Peano.