Authors
Jean-Yves Beziau
Universidade Federal do Rio de Janeiro
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 Conference Proceedings  Contemporary Philosophy
Categories (categorize this paper)
DOI wcp22200813927
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


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

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

View all 27 references / Add more references

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.

Add more citations

Similar books and articles

Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - Dissertation, University of Pittsburgh
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
Formal Logic and Formal Ontology in Husserl's Phenomenology.Frederick James Crosson - 1962 - Notre Dame Journal of Formal Logic 3 (4):259-269.
An Introduction to Formal Logic.Peter Smith - 2003 - Cambridge and New York: Cambridge University Press.
Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.
Idempotent Full Paraconsistent Negations Are Not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.

Analytics

Added to PP index
2009-01-28

Total views
211 ( #50,612 of 2,462,368 )

Recent downloads (6 months)
3 ( #223,366 of 2,462,368 )

How can I increase my downloads?

Downloads

My notes