What is “formal logic”?
| Abstract | 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 (see Scholz 1931). Some people like to quote a excerpt of the preface of the second edition of the Critic of pure reason (1787), 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 | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJean-Yves Beziau (2008). What is “Formal Logic”? Proceedings of the Xxii World Congress of Philosophy 13:9-22.
T. Achourioti & M. van Lambalgen (forthcoming). A Formalisation of Kant's Transcendental Logic. Review of Symbolic Logic.
Nectarios G. Limnatis (2006). The Canon and the Organon of Thought. Idealistic Studies 36 (2):123-139.
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Hashi Hisaki (2008). The Logic of Non-Verbality. Proceedings of the Xxii World Congress of Philosophy 6:69-75.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
John MacFarlane (2000). What Does It Mean to Say That Logic is Formal? Dissertation, University of Pittsburgh
Graham Priest (2000). Logic: A Very Short Introduction. Oxford University Press.
Clinton Tolley (2012). Bolzano and Kant on the Nature of Logic. History and Philosophy of Logic 33 (4):307-327.
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
Catarina Dutilh Novaes (2011). The Different Ways in Which Logic is (Said to Be) Formal. History and Philosophy of Logic 32 (4):303 - 332.
Peter Smith (2003). An Introduction to Formal Logic. Cambridge University Press.
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads21 ( #58,767 of 549,119 )Recent downloads (6 months)4 ( #19,263 of 549,119 )How can I increase my downloads? |
My notes
Discussion
