Дедуктивные и индуктивные умозаключения

Умозаключение есть логическая (мыслительная) операция (процедура), состоящая в получении нового суждения (высказывания, утверждения) из одного или нескольких ранее известных суждений. Ранее известные суждения, входящие в состав умозаключения, называются его посылками, а новое суждение называется его следствием (или заключением). С содержательной точки зрения умозаключение есть переход от уже имеющегося (наличного) знания к новому знанию. С формальной точки зрения умозаключение есть переход от посылок к следствию. В логике умозаключение принято представлять в виде фигуры, в которой посылки записаны одна под другой и отделены горизонтальной чертой, под которой записано следствие. Рассуждение есть последовательность умозаключений, причем посылками последующих умозаключений служат следствия предыдущих умозаключений данной последовательности.

Умозаключения делятся на дедуктивные и индуктивные. Расхожим является мнение о том, что дедуктивные умозаключения — это "умозаключения от общего к частному", а индуктивные — "от частного к общему". Эти "определения" лишь в самых общих чертах характеризуют, в частности, дедуктивные умозаключения. Это одно приведенное свойство еще не является для них определяющим. Дедуктивное умозаключение, прежде всего, основано на анализе формальной (логической) структуры посылок и следствия, индуктивное умозаключение основано на анализе их содержания.

Рассмотрим и проанализируем следующие примеры.

Пример 7.3.

"Если четырехугольник является квадратом, то его диагонали равны"; "Четырехугольник — квадрат". ____________________________________________________________ "Диагонали четырехугольника равны".

Пример 7.5.

"Дуб — лиственное дерево"; "Береза — лиственное дерево"; "Липа — лиственное дерево". ______________________________________________________________________________ "Все деревья — лиственные.

Пример 7.6.

"Обь замерзает зимой"; "Енисей замерзает зимой"; "Лена замерзает зимой". _________________________________________________________________ "Все сибирские реки замерзают зимой".

В примере 7.3 сделаем соответствующие выводы исходя из анализа формальной структуры посылок и следствия, фактически не обращая внимания на их содержание. Более того, с точки зрения логики эти умозаключения представляются одинаковыми, несмотря на то что не имеют между собой ничего общего по содержанию. Это типичные примеры дедуктивных умозаключений. В то же время, переходя от посылок к следствиям в умозаключениях примеров 7.5 и 7.6, мы не можем отвлечься от их содержания. И хотя эти умозаключения также имеют одинаковую структуру, анализ их содержания приводит нас к построению неверного умозаключения. Дело в том, что все посылки каждого из этих умозаключений истинны, но вывод истинен только в примере 7.6, а в примере 7.5 он ложен. Таким образом, умозаключения примеров 7.5 и 7.6 не носят дедуктивный характер, они не основаны на анализе формальной структуры умозаключения, на строгих законах формальной логики. Это — индуктивные умозаключения. Их изучение не входит в задачу формальной логики. Еще более ярким примером индуктивного умозаключения, в котором связь между посылками и следствием является связью не по логической форме, а по содержанию, является следующее умозаключение.