Histoires de Mathématiques. Logique. Le tournant mathématique.

Logique de Leibniz.

Résumé

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.

Abstract

In his search for a universal symbolic language, Leibniz got a head start by two centuries, in logic as in other areas. Not only did he anticipate propositional logic and set logic; he also understood what the main operations were; moreover, he invented the main systems of graphical representation, which were used until Venn, at the end of the nineteenth century.

Notes

Depuis le site Histoires de Mathématiques , cette histoire est racontée dans le diaporama vidéo https://hist-math.fr/leibnizl-auto (durée : 23:05). Le fichier PDF associé permet d’utiliser le contenu des écrans https://hist-math.fr/users/Histoires/Logique/leibnizl_double.pdf (9 p.).

Le site Histoires de mathématiques contient 228 récits concernant les mathématiques et leur histoire. Ils sont de format homogène : un diaporama vidéo de 20 à 30 minutes, un fichier PDF contenant le texte et une trentaine de transparents accessibles depuis sa fenêtre de liens.

Cette ressource est en ligne sur le site https://hist-math.fr/

Données de publication

Éditeur Ycart, Bernard Grenoble , 2020 Index Bibliogr. p. 9-9

Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19, 20

Type Film, vidéo, monographie, polycopié, vulgarisation, popularisation Langue français Support internet