Online research in philosophy

This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply (...) the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the 'no miracles' argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific 'realists' should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism. (shrink)

The instability inherent in the historical inventory of mathematical objects challenges philosophers. Naturalism suggests we can construct enduring answers to ontological questions through an investigation of the processes whereby mathematical objects come into existence. Patterns of historical development suggest that mathematical objects undergo an intelligible process of reification in tandem with notational innovation. Investigating changes in mathematical languages is a necessary first step towards a viable ontology. For this reason, scholars should not modernize historical texts without caution, as the use (...) of anachronistic notation tends to impede, rather than enhance, our ability to recognize the emergent nature of mathematical objects. (shrink)

The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape. Mathematical knowledge has long been regarded as a paradigm of human knowledge with truths that are both necessary and certain, so giving an account of mathematical knowledge is an important part of epistemology. Mathematical objects like numbers and sets are archetypical examples of abstracta, since we treat such objects in (...) our discourse as though they are independent of time and space; finding a place for such objects in a broader framework of thought is a central task of ontology, or metaphysics. The rigor and precision of mathematical language depends on the fact that it is based on a limited vocabulary and very structured grammar, and semantic accounts of mathematical discourse often serve as a starting point for the philosophy of language. Although mathematical thought has exhibited a strong degree of stability through history, the practice has also evolved over time, and some developments have evoked controversy and debate; clarifying the basic goals of the practice and the methods that are appropriate to it is therefore an important foundational and methodological task, locating the philosophy of mathematics within the broader philosophy of science. (shrink)

This paper compares the statement ‘Mathematics is the study of structure’ with the actual practice of mathematics. We present two examples from contemporary mathematical practice where the notion of structure plays different roles. In the first case a structure is defined over a certain set. It is argued firstly that this set may not be regarded as a structure and secondly that what is important to mathematical practice is the relation that exists between the structure and the set. In the (...) second case, from algebraic topology, one point is that an object can be a place in different structures. Which structure one chooses to place the object in depends on what one wishes to do with it. Overall the paper argues that mathematics certainly deals with structures, but that structures may not be all there is to mathematics. (shrink)

In Mathematical Thought and Its Objects, Charles Parsons examines the notion of object, with the aim to navigate between nominalism, denying that distinctively mathematical objects exist, and forms of Platonism that postulate a transcendent realm of such objects. He introduces the central mathematical notion of structure and defends a version of the structuralist view of mathematical objects, according to which their existence is relative to a structure and they have no more of a “nature” than that confers on them.

This original and exciting study offers a completely new perspective on the philosophy of mathematics. Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similiar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things as well. Jody Azzouni argues that mathematical knowledge really is a special (...) kind of knowledge with its own special means of gathering evidence. He analyses the linguistic pitfalls and misperceptions philosophers in this field are often prone to, and explores the misapplications of epistemic principles from the empirical sciences to the exact sciences. What emerges is a picture of mathematics both sensitive to mathematical practice, and to the ontological and epistemological issues that concern philosophers. (shrink)

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. (shrink)

Naturalism in philosophy is sometimes thought to imply both scientific realism and a brand of mathematical realism that has methodological consequences for the practice of mathematics. I suggest that naturalism does not yield such a brand of mathematical realism, that naturalism views ontology as irrelevant to mathematical methodology, and that approaching methodological questions from this naturalistic perspective illuminates issues and considerations previously overshadowed by (irrelevant) ontological concerns.

This paper attempts to motivate skepticism about the reality of mathematical objects. The aim of the paper is not to provide a general critique of mathematical realism, but to demonstrate the insufficiency of the arguments advanced by Michael Resnik. I argue that Resnik’s use of the concept of immanent truth is inconsistent with the treatment of mathematical objects as ontologically and epistemically continuous with the objects posited by the natural sciences. In addition, Resnik’s structuralist program, and his denial of relational (...) properties, is incompatible with a realist metaphysics about mathematical objects. (shrink)

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. (shrink)