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

5.1. Умозаключение как логическая форма мышления. Виды умозаключений.

5.2. Дедуктивные умозаключения.

5.3. Индуктивные умозаключения и умозаключения по аналогии.

5.1. Умозаключение как логическая форма мышления

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

Структура умозаключения.

Умозаключение представляет собой упорядоченную совокупность суждений. В составе умозаключений выделяют:

1. ​ Посылки - исходные суждения (одно, два и более).

2. ​ Заключение- это новое суждение, выводящееся из посылок.

3. ​ Логическая связь между посылками и заключением – вывод.

Посылками обычно являются суждения, стоящие после слов так, как, потому, что и т.д. Заключение как правило стоит после слов, следовательно, значит, поэтому. Связь между посылками и заключением носит содержательный характер, схематически может выражаться чертой между посылками и заключением.

Например, умозаключение “Береза – растение, так как она дерево, а все деревья растения” схематически может быть представлено следующим образом:

Посылки: Все деревья - растения

Береза – дерево

Заключение: Береза - растение

Виды умозаключений.

Традиционно выделяют три основных вида умозаключений - по направленности вывода:

1. ​ Дедуктивные (от общего к частному).

2. ​ Индуктивные (о т частного к общему).

3. ​ Умозаключения по аналогии (от частного к частному).

Наряду с традиционным делением в современной логике различие в основном проводят по строгости вывода: различают демонстративные инедемонстративные (правдоподобные рассуждения). В демонстративных выводах заключение логически следует из посылок. Между посылками и заключением существует логическое следование в том и только том случае, если из истинных посылок с необходимостью выводится истинное заключение. Заключение будет логически следовать из посылок в том случае, если оно будет осуществляться на основе правил вывода, основано на законах логики. Такие выводы называют также логически корректными. Логическая корректность вывода может быть проверена методом таблиц. Истинность вывода предполагает также истинность посылок. Если установлено, что посылки истинны, в этом случае можно говорить о надежности вывода.

В современной логике правила вывода представляют собой формализованные системы. Различают правила прямого и косвенного вывода.

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

5.2. Дедуктивные умозаключения

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

a b, a - демонстративное (дедуктивное) умозаключение;

b

“Если Иванов совершил должностное преступление, то он привлекается к уголовной ответственности. Иванов привлекается к уголовной ответственности. Следовательно он совершил должностное преступление”.

a b, b - вероятностное умозаключение.

вер. a

Среди дедуктивных умозаключений можно выделить выводы логики высказываний (посылки - сложные суждения) и выводы из простых суждений. В последних затрагивается внутренняя субъектно-предикатная структура суждений. К выводам из простых суждений относятся прежде всего:

*​ непосредственные умозаключения;

*​ категорический силлогизм и его формы;

В этих умозаключениях посылками и заключением являются простые категорические суждения.