Abstract

Carnap's system of inductive logic has very often been criticized on the ground that “degree of confirmation” is defined only for languages which are extremely over-simplified. Allegedly, it would be very difficult—and perhaps impossible—to define it adequately for languages formalized within the higher predicate calculi, or languages equivalent to these in richness, and it is such languages that would be needed were we ever to formalize the language of empirical science as a whole. Thus, this criticism bears not only on Carnap's work, but on all attempts to construct an exact analysis of induction from this particular standpoint; that is, from the standpoint of “logical measure functions.”