Умозаключение (НФЭ, 2010)

УМОЗАКЛЮЧЕНИЕ — процедура непосредственного выведения некоторого высказывания из одного или нескольких высказываний. Высказывания, из которых делается вывод, называют посылками умозаключения, а высказывание, которое выводится из посылок, — заключением. Умозаключение представляет собой познавательный прием, с помощью которого осуществляется преобразование содержащейся в посылках информации. Оно является простейшей разновидностью рассуждения — процедуры обоснования высказывания посредством пошагового выведения его из других высказываний; в умозаключении переход от аргументов (их роль играют посылки) к обосновываемому тезису (заключению) происходит в один шаг. В логике умозаключение принято формулировать следующим образом:

А1, А2,..., Аn

_________

В

где над чертой записываются посылки, под чертой — заключение, а сама черта выражает акт выведения заключения из посылок.

По степени обоснованности выведения заключения из посылок умозаключения принято делить на демонстративные и недемонстративные. В демонстративных умозаключениях одновременная истинность посылок обеспечивает получение истинного заключения, информация заключения составляет в них часть совокупной информации посылок. В недемонстративных умозаключениях, напротив, при переходе от посылок к заключению имеет место приращение информации, однако одновременная истинность посылок не гарантирует истинности заключения.

Наиболее важной и обширной разновидностью демонстративных умозаключений являются дедуктивные умозаключения. Между их посылками и заключением имеет место отношение логического следования, т. е. сама логическая форма этих умозаключений обеспечивает сохранение истинности при выведении заключения из посылок.

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

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

В. И. Маркин

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. IV, с. 134.