• Journal of The Korean Association For Science Education
• /
• v.32 no.3
• /
• pp.486-501
• /
• 2012

The aims of this study are to investigate two main problems for the hypothetico-deduction method and to develop a scientific inquiry model to resolve these problems. The structure of this scientific inquiry model consists of accounts of the context of discovery and justification that the hypothetico-deduction holds as two main problems : 1) the heuristic flaw in the hypothetico-deduction method is that there is no limit to creating hypotheses to explain natural phenomena; 2) Logically, this brings into question affirming the consequent and modus tollens. The features of the model are as follows: first, the generation of hypotheses using an analogical abduction and the selection of hypotheses using consilience and simplicity; second, the expansion phase as resolution for the fallacy of affirming the consequent and the recycle phase as resolution for modus tollens involving auxiliary hypotheses. Finally, we examine the establishment process of Copernicus's Heliocentric Hypothesis and the main role of the history of science for the historical invalidity of this scientific inquiry model based on three examples of If/and/then type of explanation testing suggested by Lawson (International journal of science and Mathematics Education, 2005a, 3(1): 1-5) We claim that this hypotheticho-deduction process involving abduction approach produced favorable in scientific literacy rising for science teacher as well as students.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.5
• /
• pp.674-678
• /
• 2007

Baldwin defined the approximate reasoning using truth function mapping. In paper [4], we defined two truth function mappings and applied these truth function mappings to generalized modus ponens. In this paper, we introduce the results of generalized modus tollens using these two truth function mappings.