A proof is a connected sequence of assertions that includes a set of accepted statements, forms of reasoning and modes of representing arguments. Assuming reasoning to be central to proving and aiming to develop knowledge about how teacher actions may promote students' mathematical reasoning, we conduct design research where whole-class…

The concept of "proof" has attracted considerable research attention over the past decades in part due to its indisputable importance to the discipline of mathematics and to students' learning of mathematics. Yet, the teaching and learning of proof is an instructionally arduous territory, with proof being recognized as a hard-to-teach…

In contrast to existing research that has typically addressed the process from example generation to proof construction, this study aims at enhancing empirical examination after proof construction leading to revision of statements and proofs in secondary school geometry. The term "empirical examination" refers to the use of examples or…

This paper offers a typology of forms and uses of abduction that can be exploited to better analyze abduction in proving processes. Based on the work of Peirce and Eco, we describe different kinds of abductions that occur in students' mathematical activity and extend Toulmin's model of an argument as a methodological tool to describe students'…

Although proof comprehension is fundamental in advanced undergraduate mathematics courses, there has been limited research on what it means to understand a mathematical proof at this level and how such understanding can be assessed. In this paper, we address these issues by presenting a multidimensional model for assessing proof comprehension in…

In his 1976 book, "Proofs and Refutations," Lakatos presents a collection of case studies to illustrate methods of mathematical discovery in the history of mathematics. In this paper, we reframe these methods in ways that we have found make them more amenable for use as a framework for research on learning and teaching mathematics. We present an…

The paper presents a characterisation about argumentation and proof in mathematics. On the basis of contemporary linguistic theories, the hypothesis that proof is a special case of argumentation is put forward and Toulmin's model is proposed as a methodological tool to compare them. This model can be used to detect and analyse the structure of an…

In this paper, we distinguish between two ways that an individual can construct a formal proof. We define a syntactic proof production to occur when the prover draws inferences by manipulating symbolic formulae in a logically permissible way. We define a semantic proof production to occur when the prover uses instantiations of mathematical…