On the philosophy of discovery, chapters historical and critical