Carnap:“Basic System,” Ditto Masters: §4 “Pure and Applied Inductive Logic,”