Abstract
AbstractThe 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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Textual materiality and abstraction in mathematics;Science in Context;2023-12-15
2. The philosophy of logical practice;Examining Philosophy Itself;2023-03-14
3. Fluid Mechanics for Philosophers, or Which Solutions Do You Want for Navier-Stokes?;SpringerBriefs in History of Science and Technology;2023
4. Signs as a Theme in the Philosophy of Mathematical Practice;Handbook of the History and Philosophy of Mathematical Practice;2023
5. The Design of Mathematical Language;Handbook of the History and Philosophy of Mathematical Practice;2023