Le tournant mathématique
logique de Leibniz
Dans sa recherche d'un langage symbolique universel, Leibniz a pris deux siècles d'avance, en logique comme dans d'autres domaines. Il a non seulement anticipé la logique propositionnelle et la logique ensembliste, il a compris quelles étaient les principales opérations, et il a en plus inventé les principaux systèmes de représentation graphique qui ont été employés jusqu'à Venn, à la fin du dix-neuvième siècle. Voir aussi
Méthode cartésienne et logique
Leibniz, précurseur de l'informatique
Logique de Boole
public : lycéens et étudiants
