# A framework for proofs and refutations in school mathematics: Increasing content by deductive guessing

- 764 Downloads
- 4 Citations

## Abstract

The process of proofs and refutations described by Lakatos is essential in school mathematics to provide students with an opportunity to experience how mathematical knowledge develops dynamically within the discipline of mathematics. In this paper, a framework for describing student processes of proofs and refutations is constructed using a set of heuristic rules formulated by Lakatos. A salient feature of this framework resides in the notion of increasing content by deductive guessing, which Lakatos considered to be one of the cores of proofs and refutations, where deductive reasoning is used to create a general conjecture that is true even for counterexamples of an earlier conjecture. Two case studies involving a pair of fifth graders and a pair of ninth graders are presented to illustrate that the notion of increasing content by deductive guessing is useful in examining student processes of generalisation of conjectures. The framework shown in this paper contributes to the current knowledge of mathematics education researchers about proof and proving by providing a tool to investigate how a proof can be used not only to establish the truth of a given statement but also to generate new mathematical knowledge.

## Keywords

Proof Refutation Counterexample Lakatos Heuristic rule Increasing content by deductive guessing## Notes

### Acknowledgments

I am grateful to Taro Fujita (University of Exeter, UK), the editor, and the anonymous reviewers for their valuable suggestions on earlier drafts of this paper. This study is supported by the Japan Society for the Promotion of Science (nos. 23330255 and 15H05402).

## References

