A process of reasoning in which a conclusion is drawn from a set of premises. Usually confined to cases in which the conclusion is supposed to follow from the premises, i.e. the inference is logically valid. See also logical calculus, model theory, proof theory. In spite of his own claims, Sherlock Holmes’s methods were not typically deductive, but rather exercises of abduction.