Abstract
In this paper we recover Leibniz's diagrammatic logic for syllogistic and we discover its computational and logical features by providing a formal approach to it in metalogical terms, which is something that, as far as we know, is yet to be accomplished. Thus, in this contribution we pursue, respectively, two goals, a historical and a logical one: i) to bring more attention on the algorithmic aspects of Leibniz's diagrammatic system for syllogistic, which be believe have been neglected because of a general bias against diagram-based reasoning; and ii) to prove metalogical properties of the system in order to argue that such system is a bona fide logical system.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
