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)

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)

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)

Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.

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)

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)

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)

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 extend the literature on norms of assertion to the ubiquitous use of graphs in scientific papers and presentations, which I term “graphical testimony.” On my account, the testimonial presentation of a graph involves commitment to both (a) the in‐context reliability of the graph's framing devices and (b) the perspective‐relative accuracy of the graph's content. Despite apparent disagreements between my account and traditional accounts of assertion, the two are compatible and I argue that we should expect a similar pattern of (...) commitments in a set of cases that extends beyond the graphical one. I end by demonstrating that the account resolves apparent tensions between the demands of honesty and the common scientific practice of presenting idealized or simplified graphs: these “distortions” can be honest so long as there's the right kind of alignment between the distortion and the background beliefs and values of the audience. (shrink)

Philosophers have long debated the relative priority of thought and language, both at the deepest level, in asking what makes us distinctively human, and more superficially, in explaining why we find it so natural to communicate with words. The “linguistic turn” in analytic philosophy accorded pride of place to language in the order of investigation, but only because it treated language as a window onto thought, which it took to be fundamental in the order of explanation. The Chomskian linguistic program (...) tips the balance further toward language, by construing the language faculty as an independent, distinctively human biological mechanism. Devitt (Ignorance of language. Clarendon Press, Oxford, 2006) attempts to swing the pendulum back toward the other extreme, by proposing that thought itself is fundamentally sentential, and that there is little or nothing for language to do beyond reflecting the structure and content of thought. I argue that both thought and language involve a greater diversity of function and form than either the Chomskian model or Devitt’s antithesis acknowledge. Both thought and language are better seen as complex, mutually supporting suites of interacting abilities. (shrink)

In what way does a mathematical proof depend on the notation used in its presentation? This paper examines this question by analysing the computational differences, in the sense of Larkin and Simon's ‘Why a diagram is (sometimes) worth 10,000 words’, between diagrammatic and sentential notations as a means for presenting geometric proofs. Wittgenstein takes up the question of mathematical notation and proof in Section III of Remarks on the Foundations of Mathematics. After discussing his observations on a proof's ‘characteristic visual (...) shape’ in Section III with respect to arithmetical proofs, the paper shows how the notion of a characteristic visual shape illuminates the special effectiveness of diagrammatic notation in geometry. (shrink)

In, Jeremy Avigad makes a novel and insightful argument, which he presents as part of a defence of the ‘Standard View’ about the relationship between informal mathematical proofs and their corresponding formal derivations. His argument considers the various strategies by means of which mathematicians can write informal proofs that meet mathematical standards of rigour, in spite of the prodigious length, complexity and conceptual difficulty that some proofs exhibit. He takes it that showing that and how such strategies work is a (...) necessary part of any defence of the Standard View.In this paper, I argue for two claims. The first is that Avigad’s list of strategies is no threat to critics of the Standard View. On the contrary, this observational core of heuristic advice in Avigad’s paper is agnostic between rival accounts of mathematical correctness. The second is that that Avigad’s project of accounting for the relation between formal and informal proofs requires an answer to a prior question: what sort of thing is an informal proof? His paper havers between two answers. One is that informal proofs are ultimately syntactic items that differ from formal derivations only in completeness and use of abbreviations. The other is that informal proofs are not purely syntactic items, and therefore the translation of an informal proof into a derivation is not a routine procedure but rather a creative act. Since the ‘syntactic’ reading of informal proofs reduces the Standard View to triviality, makes a mystery of the valuable observational core of his paper, and underestimates the value of the achievements of mathematical logic, he should choose some version of the second option. (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)

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)

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)

In this paper we would like to attempt to shed some light on the way in which diagrams enter into the practice of ancient Greek geometrical analysis. To this end, we will first distinguish two main forms of this practice, i.e., trans-configurational and intra-configurational. We will then argue that, while in the former diagrams enter in the proof essentially in the same way they enter in canonical synthetic demonstrations, in the latter, they take part in the analytic argument in a (...) specific way, which has no correlation in other aspects of classical geometry. In intra-configurational analysis, diagrams represent in fact the result of a purely material gesture, which is not codified by any construction canon, but permitted only by the practice of the method of analysis and synthesis. (shrink)

A passage from Jody Azzouni’s article “The Algorithmic-Device View of Informal Rigorous Mathematical Proof” in which he argues against Hamami and Avigad’s standard view of informal mathematical proof with the help of a specific visual proof of 1/2+1/4+1/8+1/16+⋯=1 is critically examined. By reference to mathematicians’ judgments about visual proofs in general, it is argued that Azzouni’s critique of Hamami and Avigad’s account is not valid. Nevertheless, by identifying a necessary condition for the visual proof to be considered a proper proof (...) in the first place, and suggesting an appropriate way to establish its correctness, it is shown how Azzouni’s assessment of the epistemic process associated with the visual proof can turn out to be essentially correct. From this, it is concluded that although visual proofs do not constitute counterexamples to the standard view in the sense suggested by Azzouni, at least the visual proof mentioned above shows that this view does not cover all the ways in which mathematical truth can be justified. (shrink)