Содержание статьи
    Также по теме

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

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

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

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

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

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

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

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

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

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

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

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

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

    Литература

    Бочаров В.А., Маркин В.И. Основы логики. М., 1994
    Войшвилло Е.К., Дегтярев М.Г. Логика с элементами эпистемологии и научной методологии. М., 1994
    Брюшинкин В.Н. Логика: Учебник. 3-е изд., доп. и испр. М., Гардарики, 2001