Abstract

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?