A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ (PMP) are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.

The paper asks whether diagrams in mathematics are particularly fruitful compared to other types of representations. In order to respond to this question a number of examples of propositions and their proofs are considered. In addition I use part of Peirce’s semiotics to characterise different types of signs used in mathematical reasoning, distinguishing between symbolic expressions and 2-dimensional diagrams. As a starting point I examine a proposal by Macbeth. Macbeth explains how it can be that objects “pop up”, e.g., as (...) a consequence of the constructions made in the diagrams of Euclid, that is, why they are fruitful. It turns out, however, that diagrams are not exclusively fruitful in this sense. By analysing the proofs given in the paper I introduce the notion of a ‘faithful representation’. A faithful representation represents as either an image or as a metaphor. Secondly it represents certain relevant relations. Thirdly manipulations on the representations respect manipulations on the objects they represent, so that new relations may be found. The examples given in the paper illustrate how such representations can be fruitful. These examples include proofs based on both symbolic expressions as well as diagrams and so it seems diagrams are not special when it comes to fruitfulness. Having said this, I do present two features of diagrams that seem to be unique. One consists of the possibility of exhibiting the type of relation in a diagram—or simply showing that a relation exists—as a contrast to stating in words that it exists. The second is the spatial configurations possible when using diagrams, e.g., allowing to show multiple relations in a single diagram. (shrink)

This article discusses the role of diagrams in mathematical reasoning in the light of a case study in analysis. In the example presented certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures were replaced by reasoning about permutation groups. This article argues that, even though the diagrams are not present in the published papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept (...) formation as well as representations of proofs. In addition we note that 'visualization' is used in two different ways. In the first sense 'visualization' denotes our inner mental pictures, which enable us to see that a certain fact holds, whereas in the other sense 'visualization' denotes a diagram or representation of something. (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)

. This paper identifies two aspects of the structuralist position of S. Shapiro which are in conflict with the actual practice of mathematics. The first problem follows from Shapiros identification of isomorphic structures. Here I consider the so called K-group, as defined by A. Grothendieck in algebraic geometry, and a group which is isomorphic to the K-group, and I argue that these are not equal. The second problem concerns Shapiros claim that it is not possible to identify objects in a (...) structure except through the relations and functions that are defined on the structure in which the object has a place. I argue that, in the case of the definition of the so called direct image of a function, it is possible to individuate objects in structures. (shrink)

This paper takes as a starting point certain notions from Peirce's writings and uses them to propose a picture of the part of mathematical practice that consists of hypothesis formation. In particular, three processes of hypothesis formation are considered: abstraction, generalisation, and an abductive-like inference. In addition Peirce's pragmatic conception of truth and existence in terms of higher-order concepts are used in order to obtain a kind of pragmatic realist picture of mathematics.

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.

This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, necessarily true statements are true because they describe ‘unchangeable properties of unchangeable objects’. The result that I present is argued to provide a counterexample to this description, as it concerns a case where objects are moved from one category to another in order to change the properties of these objects. The second description concerns necessary (...) ‘structural properties’. Although I grant that mathematical statements could be considered as necessarily true in this sense, I question whether this justifies the claim that mathematics as a whole is necessary. (shrink)

This article takes as a starting point the current popular anti realist position, Fictionalism, with the intent to compare it with actual mathematical practice. Fictionalism claims that mathematical statements do purport to be about mathematical objects, and that mathematical statements are not true. Considering these claims in the light of mathematical practice leads to questions about how mathematical objects are handled, and how we prove that certain statements hold. Based on a case study on Riemann’s work on complex functions, I (...) propose that mathematicians deal with systems of representations and that truth—or what we can prove—depends on available representations in some context where the problem can be solved. (shrink)

From the perspective of mathematical practice, I examine positions claiming that mathematical objects are introduced by human agents. I consider in particular mathematical fictionalism and a recent position on social ontology formulated by Cole (2013, 2015). These positions are able to solve some of the challenges that non-realist positions face. I argue, however, that mathematical entities have features other than fictional characters and social institutions. I emphasise that the way mathematical objects are introduced is different and point to the multifaceted (...) role that relations and interconnections play in this context. Finally, I argue that mathematical entities can be considered to be pragmatically real. (shrink)

Representations, in particular diagrammatic representations, allegedly contribute to new insights in mathematics. Here I explore the phenomenon of a “free ride” and to what extent it occurs in mathematics. A free ride, according to Shimojima, is the property of some representations that whenever certain pieces of information have been represented then a new piece of consequential information can be read off for free. I will take Shimojima’s framework as a tool to analyse the occurrence and properties of them. I consider (...) a number of different examples from mathematical practice that illustrate a variety of uses of free rides in mathematics. Analysing these examples I find that mathematical free rides are sometimes based on syntactic and semantic properties of diagrams. (shrink)

This chapter presents an overview of the contributions to the section on Experimental Mathematics by focusing in particular on how they characterize the phenomenon of “experimental mathematics” and its origins. The second part presents two case studies illustrating how experimental mathematics is understood in contemporary analysis. The third section offers a systematic presentation of the contributions to the section.

The aim of this paper is to identify some of the motivations that can be found for taking a realist position concerning mathematical entities and to examine these motivations in the light of a case study in contemporary mathematics. The motivations that are found are as follows: (some) mathematicians are realists, mathematical statements are true, and finally, mathematical statements have a special certainty. These claims are compared with a result in algebraic topology stating that a certain sequence, the so-called Mayer-Vietoris (...) sequence, has different properties when placed in different categories. The conclusion is that the before mentioned motivations should be modified and it is suggested that they could also be explained by a position claiming that mathematical entities are introduced by mathematicians. (shrink)

This article focuses on particular ways in which visual representations contribute to the development of mathematical knowledge. I give examples of diagrammatic representations that enable one to observe new properties and cases where representations contribute to classification. I propose that fruitful representations in mathematics are iconic representations that involve conventional or symbolic elements, that is, iconic metaphors. In the last part of the article, I explain what these are and how they apply in the considered examples.