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.




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