Abstract
AbstractWe discuss conceptual change and progress within mathematics, in particular how tools, structural concepts and representations are transferred between fields that appear to be unconnected or remote from each other. The theoretical background is provided by the frame concept, which is used in linguistics, cognitive science and artificial intelligence to model how explicitly given information is combined with expectations deriving from background knowledge. In mathematical proofs, we distinguish two kinds of frames, namely structural frames and ontological frames. The interaction between both kinds of frames can drive mathematical interpretation. We first discuss two examples where structural frames (formulaic notation) drive ontological development (the discovery or exploration of mathematical objects). The development of Boole’s Boolean algebra may at first appear as a metaphorical treatment of the (then) new area of logic. In the analysis, we discuss how different (aspects of) certain algebraic frames change in the transfer, how arising difficulties are solved and overall argue that Boole uses the numerical algebra frame as a research template for the discovery of a system for calculations in logic. Following Ifrah, we analyse the discovery of zero as an extension to the number ontology as driven by the development of notation. Both structural and ontological frames are extended and simplified as notation progresses. Finally, we discuss two examples from infinite combinatorics, viz. topological graph theory, and one foundational issue. In both examples, the two simultaneous frames about one object are maintained independently. They motivate different research questions, but may also fruitfully interact: shifting between multiple synchronously maintained perspectives acts as a motor of innovation. The analysis shows how a frame-based approach allows to model how different perspectives drive mathematical innovation because they highlight different aspects, questions and heuristics.
Funder
Universität Duisburg-Essen
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference65 articles.
1. Avigad, J. (2008). Understanding mathematical proofs. In P. Mancosu (Ed.), The philosophy of mathematical practice (pp. 317–353). Oxford University Press.
2. Benacerraf, P. (1973). Mathematical truth. The Journal of Philosophy, 70(19), 661–679.
3. Biggs, N. (1993). Algebraic graph theory (2nd ed.). Cambridge: Cambridge Mathematical Library. Cambridge University Press.
4. Blume, A. (2011). Maya concepts of zero. Proceedings of the American Philosophical Society, 155, 51–88.
5. Boole, G. (1847). The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning. Macmillan, Barclay, & Macmillan. reprinted, Basil Blackwell, 1951.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献