What is “Formal Logic”?
Proceedings of the Xxii World Congress of Philosophy 13:9-22 (2008)
| Abstract | “Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition to an empirical science, (3) Formal systems in the sense of Hilbert, Curry and the formalist school, (4) Symbolic logic, a science using symbols, such as Venn diagrams, (5) Mathematical logic, a mathematical approach to reasoning. We argue that these five meanings are independent and that the meaning (5) is the one which better characterized modern logic, which should therefore not be called “formal logic” | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| 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 | Configure |
Similar books and articlesBarry Smith & David Murray (1981). Logic, Form and Matter. Aristotelian Society Supplementary Volume 55:47 - 74.
Lloyd Humberstone (2008). Béziau's Translation Paradox. Theoria 71 (2):138-181.
Peter Smith (2003). An Introduction to Formal Logic. Cambridge University Press.
Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.
Catarina Dutilh Novaes (2011). The Different Ways in Which Logic is (Said to Be) Formal. History and Philosophy of Logic 32 (4):303 - 332.
John MacFarlane (2000). What Does It Mean to Say That Logic is Formal? Dissertation, University of Pittsburgh
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Jean-Yves Béziau (1998). Idempotent Full Paraconsistent Negations Are Not Algebraizable. Notre Dame Journal of Formal Logic 39 (1):135-139.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads78 ( #10,165 of 549,094 )Recent downloads (6 months)7 ( #10,383 of 549,094 )How can I increase my downloads? |
My notes
Discussion
