Re(dis)covering Leibniz's Diagrammatic Logic

In this paper I attempt to retrieve Leibniz’s linear diagrammatic logic for his syllogistic and highlight its computational and logical features by providing a formal approach to it in metalogical terms, which is something that, as far as we know, has not yet been accomplished. Thus, in this contribution I pursue two goals, one historical and the other logical: i) to bring more attention on the algorithmic aspects of Leibniz’s linear diagrammatic system for his syllogistic, which I believe has been neglected because of a general bias against diagram-based reasoning; and ii) to prove the metalogical properties of the system in order to argue that such a system is a bona fide logical system.