In mathematics education research, proofs are often conceptualized as sequences of mathematical assertions. We argue that this ignores proofs that contain instructions to perform mathematical actions, often in the form of imperatives, which are common both in mathematical practice and in undergraduate mathematics textbooks. We consider in detail a…

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'…

This paper is a case study of the teaching of an undergraduate abstract algebra course, in particular the way the instructor presented proofs. It describes a framework for proof writing based on Selden and Selden (2009) and the work of Alcock (2010) on modes of thought that support proof writing. The paper offers a case study of the teaching of a…

In the field of human cognition, language plays a special role that is connected directly to thinking and mental development (e.g., Vygotsky, "1938"). Thanks to "verbal thought", language allows humans to go beyond the limits of immediately perceived information, to form concepts and solve complex problems (Luria, "1975"). So, it appears language…

This study aims to investigate a construct of reading comprehension of geometry proof (RCGP). The research aims to investigate (a) the facets composing RCGP, and (b) the structure of these facets. Firstly, we conceptualize this construct with relevant literature and on the basis of the discrimination between the logical and the epistemic meanings…

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…