Online research in philosophy

Modern philosophy of mathematics has been dominated by Platonism and nominalism, to the neglect of the Aristotelian realist option. Aristotelianism holds that mathematics studies certain real properties of the world – mathematics is neither about a disembodied world of “abstract objects”, as Platonism holds, nor it is merely a language of science, as nominalism holds. Aristotle’s theory that mathematics is the “science of quantity” is a good account of at least elementary mathematics: the ratio of two heights, for example, is a perceivable and measurable real relation between properties of physical things, a relation that can be shared by the ratio of two weights or two time intervals. Ratios are an example of continuous quantity; discrete quantities, such as whole numbers, are also realised as relations between a heap and a unit-making universal. For example, the relation between foliage and being-a-leaf is the number of leaves on a tree, a relation that may equal the relation between a heap of shoes and being-a-shoe. Modern higher mathematics, however, deals with some real properties that are not naturally seen as quantity, so that the “science of quantity” theory of mathematics needs supplementation. Symmetry, topology and similar structural properties are studied by mathematics, but are about pattern, structure or arrangement rather than quantity.

For many philosophers of science, mathematics lies closer to logic than it does to the ordinary sciences like physics, biology and economics. While this view may account for the relative neglect of the philosophy of mathematics by philosophers of science, it ignores at least two pressing questions about mathematics that philosophers of science need to be able to answer. First, do the similarities between mathematics and science support the view that mathematics is, after all, another science? Second, does the central role of mathematics in science shed any light on traditional philosophical debates about science like scientific realism, the nature of explanation or reduction? When faced with these kinds of questions many philosophers of science have little to say. Unfortunately, most philosophers of mathematics also fail to engage with questions about the relationship between mathematics and science and so a peculiar isolation has emerged between philosophy of science and philosophy of mathematics. In this introductory survey I aim to equip the interested philosopher of science with a roadmap that can guide her through the often intimidating terrain of contemporary philosophy of mathematics. I hope that such a survey will make clear how fruitful a more sustained interaction between philosophy of science and philosophy of mathematics could be.

In this paper I propose a position in the ontology of mathematics which is inspired mainly by a case study in the mathematical discipline if-theory. The main theses of this position are that mathematical objects are introduced by mathematicians and that after mathematical objects have been introduced, they exist as objectively accessible abstract objects.

The present article aims at showing that it is possible to construct a realist philosophy of mathematics which commits one neither to dream the dreams of Platonism nor to reduce the word ''realism'' to mere noise.It is argued that mathematics is a science of patterns, where patterns are not objects (or properties of objects), but aspects, or aspects of aspects, etc. of objects. (The notion of aspect originates from ideas sketched by Wittgenstein in the Philosophical Investigations.).

This paper considers the role of mathematics in the process of acquiring new knowledge in physics and astronomy. The defining of the notions of continuum and discreteness in mathematics and the natural sciences is examined. The basic forms of representing the heuristic function of mathematics at theoretical and empirical levels of knowledge are studied: deducing consequences from the axiomatic system of theory, the method of generating mathematical hypotheses, “pure” proofs for the existence of objects and processes, mathematical modelling, the formation of mathematics on the basis of internal mathematical principles and the mathematical theory of experiment.

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument.

One recent trend in the philosophy of mathematics has been to approach the central epistemological and metaphysical issues concerning mathematics from the perspective of the applications of mathematics to describing the world, especially within the context of empirical science. A second area of activity is where philosophy of mathematics intersects with foundational issues in mathematics, including debates over the choice of set-theoretic axioms, and over whether category theory, for example, may provide an alternative foundation for mathematics. My central claim is that these latter issues are of direct relevance to philosophical arguments connected to the applicability of mathematics. In particular, the possibility of there being distinct alternative foundations for mathematics blocks the standard argument from the indispensable role of mathematics in science to the existence of specific mathematical objects.

This book is an important contribution to the philosophy of mathematics. It aims to clarify and answer questions about realism in connection with mathematics, in particular whether there exist mathematical objects (ontological realism) and whether all meaningful mathematical statements have objective and determinate truth-values (truth-value realism). The author develops a novel structuralist account of mathematics that answers both questions affirmatively. By regarding mathematics as ‘the science of structure’ (p. 5), he attempts to render both forms of realism naturalistically respectable. The resulting philosophy of mathematics is extremely interesting and deserves the attention of anyone with a serious interest in the field.

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics.

Aristotelian, or non-Platonist, realism holds that mathematics is a science of the real world, just as much as biology or sociology are. Where biology studies living things and sociology studies human social relations, mathematics studies the quantitative or structural aspects of things, such as ratios, or patterns, or complexity, or numerosity, or symmetry. Let us start with an example, as Aristotelians always prefer, an example that introduces the essential themes of the Aristotelian view of mathematics. A typical mathematical truth is that there are six different pairs in four objects: Figure 1. There are 6 different pairs in 4 objects The objects may be of any kind, physical, mental or abstract. The mathematical statement does not refer to any properties of the objects, but only to patterning of the parts in the complex of the four objects. If that seems to us less a solid truth about the real world than the causation of flu by viruses, that may be simply due to our blindness about relations, or tendency to regard them as somehow less real than things and properties. But relations (for example, relations of equality between parts of a structure) are as real as colours or causes.