David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Jean-Yves Beziau (2008). What is “Formal Logic”? Proceedings of the Xxii World Congress of Philosophy 13:9-22.
T. Achourioti & M. van Lambalgen (2011). A Formalization of Kant's Transcendental Logic. Review of Symbolic Logic 4 (2):254-289.
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.
Added to index2010-12-22
Total downloads26 ( #56,514 of 1,088,374 )
Recent downloads (6 months)2 ( #42,750 of 1,088,374 )
How can I increase my downloads?