History of scientific ideas, being the first part of the philosophy of the inductive sciences