Умозаключение

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

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

Наиболее важной и обширной разновидностью демонстративных умозаключений являются дедуктивные умозаключения. Между их посылками и заключением имеет место отношение , т.е. сама логическая форма этих умозаключений обеспечивает сохранение истинности при выведении заключения из посылок. Хорошо известны такие дедуктивные умозаключения, как однопосылочные выводы силлогистики (обращение, превращение и др.), двухпосылочные простые категорические силлогизмы, многопосылочные силлогистические выводы (сориты), ряд умозаключений, выделяемых в рамках логики высказываний (напр., modus ponens, позволяющий переходить от посылок вида «Если A, то B» и «A» к заключению «B», modus tollendo ponens с посылками вида «А или В» и «Неверно, что А» и заключением «В» и т.п.).

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

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

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

Рекомендуемая литература

Бочаров В. А., Маркин В. И. Основы логики, М., 1994