A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract)
Jingde Cheng · 1999
) Jingde Cheng Department of Computer Science and Communication Engineering Kyushu University, 6-10-1 Hakozaki, Fukuoka, 812-8581, Japan [email protected] Abstract. This paper presents some significant fundamental observations and/or assumptions on scientific discovery processes and their automation, shows why classical mathematical logic, its various classical conservative extensions, and traditional (weak) relevant logics cannot satisfactorily underlie epistemic processes in scientific discovery, and presents a strong relevant logic model of epistemic processes in scientific discovery. 1 Introduction Any scientific discovery must include an epistemic process to gain knowledge of or to ascertain the existence of some empirical and/or logical conditionals previously unknown or unrecognized. As an applied and/or technical science, Computer Science should provide scientists with some epistemic representation, description, reasoning, and computing tools for supporting the scient...