Online research in philosophy

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. Mathematical platonists claim that at least some of the objects which are the subject matter of pure mathematics (e.g. numbers, sets, groups) actually exist. Furthermore, they claim that these objects differ radically from the concrete objects (trees, cats, stars, molecules) which inhabit the material world. We take the standard platonistic position to include the claim that platonic objects lack spatio-temporal location and causal powers. Many (perhaps most) mathematical platonists subscribe to this view.1 But some who call themselves (or might be called) mathematical platonists..

This article examines one aspect of Thomas Aquinas' understanding of abstraction. It shows in which way, according to Aquinas, universal material objects and individual material objects are the starting point for mathematical objects. It comes to the conclusion that for Aquinas there are not only universal mathematical objects (circle, line), but also individual mathematical objects (this circle, that line). Universal mathematical objects are properties of universal material objects and individual mathematical objects are properties of individual material objects. One type of abstractio formae leads from individual material objects to universal mathematical objects, a second type from universal material objects to universal mathematical objects, and a third type from individual material objects to individual mathematical objects. Therefore, the concept of abstractio formae is ambiguous.

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.

We are used to talking about the “structure” posited by a given theory of physics. We say that relativity is a theory about spacetime structure. Special relativity posits one spacetime structure; different models of general relativity posit different spacetime structures. We also talk of the “existence” of these structures. Special relativity says the world’s spacetime structure is Minkowskian: it posits that this spacetime structure exists. Understanding structure in this sense seems important for understanding what physics is telling us about the world. But it is not immediately obvious just what this structure is, or what we mean by the existence of one structure, rather than another. The idea of mathematical structure is relatively straightforward. There is geometric structure, topological structure, algebraic structure, and so forth. Mathematical structure tells us how abstract mathematical objects t together to form different types of mathematical spaces. Insofar as we understand mathematical objects, we can understand mathematical structure. Of course, what to say about the nature of mathematical objects isn’t easy. But there seems to be no further problem for understanding mathematical structure. Modern theories of physics are formulated in terms of these mathematical structures. In order to understand “structure” as used in physics, then, it seems we must simply look at the structure of the mathematics that is used to state the physics. But it is not that simple. Physics is supposed to be telling us about the nature of the world. If our physical theories are formulated in mathematical language, using mathematical objects, then this mathematics is somehow telling us about the physical make-up of the world. What is..

Do mathematical objects exist in some realm inaccessible to our senses? It may be tempting to deny this. For how we could come to know mathematical truths, if such knowledge must arise from causal interaction with non-empirical objects? Among current positions, literalists argue that mathematical objects simply exist in the empirical world, and fictionalists hold that, strictly speaking, mathematical objects do not exist but are rather harmless fictions. Both positions have been ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism also faces a difficult challenge: there is evidence that Aristotle would deny the fictionalist position that mathematics is false. I will argue that, in Aristotle’s view, the fiction of mathematics is not to treat what does not exist as if existing but to treat mathematical objects with an ontological status they lack. This form of fictionalism is consistent with holding that mathematics is true.

Platonism about mathematics (or mathematical platonism as I will mostly call it) is typically defined as the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. Just as electrons and planets exist independently of us, so do numbers and sets. And just as statements about electrons and planets are made true or false by the objects with which they are concerned and these objects’ perfectly objective properties, so are statements about numbers and sets. If true, mathematical platonism would be of great philosophical significance: it would be a counterexample to common physicalist views, and it would put great pressure on the epistemology of mathematics. The view would also be of significance for mathematical practice.

The paper proposes to amend structuralism in mathematics by saying what places in a structure and thus mathematical objects are. They are the objects of the canonical system realizing a categorical structure, where that canonical system is a minimal system in a specific essentialistic sense. It would thus be a basic ontological axiom that such a canonical system always exists. This way of conceiving mathematical objects is underscored by a defense of an essentialistic version of Leibniz’ principle according to which each object is uniquely characterized by its proper and possibly relational essence (where “proper” means “not referring to identity").

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. In this survey article, the view is clarified and distinguished from some related views, and arguments for and against the view are discussed.

I consider different versions of a structuralist view of mathematical objects, according to which characteristic mathematical objects have no more of a 'nature' than is given by the basic relations of a structure in which they reside. My own version of such a view is non-eliminative in the sense that it does not lead to a programme for eliminating reference to mathematical objects. I reply to criticisms of non-eliminative structuralism recently advanced by Keränen and Hellman. In replying to the former, I rely on a distinction between 'basic' and 'constructed' structures. A conclusion is that ideas from the metaphysical tradition can be misleading when applied to the objects of modern mathematics.

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001).