УМОЗАКЛЮЧЕНИЕ

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

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

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

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

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

В. И. Маркин