Условные умозаключения и их виды.

Содержание

1. Условные умозаключения и их виды……………………………………………3

2. Разделительные умозаключения и их виды…………………………………….6

Задача 1………………………………………………………………………………9

Задача 2……………………………………………………………………………...10

Задача 3……………………………………………………………………………...11

Задача 4……………………………………………………………………………...12

Список литературы…………………………………………………………………13

 

 

Условные умозаключения и их виды.

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

Разделительно-категорическое умозаключение имеет два модуса:

1) утверждающе-отрицательный;

2) отрицательно-утверждающий.

Формула утверждающе-отрицательного модуса:

А есть или В, или С;

А есть В;

Следовательно, А не есть С.

Формула отрицающе-утверждающего модуса:

А есть или В, или С;

А не есть В;

Следовательно, А есть С.

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

В утверждающем заключение идет от утверждения основания к утверждению следствия. Формула:

Если есть А, то есть В;

А есть;

Следовательно, есть В.

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

Если есть А, то есть В;

В нет;

Следовательно, нет А.

Вывод по этому модусу бывает утвердительный и отрицательный; его качественная сторона находится в обратной зависимости от качественного характера условной посылки.

Умозаключение, в котором одна посылка - условное суждение, а другая - разделительное, называется условно-разделительным или лемматическим умозаключением. По количеству следствий условной посылки различают дилеммы, трилеммы и полилеммы.

Дилемма - это условно-разделительный силлогизм с двумя альтернативами, ибо третьего решения вопроса не существует. В практике рассуждений встречаются два вида дилемм - конструктивная и деструктивная.
В конструктивной (созидающей) дилемме из двух оснований вытекают два следствия. Вторая посылка ограничивает возможность выбора только этими двумя основаниями (альтернативами). Заключение признает оба вытекающих следствия. Таким образом, в конструктивной дилемме заключение идет от утверждения оснований к утверждению следствий. Общая схема конструктивной дилеммы:

Если А есть В, то А есть К;

если А есть С, то А есть М;

А есть либо В, либо С;

Следовательно, А есть либо К, либо М.

Пример: Если политические теории прогрессивны, то они способствуют развитию общества; Если же политические теории реакционны, то они препятствуют развитию общества. Но политические теории могут быть либо прогрессивными, либо реакционными. Политические теории либо способствуют развитию общества, либо препятствуют ему.

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

Если А есть В, то А есть либо С, либо Д;

А не есть ни С, ни Д;

Следовательно, В не есть В.

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