# 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)**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**

**Categories**

**PhilPapers/Archive ID**

LUAFLC

**Revision history**

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.Rescher, Nicholas

Citations of this work BETA

No citations found.

**Added to PP index**

2017-11-26

**Total views**

52 ( #33,436 of 42,199 )

**Recent downloads (6 months)**

21 ( #26,562 of 42,199 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*