L’élimination diagrammatique

Résumé Fr En

L’usage des diagrammes en logique est ancien. Aux débuts de la logique mathématique, ils servent notamment à résoudre le problème de l’élimination. Cela consiste à extraire la conclusion qui découle d’un ensemble de prémisses en éliminant les termes et les propositions indésirables ou superflus. À cette fin, les logiciens inventent une multitude de notations. Il convient dès lors de s’interroger sur la place des méthodes diagrammatiques dans ce programme de recherche ainsi que leurs interactions avec les autres méthodes de résolution, symboliques et mécaniques. Les diagrammes éliminent-ils vraiment ?

The use of diagrams in logic is ancient. In the early days of mathematical logic, they were used to solve the problem of elimination, among other things. It consists in extracting the conclusion that derives from a set of premises by eliminating unwanted or superfluous terms and propositions. To that end, logicians invented a multitude of notations. It is therefore necessary to question the place of diagrammatic methods in this research program as well as their interactions with other symbolic and mechanical problem-solving methods. Do diagrams really eliminate?