Based on his theory of inductive logic sketched above, Carnap formalizes Goodman's notion of projectibility of a property "W" as follows: the higher the relative frequency of "W" in an observed sample, the higher is the probability that a non-observed individual has the property "W".