Умозаключение (Кузнецов, 2007)

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

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

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

___________

В

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

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

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

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

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

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

Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 601-602.