Deduction is the classic mode of inferring, typical in formal, logical systems.
Deduction is classically distinguished by its rule of modus ponens: $p; p \Rightarrow q; q$
This is how Sherlock Holmes and Spock did their thing.
However, it is quite limited because it cannot capture other very common and important inferencing methods.