Research Article

Analysis the Nature of Logic: The Distinctions Between Logic and Mathematics

Hanshi WangLancaster University*

* Corresponding author: [email protected]

Abstract

The paper aims to explore the distinctions between logic and mathematics. Logic and mathematics have always been important branches of human knowledge, closely related in many ways and with far-reaching consequences in areas such as science, technology and philosophy. Although logic and mathematics have much in common in terms of necessity, universality, a priori and a high degree of abstraction, leading to the belief that the two fields of study are identical, they are essentially two very different disciplines. While they do appear very similar owing to their universal necessity and independence from temporal and spatial constraints, logic and mathematics are, in essence, two very distinct disciplines. They can be strictly differentiated based on their focus and epistemological perspectives. This paper will first explain the fundamental concepts of mathematics and logic, then delve into the two main differences between logic and mathematics, and finally, point out the limitations in the study of mathematics and logic.

Keywords: Philosophy of Logic; Philosophy of Math; Kant; a priori knowledge
Published: September 14, 2023
DOI: 10.54254/2753-7064/5/20230343
Volume: CHR Vol.5
pp. 417-422
Download PDF

References

  1. Hodges, W. (2013). Logic and Computation. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Winter 2013 Edition) (p. 45). Stanford University.
  2. Carnielli, W., Coniglio, M. E., & Marcos, J. (2016). Logics of Formal Inconsistency. In D. M. Gabbay, J. Woods, & A. Kanamori (Eds.), Handbook of the History of Logic (Vol. 14, pp. 109-113). Elsevier.
  3. Smith, P. (2014). An Introduction to Gödel's Theorems (pp. 212-216). Cambridge University Press.
  4. Rosen, G. (2015). Logical Pluralism and Mathematics. Philosophia Mathematica, 23(1), 55-75.
  5. Awodey, S. (2017). Category Theory and Type Theory. Bulletin of Symbolic Logic, 23(1), 20-34.
  6. Ferreirós, J. (2018). Gödel, Turing, and the Confluence of Logic, Mathematics, and Computation. In B. van Kerkhove (Ed.), New Directions for the Philosophy of Mathematics (pp. 71-85). Springer.
  7. Whitehead, A. N., & Russell, B. (1910). Principia Mathematica (Vol. 1, p. 5). Cambridge University Press.
  8. Priest, G. (2017). Logical disputes and the a priori. Logique et Analyse, 60(239), 251-265.
  9. Gabbay, D. M., & Woods, J. (2015). The reach of abduction: Insight and trial. In D. M. Gabbay & J. Woods (Eds.), Handbook of the History of Logic (Vol. 2, pp. 33-47). Elsevier.
  10. Bennett, J. (2010). Logic. In R. Kempson, T. Fernando, & N. Asher (Eds.), A Companion to the Philosophy of Language (pp. 97-108). Wiley-Blackwell.
  11. Ernest, P. (2016). The Philosophy of Mathematics Education: An Overview. In J. Nagata (Ed.), Philosophy of Mathematics: Theory and Practice (pp. 5-95). Springer.
  12. Coppin, B. (2014). Discrete mathematics: An introduction to proofs and combinatorics. CRC Press. 3-5
  13. Smith, D. E. (2014). A Source Book in Mathematics. New York, NY: Dover Publications. 25-65.
  14. Immanuel, K. (1855). Critique of pure reason.
  15. Shabel, Lisa, "Kant's Philosophy of Mathematics", The Stanford Encyclopedia of Philosophy (Winter 2017 Edition), Edward N. Zalta (ed.), Retrieved from: https://plato.stanford.edu/archives/win2017/entries/kant-mathematics/.