There is renewed interest in the logic of discovery as well as in the position that there is no reason for philosophers to bother with it. This essay shows that the traditional, philosophical arguments for the latter position are bankrupt. Moreover, no interesting defense of the philosophical irrelevance or impossibility of the logic of discovery can be formulated or defended in isolation from computation-theoretic considerations.

The central concept of Carnap's probabilistic theory of induction is a triadic relation, c, the probability or degree of confirmation of the hypothesis, h, on evidence, e. The relation is a purely logical one. The value of c can be computed from a knowledge of h, of e, of the structure of the language, and of the inductive rule to be employed.