Logic: Probability and inductive reasoning