Introduction: What is a Logic of Discovery
“Logic” and “Discovery” are certainly very familiar notions. The term “logic of discovery” belonged originally to the philosophy of science; “philosophers of science have repeatedly mentioned the process of discovery of scientific hypotheses and the possibility or impossibility of formulating a logic for that process” (Buchanan 1966). The problem of the possibility of a logic of discovery takes on a new meaning as a problem of Artificial Intelligence ( c f. the preface and Buchanan 1966). In the present chapter we shall outline some basic notions of the philosophy of science in a form which will lead us on the one hand to a certain notion of logic of discovery and on the other to several mathematical notions.
KeywordsInference Rule Turing Machine Observational Statement Inductive Inference Theoretical Statement
Unable to display preview. Download preview PDF.