Lettres à une princesse d'Allemagne
diagrammes de Venn
Les représentations graphiques en logique des propositions ont été inventées par Leibniz. Bien qu'elles n'aient pas été publiées, l'idée a diffusé au dix-huitième siècle, pour être définitivement consacrée par Euler dans ses Lettres à une Princesse d'Allemagne. Les diagrammes de Venn ne sont qu'une modification de ceux de Leibniz, et Venn en était parfaitement conscient. Néanmoins, ce sont eux qui se sont imposés, pour des raisons pédagogiques. Voir aussi
Logique de Leibniz
Logique de Lewis Carroll
Piano logique de Jevons
public : tous
