Приглашаем посетить сайт
УМОЗАКЛЮЧЕНИЕ
УМОЗАКЛЮЧЕНИЕ - логич. форма получения выводного знания (см. Вывод), состоящая в переходе от определенных исходных данных к новому знанию, вытекающему из этих данных. Структуру У. составляет непустое (причем, обычно небольшое по числу элементов) множество исходных суждений (высказываний), называемых посылками, или основаниями, У. и логически следующее из них суждение (высказывание), называемое заключением, или следствием У. Необходимым условием правильности всякого У. является выполнение требования: если посылки У. истинны, то должно быть истинно и заключение. Выполнение этого требования достигается построением У. соответственно определенным логич. законам и правилам (см. Мышления законы, Правило вывода), что, собственно, и означает логич. следование заключения из исходных данных У.
У. описываются и изучаются в логике. Современная (теоретическая, символическая) логика представляет собой совокупность различных формально логич. систем (см. Формальная логика), средствами к-рых и моделируются У. различных типов. К У. одного и того же типа естественно относить У., описываемые в одной и той же логич. системе, а У., описываемые в различных логич. системах, считать У. разных типов (впрочем, этот критерий относителен, т.к. одно и то же У., вообще говоря, возможно описывать средствами различных логич. систем. См. Форма логическая). С этой т. зр., наиболее общим делением У. является их подразделение на дедуктивные и индуктивные, соответствующее аналогичному фундаменталь-ному разделению систем логики (см. Дедукция, Логика индуктивная). В дедуктивной логике, далее, выделяются силлогистические, модальные, вероятностные и др. типы У.; подразделяются на типы У. и в индуктивной логике. Если в данной логич. системе У. совершаются по одним и тем же логич. законам и правилам, то они считаются У. одинаковой логич. формы; различие же в используемых логич. законах и правилах свидетельствует о различии логич. формы соответствующих У.
В естественном содержат. мышлении нек-рые из посылок У. часто явно не формулируются; в еще большей мере это касается тех логич. законов и правил, к-рые лежат в основе данного У. Это создает возможность неправильных (ошибочных) У. Собственно, этим и объясняется задача формально логич. анализа У., выявления и уточнения их формы. Средства логич. теории и служат для отличения правильных У. от неправильных, что способствует предупреждению и исправлению логических ошибок. Логич. анализ У. нужен и потому, что У. составляют элементарные звенья цепочек разного рода рассуждений и доказательств (см. Доказательство в формальной логике), а условием правильности последних является не только истинность их оснований, но и правильность каждого У., входящего в эти рассуждения или доказательства. См. также ст. Неполная индукция, Непосредственное умозаключение, Несиллогистические умозаключения, Обращение, Превращение.
Лит.: Челпанов Г. И., Учебник логики, М., 1946; Асмус В. Ф., Логика, М., 1947; его же, Учение логики о доказательстве и опровержении, М., 1954; Τарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Горский Д. П., Логика, 2 изд., М., 1963; Чёрч Α., Введение в математическую логику, пер. с англ., т. 1, М., 1960.
А. Субботин. Москва.