“deductive reasoning in human thinking”