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.

Induction, Abduction, Innoduction