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

УМОЗАКЛЮЧЕНИЕ – простейший вид рассуждения, представляющий собой непосредственный переход от одного или нескольких высказываний A₁, A₂,…, A_n (n і 1), называемых посылками, к высказыванию B, называемому заключением. В логике умозаключение принято формулировать следующим образом:

УМОЗАКЛЮЧЕНИЕ – простейший вид рассуждения, представляющий собой непосредственный переход от одного или нескольких высказываний A₁, A₂,…, A_n (n і 1), называемых посылками, к высказыванию B, называемому заключением. В логике умозаключение принято формулировать следующим образом:

где над чертой записываются посылки, под чертой – заключение, а сама черта выражает акт выведения заключения из посылок. Часто вместо черты используется знак , и тогда умозаключение формулируется как A₁, A₂,…, A_n B. Примером умозаключения является знаменитое рассуждение халифа Омара, которое, согласно легенде, послужило причиной сожжения Александрийской библиотеки:

«Если ваши книги согласны с Кораном, то они излишни.

Если же ваши книги не согласны с Кораном, то они вредны.

Но вредные или излишние книги следует уничтожить.

Поэтому ваши книги следует уничтожить.»

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

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

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

См. также ЛОГИКА; НЕПРЯМЫЕ УМОЗАКЛЮЧЕНИЯ; ПРЯМЫЕ УМОЗАКЛЮЧЕНИЯ.

Владимир Васюков