The programme here indicated of introducing improbability, and thus probability, by singling out a certain class of absolutely atomic statements (earlier sketched, for example, by Wittgenstein) has more recently been elaborated by Carnap in his Logical Foundations of Probability, in order to construct a theory of induction.