- Balacheff, N. (1988). Aspects of proof in pupils’ practice of school mathematics (D. Pimm, Trans.). In D. Pimm (Ed.),
*Mathematics, teachers and children*(pp. 216–235). London: Hodder and Stoughton.Google Scholar - Balacheff, N. (1991). Treatment of refutations: Aspects of the complexity of a constructivist approach to mathematics learning. In E. von Glasersfeld (Ed.),
*Radical constructivism in mathematics education*(pp. 89–110). Dordrecht: Kluwer Academic Publishers.CrossRefGoogle Scholar - Boero, P., Garuti, R., Lemut, E., & Mariotti, M. A. (1996). Challenging the traditional school approach to theorems: A hypothesis about the cognitive unity of theorems. In L. Puig & A. Gutiérrez (Eds.),
*Proceedings of the 20th Conference of the International Group for the Psychology of Mathematics Education*(Vol. 2, pp. 113–120). Valencia, Spain.Google Scholar - Davis, P. J., & Hersh, R. (1981).
*The mathematical experience*. Boston: Birkhäuser.Google Scholar - Hanna, G. (1990). Some pedagogical aspects of proof.
*Interchange, 21*(1), 6–13.CrossRefGoogle Scholar - Harel, G., & Sowder, L. (1998). Students’ proof schemes: Results from exploratory studies. In A. H. Schoenfeld, J. Kaput, & E. Dubinsky (Eds.),
*Research in collegiate mathematics education*(Vol. III, pp. 234–283). Providence: American Mathematical Society.CrossRefGoogle Scholar - Herbst, P. (2005). Knowing about “equal area” while proving a claim about equal areas.
*Recherches en Didactique des Mathématiques, 25*(1), 11–56.Google Scholar - Inglis, M., Mejia-Ramos, J. P., & Simpson, A. (2007). Modelling mathematical argumentation: The importance of qualification.
*Educational Studies in Mathematics, 66*(1), 3–21.CrossRefGoogle Scholar - Komatsu, K. (2010). Counter-examples for refinement of conjectures and proofs in primary school mathematics.
*The Journal of Mathematical Behavior, 29*(1), 1–10.CrossRefGoogle Scholar - Komatsu, K. (2012). Lakatos’ heuristic rules as a framework for proofs and refutations in mathematical learning: Local-counterexample and modification of proof. In
*Pre-proceedings of the 12th International Congress on Mathematical Education*(pp. 2838–2847). Seoul, Korea.Google Scholar - Komatsu, K., & Sakamaki, A. (2014). Invention of new statements for counterexamples. In P. Liljedahl, S. Oesterle, C. Nicol, & D. Allan (Eds.),
*Proceedings of Joint Meeting of PME 38 and PME-NA 36*(Vol. 4, pp. 17–24). Vancouver, Canada.Google Scholar - Küchemann, D., & Hoyles, C. (2006). Influences on students’ mathematical reasoning and patterns in its development: Insights from a longitudinal proof study with particular reference to geometry.
*International Journal of Science and Mathematics Education, 4*(4), 581–608.CrossRefGoogle Scholar - Lakatos, I. (1976).
*Proofs and refutations: The logic of mathematical discovery*. Cambridge: Cambridge University Press.CrossRefGoogle Scholar - Lakatos, I. (1978).
*Mathematics, science and epistemology: Philosophical papers*(Vol. 2). Cambridge: Cambridge University Press.CrossRefGoogle Scholar - Lampert, M. (1990). When the problem is not the question and the solution is not the answer: Mathematical knowing and teaching.
*American Educational Research Journal, 27*(1), 29–63.CrossRefGoogle Scholar - Larsen, S., & Zandieh, M. (2008). Proofs and refutations in the undergraduate mathematics classroom.
*Educational Studies in Mathematics, 67*(3), 205–216.CrossRefGoogle Scholar - Mejia-Ramos, J. P., Fuller, E., Weber, K., Rhoads, K., & Samkoff, A. (2012). An assessment model for proof comprehension in undergraduate mathematics.
*Educational Studies in Mathematics, 79*(1), 3–18.CrossRefGoogle Scholar - Motterlini, M. (2002). Professor Lakatos between the Hegelian devil and the Popperian deep blue sea. In G. Kampis, L. Kvasz, & M. Stöltzner (Eds.),
*Appraising Lakatos: Mathematics, methodology and the man*(pp. 23–52). Dordrecht: Kluwer Academic Publishers.CrossRefGoogle Scholar - Pedemonte, B. (2007). How can the relationship between argumentation and proof be analyzed?
*Educational Studies in Mathematics, 66*(1), 23–41.CrossRefGoogle Scholar - Polya, G. (1957).
*How to solve it: A new aspect of mathematical method*(2nd ed.). Princeton: Princeton University Press.Google Scholar - Reid, D. A. (2002). Conjectures and refutations in grade 5 mathematics.
*Journal for Research in Mathematics Education, 33*(1), 5–29.CrossRefGoogle Scholar - Semadeni, Z. (1984). Action proofs in primary mathematics teaching and in teacher training.
*For the Learning of Mathematics, 4*(1), 32–34.Google Scholar - Stöltzner, M. (2002). What Lakatos could teach the mathematical physicist. In G. Kampis, L. Kvasz & M. Stöltzner (Eds.),
*Appraising Lakatos: Mathematics, methodology and the man*(pp. 157–187). Dordrecht: Kluwer Academic Publishers.CrossRefGoogle Scholar - Stylianides, A. J. (2007). Proof and proving in school mathematics.
*Journal for Research in Mathematics Education, 38*(3), 289–321.Google Scholar - Toulmin, S. (2003).
*The uses of argument (updated edition)*. Cambridge: Cambridge University Press.CrossRefGoogle Scholar - Weber, K., & Alcock, L. (2009). Proof in advanced mathematics classes: Semantic and syntactic reasoning in the representation system of proof. In D. A. Stylianou, M. L. Blanton, & E. J. Knuth (Eds.),
*Teaching and learning proof across the grades: A K-16 perspective*(pp. 323–338). New York: Routledge.Google Scholar - Yang, K. L., & Lin, F. L. (2008). A model of reading comprehension of geometry proof.
*Educational Studies in Mathematics, 67*(1), 59–76.CrossRefGoogle Scholar - Yim, J., Song, S., & Kim, J. (2008). The mathematically gifted elementary students’ revisiting of Euler’s polyhedron theorem.
*The Montana Mathematics Enthusiast, 5*(1), 125–142.Google Scholar - Zazkis, R., & Chernoff, E. J. (2008). What makes a counterexample exemplary?
*Educational Studies in Mathematics, 68*(3), 195–208.CrossRefGoogle Scholar