From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles

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)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
LUAFLC
Upload history
First archival date: 2017-11-26
Latest version: 2 (2018-09-23)
View other versions
Added to PP index
2017-11-26

Total views
138 ( #30,380 of 53,714 )

Recent downloads (6 months)
29 ( #23,182 of 53,714 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.