Умозаключения делятся на дедуктивные и индуктивные. Название «дедуктивные умозаключения» происходит от латинского слова deductio – выведение. Дедуктивные умозаключения представляют собой переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Важнейшая особенность дедуктивных умозаключений состоит в том, что от истинных посылок они всегда ведут только к  истинному заключению.

Особенно характерными для дедукции являются логические переходы от общего знания к частному. Например:

Все люди смертны.

Все греки – люди.

Следовательно, все греки смертны.

Нельзя, однако, безоговорочно отождествлять дедукцию с переходом от общего к частному. В умозаключении: «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть дедукция, но нет перехода от общего к частному.

Дедуктивные умозаключения принято делить на непосредственные и опосредованные.