Mathematics and Reality

The subject of this paper is the philosophical problem of accounting for the relationship between mathematics and non-mathematical reality. The first section, devoted to the importance of the problem, suggests that many of the reasons for engaging in philosophy at all make an account of the relationship between mathematics and reality a priority, not only in philosophy of mathematics and philosophy of science, but also in general epistemology/metaphysics. This is followed by a (rather brief) survey of the major, traditional philosophies of mathematics indicating how each is prepared to deal with the present problem. It is shown that (the standard formulations of) some views seem to deny outright that there is a relationship between mathematics and any non-mathematical reality; such philosophies are clearly unacceptable. Other views leave the relationship rather mysterious and, thus, are incomplete at best. The final, more speculative section provides the direction of a positive account. A structuralist philosophy of mathematics is outlined and it is proposed that mathematics applies to reality though the discovery of mathematical structures underlying the non-mathematical universe.

[1]  P. Maddy.  Perception and mathematical intuition , 1980 .

[2]  M. Resnik.  Mathematics as a Science of Patterns: Ontology and Reference in Philosophy of Mathematics. , 1981 .

[3]  A. Heyting,et al.  Intuitionism: An introduction , 1956 .

[4]  R. Dedekind.  Essays on the theory of numbers , 1963 .

[5]  Nicholas Bourbaki,et al.  The Architecture of Mathematics , 1950 .

[6]  Michael D. Resnik.  Mathematics as a Science of Patterns: Epistemology , 1982 .

[7]  M. Dummett.  The Philosophical Basis of Intuitionistic Logic , 1975 .

[8]  Donald A. Martin,et al.  Review: Paul J. Cohen, Comments on the Foundations of Set Theory , 1975 .

[9]  T. G..  Language, Truth and Logic , 1936, Nature.

[10]  Paul Benacerraf,et al.  What the numbers could not be , 1983 .

[11]  C. Hempel.  On the Nature of Mathematical Truth , 1945 .

[12]  G. Whitehurst.  Meaning and Semantics , 1979 .

[13]  Michael D. Resnik,et al.  Frege and the philosophy of mathematics , 1980 .

[14]  Michael D. Resnik,et al.  Mathematical Knowledge and Pattern Cognition , 1975 .

[15]  G. Pólya.  Mathematics and Plausible Reasoning , 1958 .

[16]  Haskell B. Curry.  Outlines of a formalist philosophy of mathematics , 1951 .

[17]  Michael Lane,et al.  Introduction to structuralism , 1970 .

[18]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[19]  F. J. Budden,et al.  The fascination of groups , 1972 .

[20]  Mark Wilson.  The double standard in ontology , 1981 .

[21]  Hartry Field.  On Conservativeness and Incompleteness , 1985 .

[22]  Stewart Shapiro,et al.  Understanding Church's thesis , 1981, J. Philos. Log..