Bayesian inductive logic is constitutively defined by the use of prior probabilities over hypotheses...