Carnap's inductive logic uses confirmation functions satisfying Bayesian coherence without any commi...