Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений, связанных между собой, на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них.
Любое умозаключение состоит из посылок, заключения и вывода. Например:
Судья не может участвовать в рассмотрении дела, если он является потерпевшим (большая посылка).
Судья Н. — потерпевший (меньшая посылка).
Значит, он не может участвовать в рассмотрении дела (заключение).
Отношения логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во-первых, исходные суждения — посылки умозаключения должны быть истинными; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.
Умозаключения делятся на следующие виды.
1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, г. е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.
2. По характеру связи между знанием различной степени общности, выраженному в посылках и заключении, различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).