The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Reasoning with diagrams is considered to be a peculiar form of reasoning. Diagrams are often associated with imagistic representations conveyed by spatial arrangements of lines, points, figures, or letters that can be manipulated to obtain knowledge on a subject matter. Reasoning with diagrams is not just ‘peculiar’ because reasoners use spatially arranged characters to obtain knowledge – diagrams apparently have cognitive surplus: they enable a quasi-intuitive form of knowledge. The present paper analyses the issue of diagrams’ cognitive value by enquiring (...) into the tradition of symbolic cognition developed by Leibniz, Lambert, and Kant. The proposal resulting from this enquiry is to question the idea that the cognitive value of diagrams lies solely in allowing evidence for inferences. The imaginative dimension of diagrams connects reasoning to doxastic attitudes of meditation and enquiry. (shrink)

In a 2022 paper, Hamami claimed that the orthodox view in mathematics is that a proof is rigorous if it can be translated into a derivation. Hamami then developed a descriptive account that explains how mathematicians check proofs for rigor in this sense and how they develop the capacity to do so. By exploring introductory texts in computability theory, we demonstrate that Hamami’s descriptive account does not accord with actual mathematical practice with respect to computability theory. We argue instead for (...) an alternative account in which imagination, anticipation, and interpretations of natural language play roles in establishing mathematical rigor. (shrink)

Traditional models of mathematical proof describe proofs as sequences of assertion where each assertion is a claim about mathematical objects. However, Tanswell observed that in practice, many proofs do not follow these models. Proofs often contain imperatives, and other instructions for the reader to perform mathematical actions. The purpose of this paper is to examine the role of instructions in proofs by systematically analyzing how instructions are used in Kunen’s Set theory: An introduction to independence proofs, a widely used graduate (...) text in set theory. I use Kunen’s text to describe how instructions and constructions in proof work in mathematical practice and explore epistemic consequences of how proofs are read and understood. (shrink)

In this paper, we wish to explore the role that textual representations play in the creation of new mathematical objects. We do so by analyzing texts by Joseph-Louis Lagrange (1736–1813) and Évariste Galois (1811–1832), which are seen as central to the historical development of the mathematical concept of groups. In our analysis, we consider how the material features of representations relate to the changes in conceptualization that we see in the texts.Against this backdrop, we discuss the idea that new mathematical (...) concepts, in general, are increasingly abstract in the sense of being detached from material configurations. Our analysis supports the opposite view. We suggest that changes in the material aspects of textual representations (i.e., the actual graphic inscriptions) play an active and crucial role in conceptual change.We employ an analytical framework adapted from Bruno Latour’s 1999 account of intertwined material and representational practices in the empirical sciences. This approach facilitates a foregrounding of the interconnection between the conceptual development of mathematics, and the construction, (re-)configuration, and manipulation of the materiality of representations. Our analysis suggests that, in mathematical practice, distinctions between the material and structural features of representations are not permanent and absolute. This problematizes the appropriateness of the distinction between concrete inscriptions and abstract relations in understanding the development of mathematical concepts. (shrink)

Charlotte Angas Scott (1858–1932) was an internationally renowned geometer, the first British woman to earn a doctorate in mathematics, and the chair of the Bryn Mawr mathematics department for forty years. There she helped shape the burgeoning mathematics community in the United States. Scott often motivated her research as providing a “geometric treatment” of results that had previously been derived algebraically. The adjective “geometric” likely entailed many things for Scott, from her careful illustration of diagrams to her choice of references (...) and citations. This article will focus on Scott’s striking and consistent use of geometric to describe a reality of dynamic points, lines, planes, and spaces that could be manipulated analogously to physical objects. By providing geometric interpretations of algebraic derivations, Scott committed to an early-nineteenth-century aesthetic vision of a “whole” analytical geometry that she adapted to modern research areas. (shrink)

