Exploring the fruitfulness of diagrams in mathematics

Abstract

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 Danielle Macbeth (2014). 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 (resembling what it stands for) or as a metaphor (sharing some underlying structure). Secondly it represents certain relevant relations (that is, as an iconic diagram in Peirce's terminology). 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 * I especially thank Danielle Macbeth for comments on earlier versions of this paper. Furthermore I wish to thank the anonymous referees provided by Synthese for their helpful comments.1 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.

Virtue theory of mathematical practices: an introduction

“…In recent years, simplicity has drawn the attention of mathematicians and philosophers (McLarty 2007;Nelson 2007), and been the subject of both an edited volume and a special issue of Philosophical Transactions of The Royal Society (Kossak and Ording 2017;Hipólito and Kahle 2019). Fruitfulness has also attracted significant attention (Tappenden 2008;Yap 2011;Carter 2019) and purity has been the subject of multiple studies (Detlefsen and Arana 2011;Baldwin 2013;Ferreirós 2016). Historians of mathematics have traced appeals to purity in the conceptual foundations of mathematics back to the eighteenth century and beyond (Ferraro and Panza 2012).…”

The Logos Categorical Approach to Quantum Mechanics: II. Quantum Superpositions and Intensive Values

“…The quantum reality "behind the veil" -to use an expression from Bernard D'Espagnat (see e.g., [28])-is fully expressed by the formal representation provided in the PSA. 12 Accordingly, measurements only play an epistemic role; subjective choices -imposed by the complementarity principle-are not required in order to define the state of affairs. This resolution to the quantum riddle goes obviously against Bohr's famous claim that the most important epistemological lesson to be learnt from QM is that, we are not only spectators but also actors in the great drama of existence.…”

“…For an interesting analysis of the fruitfulness of diagrams with respect to the representation of mathematical abstract relations, see[12].…”

Diagrammatikus érvelés – a kétkedés vége?

“…Az Euler-diagramon a pont magát az egyes elemet (a kör alakú négyzetet) képviseli, a Venndiagram viszont inkább csak azt jelzi, hogy ez az elem létezik. Az utóbbi idők diagrammatikus rendszerei, például a pókháló-diagramok kifejezőbbek az egyes elemek reprezentációja szempontjából (lásd Moktefi-Pietarinen, 2015).4 A kapcsolatok diagrammatikus megjelenítéséről és ennek szerepéről a diagramok felhasználhatóságában lásdCarter, 2017. …”