PhilSci Archive

Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth

E. Szabó, László (2003) Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth. [Preprint]


Download (163kB)


This paper is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws of physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
E. Szabó, László
Keywords: mathematical truth, physicalism, formal systems, deduction, induction, Platonism, formalism, Goedel
Subjects: Specific Sciences > Cognitive Science
Specific Sciences > Computer Science
General Issues > Confirmation/Induction
General Issues > Conventionalism
General Issues > Logical Positivism/Logical Empiricism
Specific Sciences > Mathematics
Depositing User: Laszlo E. Szabo
Date Deposited: 17 May 2003
Last Modified: 07 Oct 2010 15:11
Item ID: 1164

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item