The connection between understanding and explanation has recently been of interest to philosophers. Inglis and Mejía-Ramos (Synthese, 2019) propose that within mathematics, we should accept a functional account of explanation that characterizes explanations as those things that produce understanding. In this paper, I start with the assumption that this view of mathematical explanation is correct and consider what we can consequently learn about mathematical explanation. I argue that this view of explanation suggests that we should shift the question of explanation (...) away from why-questions and towards a “what’s going on here” question. Additionally, I argue that when we recognize the connection between understanding and explanation we naturally see how more than just proof can be explanatory. I expand this point by detailing how definitions and diagrams can be explanatory. In all, we see that when we take seriously the connection between understanding and explanation, we get a better sense of how explanation arises within mathematics. (shrink)

This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or (...) imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions. (shrink)

This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or (...) imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions. (shrink)

Mathematicians’ use of external representations, such as symbols and diagrams, constitutes an important focal point in current philosophical attempts to understand mathematical practice. In this paper, we add to this understanding by presenting and analyzing how research mathematicians use and interact with external representations. The empirical basis of the article consists of a qualitative interview study we conducted with active research mathematicians. In our analysis of the empirical material, we primarily used the empirically based frameworks provided by distributed cognition and (...) cognitive semantics as well as the broader theory of cognitive integration as an analytical lens. We conclude that research mathematicians engage in generative feedback loops with material representations, that they use representations to facilitate the use of experiences of handling the physical world as a resource in mathematical work, and that their use of representations is socially sanctioned and enabled. These results verify the validity of the cognitive frameworks used as the basis for our analysis, but also show the need for augmentation and revision. Especially, we conclude that the social and cultural context cannot be excluded from cognitive analysis of mathematicians’ use of external representations. Rather, representations are socially sanctioned and enabled in an enculturation process. (shrink)

Over the last century, there have been considerable variations in the frequency of use and types of diagrams used in mathematical publications. In order to track these changes, we developed a method enabling large-scale quantitative analysis of mathematical publications to investigate the number and types of diagrams published in three leading mathematical journals in the period from 1885 to 2015. The results show that diagrams were relatively common at the beginning of the period under investigation. However, beginning in 1910, they (...) were almost completely unused for about four decades before reappearing in the 1950s. The diagrams from the 1950s, however, were of a different type than those used earlier in the century. We see this change in publication practice as a clear indication that the formalist ideology has influenced mathematicians’ choice of representations. Although this could be seen as a minor stylistic aspect of mathematics, we argue that mathematicians’ representational practice is deeply connected to their cognitive practice and to the contentual development of the discipline. These changes in publication style therefore indicate more fundamental changes in the period under consideration. (shrink)

I argue that mathematical representations can have heuristic power since their construction can be ampliative. To this end, I examine how a representation introduces elements and properties into the represented object that it does not contain at the beginning of its construction, and how it guides the manipulations of the represented object in ways that restructure its components by gradually adding new pieces of information to produce a hypothesis in order to solve a problem.In addition, I defend an ‘inferential’ approach (...) to the heuristic power of representations by arguing that these representations draw on ampliative inferences such as analogies and inductions. In effect, in order to construct a representation, we have to ‘assimilate’ diverse things, and this requires identifying similarities between them. These similarities form the basis for ampliative inferences that gradually build hypotheses to solve a problem.To support my thesis, I analyse two examples. The first one is intra-field, that is, the construction of an algebraic representation of 3-manifolds; the second is inter-fields, that is, the construction of a topological representation of DNA supercoiling. (shrink)

This paper inquires the ways in which paper folding constitutes a mathematical practice and may prompt a mathematical culture. To do this, we first present and investigate the common mathematical activities shared by this culture, i.e. we present mathematical paper folding as a material reasoning practice. We show that the patterns of mathematical activity observed in mathematical paper folding are, at least since the end of the nineteenth century, sufficiently stable to be considered as a practice. Moreover, we will argue (...) that this practice is material. The permitted inferential actions when reasoning by folding are controlled by the physical realities of paper-like material, whilst claims to generality of some reasoning operations are supported by arguments from other mathematical idioms. The controlling structure provided by this material side of the practice is tight enough to allow for non-textual shared standards of argument and wide enough to provide sufficiently many problems for a practice to form. The upshot is that mathematical paper folding is a non-propositional and non-diagrammatic reasoning practice that adds to our understanding of the multi-faceted nature of the epistemic force of mathematical proof. We then draw on what we have learned from our contemplations about paper folding to highlight some lessons about what a study of mathematical cultures entails. (shrink)

