History of deductive reasoning