Умозаключения и их виды
    Разделительно-категорическое умозаключение.
    В данном виде дедуктивных умозаключений одна посылка - разделительное суждение, а вторая и вывод - категорические. Причем в категорическую посылку входит одна из альтернатив (или все, кроме одной) разделительного суждения.
    Разделительно-категорическое умозаключение имеет два модуса:
    1) утверждающе-отрицательный;
    2) отрицательно-утверждающий.
    Формула утверждающе-отрицательного модуса:
    А есть или В, или С;
    А есть В;
    Следовательно, А не есть С.
    Формула отрицающе-утверждающего модуса:
    А есть или В, или С;
    А не есть В;
    Следовательно, А есть С.
    
    Условно-категорическое умозаключение.
    
    Условно-категорическое умозаключение состоит из двух посылок - условного и категорического суждений. При этом категорическая посылка состоит из тех же терминов, что основание или следствие условной посылки.
    Условно-категорическое умозаключение имеет два модуса - утвердительный и отрицательный.
    В утверждающем заключение идет от утверждения основания к утверждению следствия. Формула:
    Если есть А, то есть В;
    А есть;
    Следовательно, есть В.
    Вывод по этому модусу может быть и утвердительный, и отрицательный.
    В отрицающем модусе заключение идет от отрицания следствия к отрицанию основания. Формула:
    Если есть А, то есть В;
    В нет;
    Следовательно, нет А.
    Вывод по этому модусу бывает утвердительный и отрицательный; его качественная сторона находится в обратной зависимости от качественного характера условной посылки.
    
    Условно-разделительное умозаключение.
    
    Умозаключение, в котором одна посылка - условное суждение, а другая - разделительное, называется условно-разделительным или лемматическим умозаключением. По количеству следствий условной посылки различают дилеммы, трилеммы и полилеммы.
    Дилемма - это условно-разделительный силлогизм с двумя альтернативами, ибо третьего решения вопроса не существует. В практике рассуждений встречаются два вида дилемм - конструктивная и деструктивная.
    В конструктивной (созидающей) дилемме из двух оснований вытекают два следствия. Вторая посылка ограничивает возможность выбора только этими двумя основаниями (альтернативами). Заключение признает оба вытекающих следствия. Таким образом, в конструктивной дилемме заключение идет от утверждения оснований к утверждению следствий. Общая схема конструктивной дилеммы:
    Если А есть В, то А есть К;
    если А есть С, то А есть М;
    А есть либо В, либо С;
    Следовательно, А есть либо К, либо М.
    Пример: Если политические теории прогрессивны, то они способствуют развитию общества;Если же политические теории реакционны, то они препятствуют развитию общества.Но политические теории могут быть либо прогрессивными, либо реакционными.Политические теории либо способствуют развитию общества, либо препятствуют ему.
    В деструктивной (разрушающей) дилемме из одного основания вытекают два следствия: вторая посылка отрицает оба следствия, а вывод разрушает само основание. ............