Introduction: What is a Logic of Discovery

  • Petr Hájek
  • Tomáš Havránek
Part of the Universitext book series (UTX)


“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.


Inference Rule Turing Machine Observational Statement Inductive Inference Theoretical Statement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Petr Hájek
    • 1
  • Tomáš Havránek
    • 2
  1. 1.Mathematical InstituteCzechoslovak Academy of SciencesPrahaCzechoslovakia
  2. 2.Department of BiomathematicsCzechoslovak Academy of SciencesPrahaCzechoslovakia

Personalised recommendations