History of abductive reasoning