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