Mathematics -- an imagined tool for rational cognition

Boris Čulina
2024-08-22
Abstract:Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities or we can realize or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it.
History and Overview
What problem does this paper attempt to address?
### Problems the Paper Attempts to Solve The paper primarily explores fundamental issues in the philosophy of mathematics, namely the existence of mathematical objects, the nature of mathematical truth, and the methods of applying mathematics. The author, Boris Čulina, presents the following core arguments: 1. **Existence of Mathematical Objects**: - Mathematical objects (such as natural numbers, real numbers, etc.) do not exist in the external world but are products of human imagination. These objects can be partially realized or represented in our internal world of activities. 2. **Nature of Mathematical Truth**: - Mathematical truth is not about the external world but is a concrete expression of mathematical concepts. 3. **Mathematics as a Cognitive Tool**: - Mathematics is primarily an imaginative tool used by humans to explore the natural world and synthesize rational cognition. Assuming its applicability, we can understand the natural world through mathematics. ### Overview of Specific Content - **Natural Numbers**: Natural numbers are the result of modeling the counting process. The system of natural numbers consists of a series of axioms (such as the Peano axioms) and partial internal interpretations. - **Real Numbers**: Real numbers are the result of modeling the measurement process. The system of real numbers also consists of a set of axioms (such as the completeness axiom) and partial internal interpretations. - **Euclidean Geometry**: Euclidean geometry is an intuitive idealization modeling our internal spatial activities. Unlike non-Euclidean geometry, Euclidean geometry is based on the intuition of our internal spatial activities. - **Group Theory**: Group theory is an intuitive modeling of symmetry, without specific interpretation but applicable to various situations. Like other complex mathematical theories, group theory is built from our intuitive understanding of the world. In summary, this paper attempts to propose a new perspective by analyzing several classic mathematical models (natural numbers, real numbers, Euclidean geometry, group theory, etc.), suggesting that mathematical objects and mathematical truth are essentially products of human imagination, and exploring how mathematics is applied as a cognitive tool in the real world.