Online research in philosophy

Recent years have seen a growing acknowledgement within the mathematical community that mathematics is cognitively/socially constructed. Yet to anyone doing mathematics, it seems totally objective. The sensation in pursuing mathematical research is of discovering prior (eternal) truths about an external (abstract) world. Although the community can and does decide which topics to pursue and which axioms to adopt, neither an individual mathematician nor the entire community can choose whether a particular mathematical statement is true or false, based on the given axioms. Moreover, all the evidence suggests that all practitioners work with the same ontology. (My number 7 is exactly the same as yours.) How can we reconcile the notion that people construct mathematics, with this apparent choice-free, predetermined objectivity? I believe the answer is to be found by examining what mathematical thinking is (as a mental activity) and the way the human brain acquired the capacity for mathematical thinking.

Most contemporary philosophy of mathematics focuses on a small segment of mathematics, mainly the natural numbers and foundational disciplines like set theory. While there are good reasons for this approach, in this paper I will examine the philosophical problems associated with the area of mathematics known as applied mathematics. Here mathematicians pursue mathematical theories that are closely connected to the use of mathematics in the sciences and engineering. This area of mathematics seems to proceed using different methods and standards when compared to much of mathematics. I argue that applied mathematics can contribute to the philosophy of mathematics and our understanding of mathematics as a whole.

This paper explores how to explain the applicability of classical mathematics to the physical world in a radically naturalistic and nominalistic philosophy of mathematics. The applicability claim is first formulated as an ordinary scientific assertion about natural regularity in a class of natural phenomena and then turned into a logical problem by some scientific simplification and abstraction. I argue that there are some genuine logical puzzles regarding applicability and no current philosophy of mathematics has resolved these puzzles. Then I introduce a plan for resolving the logical puzzles of applicability.

Philosophers have recently expressed interest in accounting for the usefulness of mathematics to science. However, it is certainly not a new concern. Putnam and Quine have each worked out an argument for the existence of mathematical objects from the indispensability of mathematics to science. Were Quine or Putnam to disregard the applicability of mathematics to science, he would not have had as strong a case for platonism. But I think there must be ways of parsing mathematical sentences which account for applicability of mathematics and also do not require us to believe in entities we have no evidence for, other than through reading these sentences literally. We will explore a particular way to interpret sentences of arithmetic which promises to account for their applicability without bringing in metaphysics not also brought in by science. The investigation will be limited to the arithmetic of cardinal numbers. The general strategy is to argue for the analogy between arithmetic and science, rather than to argue for one case having a particular characteristic independently of the other.

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...

To explore the relation between mathematical models and reality, four different domains of reality are distinguished: observer-independent reality (to which there is no direct access), personal reality, social reality and mathematical/formal reality. The concepts of personal and social reality are strongly inspired by constructivist ideas. Mathematical reality is social as well, but constructed as an autonomous system in order to make absolute agreement possible. The essential problem of mathematical modelling is that within mathematics there is agreement about ‘truth’, but the assignment of mathematics to informal reality is not itself formally analysable, and it is dependent on social and personal construction processes. On these levels, absolute agreement cannot be expected. Starting from this point of view, repercussion of mathematical on social and personal reality, the historical development of mathematical modelling, and the role, use and interpretation of mathematical models in scientific practice are discussed.

Discussions of the applicability of mathematics in the natural sciences have been flawed by failure to realize that there are multiple senses in which mathematics can be ‘applied’ and, correspondingly, multiple problems that stem from the applicability of mathematics. I discuss semantic, metaphysical, descriptive, and and epistemological problems of mathematical applicability, dwelling on Frege's contribution to the solution of the first two types. As for the remaining problems, I discuss the contributions of Hartry Field and Eugene Wigner. Finally, I argue that there are epistemological problems concerning the applicability of mathematics that nobody in the philosophical community has yet confronted, though the problems are well known to physicists.

In this paper I defend mathematical nominalism by arguing that any reasonable account of scientific theories and scientific practice must make explicit the empirical non-mathematical grounds on which the application of mathematics is based. Once this is done, references to mathematical entities may be eliminated or explained away in terms of underlying empirical conditions. I provide evidence for this conclusion by presenting a detailed study of the applicability of mathematics to measurement. This study shows that mathematical nominalism may be regarded as a methodological approach to applicability, illuminating the use of mathematics in science.

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.

This paper addresses two central questions within the philosophy of mathematics: (1) What is the ground of the necessity of mathematical theorems? and (2) How is our belief in the existence of the objects of the fundamental mathematical theories to be justified? Frege's logicist answer to these questions is analyzed in detail, as well as Crispin Wright's attempt to refashion it. Hardly anyone else, claims the author, has even tried to address these questions. The author argues that those mathematical theorems that are genuinely applicable to reality hold of analytical necessity, since (he conjectures) it is possible to reformulate them so that the objects assumed are not purely mathematical objects, but ones abstracted from empirical reality.