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

- Publication Year:
- 2003

## Explore PlumX Metrics

What are PlumX Metrics? How can they help tell the story about this research? How can I use them?

Learn more- Repository URL:
- http://philsci-archive.pitt.edu/id/eprint/1164

- Author(s):

##### preprint description

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.