What is “formal logic”?

Many people understand the expression “formal logic” as meaning modern mathematical logic by opposition to traditional logic before the revolution that happened in the second part of the 19th century with Boole, Frege and others. But in fact this expression was created by Kant. Some people like to quote a excerpt of the preface of the second edition of the Critic of pure reason, where Kant says that formal logic is a finished and closed science: “logic … has not been able to advance a single step, and hence is to all appearances closed and complete”. Retrospectively, this remark by Kant seems pretty ridiculous. One may wonder how such a wise man could have been so wrong. On the other hand it is quite ironic that the expression created by this philosopher has turned to be used to name the new logic that he was not able to prophesy. Of course “formal logic” is not the only expression used to denote the new logic but it is quite popular and widely spread, maybe because it means several things at the same time
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,330
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
The Logic of Non-Verbality.Hashi Hisaki - 2008 - Proceedings of the Xxii World Congress of Philosophy 6:69-75.
19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - Dissertation, University of Pittsburgh
Logic: A Very Short Introduction.Graham Priest - 2000 - Oxford University Press.
Bolzano and Kant on the Nature of Logic.Clinton Tolley - 2012 - History and Philosophy of Logic 33 (4):307-327.
Managing Informal Mathematical Knowledge: Techniques From Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
An Introduction to Formal Logic.Peter Smith - 2003 - Cambridge University Press.
Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.


Added to PP index

Total views
78 ( #113,780 of 2,291,031 )

Recent downloads (6 months)
6 ( #184,295 of 2,291,031 )

How can I increase my downloads?


My notes

Sign in to use this feature