Advertisement

Synthese

pp 1–22 | Cite as

Exploring the fruitfulness of diagrams in mathematics

  • Jessica CarterEmail author
Article

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 Macbeth (Realising reason. A narrative of truth & knowing, Oxford University Press, Oxford, 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 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.

Keywords

Diagrams in mathematical reasoning Fruitfulness Semiotics Philosophy of mathematical practice 

References

  1. Carter, J. (2010). Diagrams and proofs in analysis. International Studies in the Philosophy of Science, 24, 1–14.CrossRefGoogle Scholar
  2. Carter, J. (2012a). The role of representations in mathematical reasoning. Philosophia Scientiae, 16(1), 55–70.CrossRefGoogle Scholar
  3. Carter, J. (2012b). The role of representations for understanding. Notae Philosophicae Scientiae Formalis, 1(2), 135–147.Google Scholar
  4. Carter, J. (forthcoming). Graph-algebras—Faithful representations and mediating objects in mathematics. To appear in the special issue ‘Tools of reason: The practice of scientific diagramming from antiquity to the present’ in the journal Endeavour.Google Scholar
  5. Catton, P., & Montelle, C. (2012). To diagram, to demonstrate: To do, to see, and to judge in Greek geometry. Philosophia Mathematica, 20, 25–57.CrossRefGoogle Scholar
  6. De Toffoli, S., & Giardino, V. (2015). An Inquiry into the practice of proving in low-dimensional topology. In G. Lolli, et al. (Eds.), From logic to practice. Italian studies in the philosophy of mathematics. Boston studies in the philosophy and history of science (Vol. 308, pp. 315–336). Basel: Springer.Google Scholar
  7. Euclid (1956). The thirteen books of Euclid’s Elements. Translated with introduction and commentary by Sir Thomas L. Heath. 2nd edition unabridged. New York: Dover Publications, Inc.Google Scholar
  8. Giaquinto, M. (2007). Visual thinking in mathematics. Oxford: Oxford University Press.CrossRefGoogle Scholar
  9. Grosholz, E. (2007). Representation and productive ambiguity in mathematics and the sciences. New York: Oxford University Press.Google Scholar
  10. Haagerup, U., & Thorbjørnsen, S. (1999). Random matrices and K-theory for exact \(C^*-\)algebras. Documenta Mathematica, 4, 341–450.Google Scholar
  11. Hungerford, T. W. (1997). Abstract algebra: An introduction (2nd ed.). Orlando, FL: Saunders College Publishing.Google Scholar
  12. Macbeth, D. (2010). Diagrammatic reasoning in Euclid’s Elements. In B. Van Kerkhove, J. De Vuyst, & J. P. Van Bendegem (Eds.), Philosophical perspecives on mathematical practice (pp. 235–267). Milton Keynes: College Publications.Google Scholar
  13. Macbeth, D. (2014). Realising reason. A narrative of truth & knowing. Oxford: Oxford University Press.CrossRefGoogle Scholar
  14. Mancosu, P. (2005). Visualisation in logic and in mathematics. In P. Mancosu, K. F. Jørgensen, & S. A. Pedersen (Eds.), Visualization, explanation and reasoning styles in mathematics (pp. 13–30). Dordrecht: Springer.CrossRefGoogle Scholar
  15. Manders, K. (1999). Euclid or Descartes? Representation and responsiveness. Unpublished draft.Google Scholar
  16. Manders, K. (2008). The Euclidean diagram. In P. Mancosu (Ed.), The philosophy of mathematical practice (pp. 80–133). New York: Oxford University Press.Google Scholar
  17. Netz, R. (1999). Shaping of deduction in Greek mathematics. West Nyack, NY: Cambrigde University Press.CrossRefGoogle Scholar
  18. Peirce, C. S. (1965–1967). Collected papers of Charles Sanders Peirce. Edited by Charles Hartshorne and Paul Weiss. Volumes I–IV third printing. Cambridge, Massachusetts: The Belknap Press of Harvard University Press.Google Scholar
  19. Tappenden, J. (2005). Proof style and understanding in mathematics I: Visualization, unification and axiom of choice. In P. Mancosu, K. F. Jørgensen, & S. A. Pedersen (Eds.), Visualization, explanation and reasoning styles in mathematics (pp. 147–214). Dordrecht: Springer.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V., part of Springer Nature 2017

Authors and Affiliations

  1. 1.Department of Mathematics and Computer ScienceUniversity of Southern DenmarkOdenseDenmark

Personalised recommendations