Proceedings of the Xxii World Congress of Philosophy 13:9-22 (2008)
“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||Conference Proceedings Contemporary Philosophy|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Speed Up the Conception of Logical Systems with Test-Driven Development.Mathieu Vidal - 2014 - Journal of Logic, Language and Information 23 (1):83-103.
Similar books and articles
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
Logic with Trees: An Introduction to Symbolic Logic.Colin Howson - 1997 - Routledge.
Formal Logic and Formal Ontology in Husserl's Phenomenology.Frederick James Crosson - 1962 - Notre Dame Journal of Formal Logic 3 (4):259-269.
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - Dissertation, University of Pittsburgh
The Relation Between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
Idempotent Full Paraconsistent Negations Are Not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.
Added to index2009-01-28
Total downloads154 ( #29,893 of 2,158,821 )
Recent downloads (6 months)8 ( #41,325 of 2,158,821 )
How can I increase my downloads?