Educational Studies in Mathematics

, Volume 92, Issue 2, pp 147–162

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



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.


Proof Refutation Counterexample Lakatos Heuristic rule Increasing content by deductive guessing 

Copyright information

© Springer Science+Business Media Dordrecht 2016

Authors and Affiliations

  1. 1.Institute of EducationShinshu UniversityNagano CityJapan

Personalised recommendations