History of inductive reasoning