Formal systems as physical objects: A physicalist account of mathematical truth
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Mary Leng (2010). Mathematics and Reality. OUP Oxford.
Jill North (2009). The “Structure” of Physics. Journal of Philosophy 106 (2):57-88.
John Bigelow (1988). The Reality of Numbers: A Physicalist's Philosophy of Mathematics. Oxford University Press.
Kevin de Laplante, Certainty and Domain-Independence in the Sciences of Complexity: A Critique of James Franklin's Account of Formal Science.
Ned Markosian (2000). What Are Physical Objects? Philosophy and Phenomenological Research 61 (2):375-395.
La´Szlo´ E. Szabo´ (2003). Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth. International Studies in the Philosophy of Science 17 (2):117-125.
László E. Szabó (2003). Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth. International Studies in the Philosophy of Science 17 (2):117 – 125.
Added to index2009-01-28
Total downloads10 ( #142,117 of 1,096,806 )
Recent downloads (6 months)0
How can I increase my downloads?