carnap inductive logic