The philosophy of the inductive sciences founded upon their history