Умозаключение (Фролов, 1991)

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 471.