Abstract
AbstractThis paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of environments that promote interaction, hypothesis generation, examination, refutation, derivation of new solutions, drawing conclusions, and reasoning with others, as key factors in enhancing mathematical creativity. Drawing on argumentation logic, the paper proposes a novel approach to uncover specific characteristics in the development of formalized proving using “proof-events.” Argumentation logic can offer reasoning mechanisms that facilitate these environments. This paper proposes how argumentation can be implemented to discover certain characteristics in the development of formalized proving with “proof-events”. The concept of a proof-event was introduced by Goguen who described mathematical proof as a multi-agent social event involving not only “classical” formal proofs, but also other informal proving actions such as deficient or alleged proofs. Argumentation is an integral component of the discovery process for a mathematical proof since a proof necessitates a dialogue between provers and interpreters to clarify and resolve gaps or assumptions. By formalizing proof-events through argumentation, this paper demonstrates how informal reasoning and conflicts arising during the proving process can be effectively simulated. The paper presents an extended version of the proof-events calculus, rooted in argumentation theories, and highlights the intricate relationships among proof, human reasoning, cognitive processes, creativity, and mathematical arguments.
Funder
National Technical University of Athens
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Multidisciplinary
Reference59 articles.
1. Aberdein, A. (2005). The uses of argument in mathematics. Argumentation, 19(3), 287–301.
2. Aberdein, A. (2009). Mathematics and argumentation. Foundations of Science, 14, 1–8.
3. Aberdein, A., & Dove, I. J. (2013). The argument of mathematic. In: Logic, epistemology, and the unity of science. Springer, Dordrecht
4. Alcolea Banegas, J. (1998). L’argumentació en matemàtiques. In: E. Casaban iMoya (Ed.), XIIè Congrès Valencià de Filosofia. Valencià, (pp 135–147)
5. Almpani, S. (2022). Argumentation and rule-based logic in mathematical proving and legal artificial intelligence applications. [Doctoral dissertation, National Technical University of Athens, Greece, ND: 51572]. National Archive of PhD Theses, https://doi.org/10.12681/eadd/51572