Options of Discovering and Verifying Mathematical Theorems – Task-design from a Philosophic-logical Point of View

Mathematical theorems can be discovered and verified in different ways. The philosophical logic provides a conceptual understanding of these processes and helps to distinguish different options of initiating them. These options are established by analyzing different textbooks and describe the possibilities of the discovery and (empirical) verification of mathematical knowledge.

[1]  Minoru Ohtani,et al.  Task Design In Mathematics Education , 2015 .

[2]  H. Reichenbach.  Experience And Prediction , 1938 .

[3]  H. T. Olander,et al.  The effectiveness of discovery and expository methods in the teaching of fourth-grade mathematics. , 1973 .

[4]  Bettina Pedemonte,et al.  How can the relationship between argumentation and proof be analysed? , 2007 .

[5]  K. T. Fann.  Peirce's theory of abduction , 1970 .

[6]  L. Magnani.  Abduction, Reason, and Science. Process of Discovery and Explanation , 2001 .

[7]  Designing Tasks for Engaging Students in Active Knowledge Organization , 2013 .

[8]  D. Reid,et al.  The role of abduction in proving processes , 2011 .

[9]  Michael Meyer.  Abduction—A logical view for investigating and initiating processes of discovering mathematical coherences , 2010 .

[10]  M. Meyer.  Entdecken und Begründen im Mathematikunterricht — Zur Rolle der Abduktion und des Arguments , 2007 .

[11]  William Henry Winch.  Inductive versus deductive methods of teaching , 1913 .

[12]  J. Bruner.  The act of discovery. , 1961 .

[13]  Minoru Ohtani,et al.  Frameworks and Principles for Task Design , 2015 .

[14]  Jessica Kunsteller.  Developing Rules Due to the Use of Family Resemblances in Classroom Communication , 2018 .

[15]  Anne Watson,et al.  Task design in mathematics education : an ICMI study 22 , 2015 .

[16]  G. Pólya,et al.  Mathematics and Plausible Reasoning , 1956 .

[17]  Hans Freudenthal,et al.  Revisiting mathematics education : China lectures , 1991 .

[18]  Ulrich Oevermann,et al.  21. Structures of Meaning and Objective Hermeneutics , 1987 .

[19]  Gerhard Schurz,et al.  Patterns of abduction , 2008, Synthese.

[20]  Michael H. G. Hoffmann,et al.  Problems with Peirce's Concept of Abduction , 1999 .