Review of Symbolic Logic 13 (1):141-205 (2020)

Marko Malink
New York University
Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titledSpecimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule ofreductio ad absurdumin a purely categorical calculus in which every proposition is of the formA is B. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule ofreductio ad absurdum, but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic known as RMI$_{{}_ \to ^\neg }$.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020318000266
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,968
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Doubt Truth to Be a Liar.Graham Priest - 2007 - Studia Logica 87 (1):129-134.
What is a Syllogism?T. J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.
Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.

View all 67 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Leibniz’s Theory of Propositional Terms.Marko Malink - 2017 - The Leibniz Review 27:139-155.
Non-Standard Categorical Syllogisms: Four That Leibniz Forgot.Don Emil Herget - 1987 - History and Philosophy of Logic 8 (1):1-13.
Leibniz’s Logic and the “Cube of Opposition”.Wolfgang Lenzen - 2016 - Logica Universalis 10 (2-3):171-189.
Leibniz: Logic.Wolfgang Lenzen - 2014 - Internet Encyclopedia of Philosophy.
Syllogistic with Indefinite Terms.Enrique Alvarez & Manuel Correia - 2012 - History and Philosophy of Logic 33 (4):297-306.
The Structure of Aristotelian Logic.James Wilkinson Miller - 1938 - London: K. Paul, Trench, Trubner & Co..
An Intensional Leibniz Semantics for Aristotelian Logic.Klaus Glashoff - 2010 - Review of Symbolic Logic 3 (2):262-272.


Added to PP index

Total views
52 ( #198,496 of 2,433,358 )

Recent downloads (6 months)
1 ( #468,801 of 2,433,358 )

How can I increase my downloads?


My notes