The Ontology of Logic: A Philosophical Inquiry into the Nature of Reasoning
DOI:
https://doi.org/10.58932/MULF0049Keywords:
Logic, Ontological Status, Realism, Conventionalism, Formal Logic, Transcendental Logic, Aristotelian Syllogism, Psychologism, Holism, Language-Games, Mathematical Logic, Modal Logic, Quantum Logic, Mind-Independence, UniversalismAbstract
This article aims to explore the ontological status of logic while tracing its journey from Classical Greek philosophy to the works of renowned contemporary thinkers. Classical thinkers explored the definite nature of logic in either Plato’s transcendent world of Ideas or Aristotle’s Universal Forms in matter. In the Enlightenment period, Emmanuel Kant positioned logic within the formal structure of thought, while Frege and Russell, two prominent contemporary philosophers, advocated for the objective existence of logic. In contrast, Quine and Wittgenstein questioned the traditional metaphysical grounding of logic and reconsidered logic as linguistically constructed and empirically revisable. The paper proposes Synthesis through phenomenological perspectives, particularly Heidegger’s notion of being-in-the-world and thrownness (Geworfenheit), to reveal how logic is encountered within the human condition. This approach allows for the synthesis of divergent views, aiming to provide a coherent and rational account of logic’s ontological status. From the primary texts, secondary scholarship, and credible tertiary sources, this study explores the ontological status of logic and establishes the influence of logic on epistemology, mathematics, and artificial intelligence. Drawing on the understanding of logic by realists as the method of organizing rational inquiry, conventionalists as a social construct, and my phenomenological resolution as a continued lived experience, the paper argues that various understandings in explaining the role of logic are crucial in structuring the course of rational inquiry across the disciplines.
References
Aristotle (350 BCE). R. Smith, T. I. (n.d.). Prior Analytics The Complete Works of Aristotle (Vol. 1. Princeton University Press.)
Barnes, J. (2007). Truth, etc.: Six lectures on ancient logic and metaphysics. Oxford University Press.
Bird, G. (2006). The revolutionary Kant: A commentary on the Critique of Pure Reason. Open Court.
Mcconaughey, Z., & Clerbout, N. (2022). Dialogical Logic. Stanford Encyclopedia of Philosophy, https-plato.
Dummett, M. (1975). The philosophical basis of intuitionistic logic. In Studies in Logic and the Foundations of Mathematics (Vol. 80). Elsevier
Dunn, J. M. (2002). Relevance logic. In Handbook of philosophical logic. Dordrecht: Springer Netherlands.
Ebrey, D. (2023). Plato's' Phaedo': Forms, Death, and the Philosophical Life. Cambridge University Press.
Frege, G. 1. (1931). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. From Frege to Gödel: A source book in mathematical logic.
Frege, G. (1879). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. From Frege to Gödel: A source book in mathematical logic, 1931. 1-82.
Glock, H. J. (1996). Anthony KENNY:" Frege". London: Penguin, 1995. Grazer Philosophische Studien.
Hanna, R. (2001). Kant and the foundations of analytic philosophy. Clarendon Press.
Hart, H. L. (1987). Issues in contemporary legal philosophy: the influence of HLA Hart.
Hylton, P. (1992). Russell, idealism, and the emergence of analytic philosophy. Oxford University Press.
Kant, I. (1785). Groundwork of the Metaphysics of Morals (1785). New Haven.
Knuuttila, S. (2011). Interpreting medieval logic and in medieval logic. In Methods and Methodologies. Brill.
Kripke, S. A. (1991). Wittgenstein on rules and private language: An elementary exposition. John Wiley & Sons.
Kripke, S. A. (2024). A letter from Kripke to Lewis. In Saul Kripke on Modal Logic. Springer International Publishing.
Laita, L. M. (1979). Influences on Boole's logic: the controversy between William Hamilton and Augustus De Morgan. Annals of Science.
Locke, J. (1690). An essay concerning human understanding. Hackett Publishing Company.
Plato (G.M.A. Grube, T. I. (380 BCE ). Phaedo, Plato: Complete Works. Hackett Publishing.
Priest, G. (2002). Paraconsistent logic. In Handbook of philosophical logic. Dordrecht: Springer Netherlands.
Quine, W. V. (1951). Two dogmas of empiricism. The Philosophical Review.
Rescher, N. &. (2012). Temporal logic (Vol. 3).. Springer Science & Business Media.
Russell, B. &. (1910). Principia Mathematica Vol. I. Cambridge University Press.
Shleifer, A. ( 2012). Psychologists at the gate: a review of Daniel Kahneman's thinking, fast and slow. Journal of Economic Literature, 50(4), 1080-1091.
The Stanford Encyclopedia of Philosophy. (Fall 2006 Edition). Retrieved from The Stanford Encyclopedia: . https://plato.stanford.edu/entries/plato-metaphysics/
Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society,. Retrieved from https://doi.org/10.1112/plms/s2-42.1.230
Von Wright, G. H. (n.d.). Deontic logic. Mind (Vol. 60(237)).
Wittgenstein, L. (2009). Philosophical investigations. John Wiley & Sons.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 South Asian Journal of Religion and Philosophy (SAJRP)

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
