In Corey W. Dyck & Falk Wunderlich (eds.), Kant and His German Contemporaries : Volume 1, Logic, Mind, Epistemology, Science and Ethics. Cambridge: Cambridge University Press. pp. 35-55 (2017)

Authors
Huaping Lu-Adler
Georgetown University
Abstract
John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from G. W. Leibniz to Lambert and Gottfried Ploucquet. While Kant is evidently open to using mathematical tools in logic, his main concern is to clarify what mathematical tools can be used to achieve. For without such clarification, all efforts at introducing mathematical tools into logic would be blind if not complete waste of time. In the end, Kant would stress, the means provided by formal logic at best help us to express and order what we already know in some sense. No matter how much mathematical notations may enhance the precision of this function of formal logic, it does not change the fact that no truths can, strictly speaking, be revealed or established by means of those notations.
Keywords logic calculus  formal logic  syllogism  Leohnard Euler  Gottfried Ploucquet  J. H. Lambert  G. W. Leibniz
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
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

The Objects and the Formal Truth of Kantian Analytic Judgments.Huaping Lu-Adler - 2013 - History of Philosophy Quarterly 30 (2):177-93.
Leibniz's Interpretation of His Logical Calculi.Nicholas Rescher - 1956 - Journal of Symbolic Logic 21 (2):197-199.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Euler’s Visual Logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
Is Euler’s Circle a Symbol or an Icon?Amirouche Moktefi - 2015 - Sign Systems Studies 43 (4):597-615.
Mathematical Logic and Modern Formal Logic.A. A. Vetrov - 1964 - Russian Studies in Philosophy 3 (1):24-33.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Local Computation in Linear Logic.Ugo Solitro & Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):201-212.
Hegel and Contemporary Logic.I. S. Narskii - 1971 - Russian Studies in Philosophy 9 (4):354-373.
19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Leibniz: Logic.Wolfgang Lenzen - 2014 - Internet Encyclopedia of Philosophy.
Logic and Philosophy of Logic From Humanism to Kant.Mirella Capozzi & Gino Roncaglia - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 78-158.

Analytics

Added to PP index
2017-11-26

Total views
116 ( #76,808 of 2,325,155 )

Recent downloads (6 months)
25 ( #26,300 of 2,325,155 )

How can I increase my downloads?

Downloads

My notes