Although there is much research exploring students' covariational reasoning, there is less research exploring the ways students can leverage such reasoning to coordinate more than two quantities. In this paper, we describe a system of covariational relationships as a comprehensive image of how two varying quantities, having the same attribute…

There is a longstanding conversation in the mathematics education literature about proofs that explain versus proofs that only convince. In this essay, we offer a characterization of explanatory proofs with three goals in mind. We first propose a theory of explanatory proofs for mathematics education in terms of representation systems. Then, we…

The act of explaining can help students to develop new understandings of mathematical ideas, construct rules for solving problems, become aware of misunderstandings or a lack of understanding and develop their mathematical communication. Their explanations can also offer opportunities for a teacher to understand more fully what the students are…

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…

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…

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…

Motivated by the observation that formal logic answers questions students have not yet asked, we conducted exploratory teaching experiments with undergraduate students intended to guide their reinvention of truth-functional definitions for basic logical connectives. We intend to reframe the relationship between reasoning and logic by showing how…

This paper is a commentary on the theoretical formulations of the five empirical papers in this special issue. All five papers use aspects of the theory of commognition as presented by Anna Sfard; however, even when the same notions (e.g., rituals or explorations) are incorporated into theoretical frameworks undergirding the research, these…

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…

Subtraction can be understood by two basic models--taking away (ta) and determining the difference (dd)--and by its inverse relation to addition. Epistemological analyses and empirical examples show that the two models are not relevant only in single-digit arithmetic. As curricula should be developed in a longitudinal perspective on mathematics…

Researchers have speculated that children find it more difficult to acquire conceptual understanding of the inverse relation between multiplication and division than that between addition and subtraction. We reviewed research on children and adults' use of shortcut procedures that make use of the inverse relation on two kinds of problems:…

Inversion is a fundamental relational building block both within mathematics as the study of structures and within people's physical and social experience, linked to many other key elements such as equilibrium, invariance, reversal, compensation, symmetry, and balance. Within purely formal arithmetic, the inverse relationships between addition and…

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

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…