The development of the Hintikka program

years later Hintikka published a two-dimensional continuum of inductive probabil-ity measures (see Hintikka, 1966), and ten years later he announced an axiomatic system with K ≥2 parameters (see [Hintikka and Niiniluoto, 1976]). These new original results showed once and for all the possibility of systems of inductive logic where genuine universal generalizations have non-zero probabilities in an infinite universe. Hintikka not only disproved Karl Popper’s thesis that inductive logic is inconsistent (see [Popper, 1959; 1963]), but he also gave a decisive improve-ment of the attempts of Rudolf Carnap to develop inductive logic as the theory of partial logical implication (see [Carnap, 1945; 1950; 1952]). Hintikka’s measures have later found rich applications in semantic information theory, theories of con-firmation and acceptance, cognitive decision theory, analogical inference, theory of truthlikeness, and machine learning. The extensions and applications have re-confirmed — pace the early evaluation of Imre Lakatos [1974] — the progressive nature of this research program in formal methodology and philosophy of science. 1 INDUCTIVE LOGIC AS A METHODOLOGICAL RESEARCH PROGRA