The Nature of Mathematical Truth: A Comparative Study of Frege, Mill, and Kripke

The Nature of Mathematical Truth: A Comparative Study between Frege, Mill, and Kripke   Abstract   The question of what makes mathematical statements true has been a central concern in philosophy for centuries. This paper explores three influential but contrasting views on mathematical truth presented by John Stuart Mill, Gottlob Frege, and Saul Kripke. It highlights how each thinker approaches the nature of mathematical truth. John Stuart Mill, an empiricist, believed that mathematical truths are grounded in experience. For Mill, mathematics is inductive and its truths are generalizations based on repeated observation. According to him, statements like “2 + 2 = 4” are not self-evident but learned through interaction with the physical world by using inductive method. This view connects mathematics closely with science, but it faces criticism for failing to explain the necessity and universality of mathematical truths. In contrast, Gottlob Frege argued that mathematics is purely logical and a priori. For Frege, all mathematical statements are analytic, meaning they are true by virtue of meanings and logical structure, independent of experience. He aimed to reduce arithmetic to logic, laying the foundation for logicism. Frege’s view preserves the certainty of mathematics. Saul Kripke, writing in the 20th century, brought a new perspective by discussing necessity and the role of language. He introduced the concept of the necessary a posteriori and showed how some truths can be necessarily true yet known only through experience. Although he did not focus mainly on mathematics, he argued that philosophers often assume that if mathematical propositions can be known a priori, then all mathematical truths must be a priori. In Naming and Necessity, Kripke also gives examples of mathematical propositions known a posteriori, suggesting a different view regarding nature of mathematical truth. This study compares the core ideas of these three thinkers and examines their strengths and limitations in explaining the nature of mathematical truth. Together, their views offer a rich philosophical debate on whether mathematics is discovered, invented, or derived from language and logic. In this paper, we will adopt some aspects of their views, reject others, and conclude with the Fregean stance that the nature of mathematical truth, for the purposes of mathematical knowledge, consists of necessary truths that can only be known a priori. In arithmetic, these are analytic statements, while in geometry, they are synthetic statements, which are nonetheless necessary truths known a priori. Key Word: Mathematical Truth, A priori, A posteriori, Analytic, synthetic, Necessity, Apriority, Aposteriority, Rigid Designator John Stuart Mill, Gottlob Frege, A.J Ayer, Carl G. Hemple, Saul Kripke.