УМОЗАКЛЮЧЕНИЕ

Общая характеристика умозаключения

Более сложной формой человеческой мысли является умозаключение.

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

Таким образом, структура суждения включает:

• 1) посылки — исходные суждения;
• 2) заключение (вывод) — новое суждение;
• 3) логическую связь между посылками и заключением.

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

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

По направленности логического следования умозаключения делятся на два класса (рис. 29):

• 1) дедуктивные (достоверные);
• 2) недедуктивные (вероятностные).

Рис. 29

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

Недедуктивные умозаключения бывают двух видов:

• 1) индуктивные;
• 2) умозаключения по аналогии.

Дедуктивные (от лат. deductio — выведение) — умозаключения, у которых между посылками и выводом имеется отношение логического следования.

В основе дедукции лежит n-кратная импликация.

По числу исходных суждений дедуктивные умозаключения делятся на следующие виды:

• 1) непосредственные — дедуктивные умозаключения, которые строятся на основе одной посылки;
• 2) опосредованные — дедуктивные умозаключения, которые строятся на основе двух и более посылок; к опосредованным дедуктивным умозаключениям относятся простой категорический силлогизм, сложные силлогизмы, умозаключения из сложных суждений.

По виду исходных суждений дедуктивные умозаключения бывают двух видов:

1) дедуктивные умозаключения на основе простых суждений,

в которых учитывается внутренняя структура суждения;

2) дедуктивные умозаключения на основе сложных суждений,

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

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