Does the materiality of a three-dimensional model have an effect on how this model operates in an exploratory way, how it prompts discovery of new mathematical results? Material mathematical models were produced and used during the second half of the nineteenth century, visualizing mathematical objects, such as curves and surfaces—and these were produced from a variety of materials: paper, cardboard, plaster, strings, wood. However, the question, whether their materiality influenced the status of these models—considered as exploratory, technical, or representational—was hardly (...) touched upon. This article aims to approach this question by investigating two case studies: Beltrami’s paper models vs. Dyck’s plaster ones of the hyperbolic plane; and Chisini’s string models of braids vs. Artin’s and Moishezon’s algebraization of these braids. These two case studies indicate that materiality might have a decisive role in how the model was taken into account mathematically: either as an exploratory or rather as a technical or pedagogical object. (shrink)

As is well known, it was only in 1926 that a comprehensive mathematical theory of braids was published—that of Emil Artin. That said, braids had been researched mathematically before Artin’s treatment: Alexandre Theophile Vandermonde, Carl Friedrich Gauß and Peter Guthrie Tait had all attempted to introduce notations for braids. Nevertheless, it was only Artin’s approach that proved to be successful. Though the historical reasons for the success of Artin’s approach are known, a question arises as to whether other approaches to (...) deal with braids existed, approaches that were developed after Artin’s article and were essentially different from his approach. The answer, as will be shown, is positive: Modesto Dedò developed in 1950 another notation for braids, though one, which was afterward forgotten or ignored. This raises a more general question: what was the role of Artin’s notation, or, respectively, Dedò’s, that enabled either the acceptance or the neglect of their theories? More philosophically, can notation be an epistemic technique, prompting new discoveries, or rather, can it also operate an as obstacle? The paper will analyze the method introduced by Dedò to notate braids, and also its history and implications. It aims to show that Dedò, in contrast to Artin, focused on factorizations of braids and the algebraic relations between the operations done on these factorizations. Dedò’s research was done against the background of Oscar Chisini’s research of algebraic curves on the one hand and of Artin’s successful notation of braids on the other hand. Taking this into account, the paper will in addition look into the epistemic role of notation, comparing Dedò’s work with Artin’s, as both presented different notations of braids and their deformations. (shrink)

Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance for a (...) taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations. I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing an explication of diagrams, I explain certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading. (shrink)

Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I show that (...) diagrams form genuine notational systems, and I argue that this explains why they can play a role in the inferential structure of proofs without undermining their reliability. I then consider whether diagrams can be essential to the proofs in which they appear. (shrink)

Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I (...) address two criticisms that have been raised in Tatton-Brown against our approach: that it leads to a form of relativism according to which validity is equated with social agreement and that it implies an antiformalizability thesis according to which it is not the case that all rigorous mathematical proofs can be formalized. I reject both criticisms and suggest that our previous case studies provide insight into the plausibility of two related but quite different theses. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

The role of audiences in mathematical proof has largely been neglected, in part due to misconceptions like those in Perelman and Olbrechts-Tyteca which bar mathematical proofs from bearing reflections of audience consideration. In this paper, I argue that mathematical proof is typically argumentation and that a mathematician develops a proof with his universal audience in mind. In so doing, he creates a proof which reflects the standards of reasonableness embodied in his universal audience. Given this framework, we can better understand (...) the introduction of proof methods based on the mathematician’s likely universal audience. I examine a case study from Alexander and Briggs’s work on knot invariants to show that we can fruitfully reconstruct mathematical methods in terms of audiences. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)