Контрольная работа: Безпосередні умовиводи

Загальнозаперечні судження завжди обертаються без обмеження, оскільки предикат у них розподілений. Наприклад: "Жодна загарбницька війна не є справедливою; отже, жодна справедлива війна не є загарбницькою". Схема цього обернення:

Жодне S не є РЖодне Р не є S.

Частковоствердні судження обертаються по-різному.

Неозначені частковоствердні судження, в яких S і Р не розподілені, обертаються за схемою чистого обернення:

Деякі S є РДеякі Р є S.

Наприклад: "Деякі письменники — лауреати; отже, деякі лауреати — письменники".

Означені частковоствердні судження, в котрих І не розподілене, а Р розподілене, обертаються не в часткові, а загальні ствердні судження. Наприклад: "Тільки деякі юридичні угоди — договори; отже, усі договори — угоди". Схема цього обернення:

Тільки деякі S є Р  Усі Р є S.

Частковозаперечні судження не обертаються, оскільки встановити певне відношення між S і Р у них під час обернення неможливо.

Обернення умовних суджень

Розрізняють два види обернення умовних суджень: контрпозицію і конверсію.

Контрпозиція умовного судження полягає в тім, що ми заперечуємо підставу і наслідок вихідного умовного судження, а потім наслідок робимо підставою, а підставу — наслідком оберненого судження. Наприклад: "Якщо угода не відповідає умовам закону, то вона не дійсна; отже, якщо угода визнана дійсною, то вона відповідає закону". Схема контрпозиції умовного судження така:

Якщо А, то В. Отже, якщо не В, то не А, або інакше:

АВ ВА.

Конверсією називається обернення умовних виділяючих і одиничних умовних суджень. Конверсія умовних суджень полягає в тому, що наслідок вихідного судження робиться основою, а основа — наслідком вивідного судження. Наприклад: "Якщо межі необхідної оборони не перевищені, то кримінальна відповідальність за заподіяне не настає; отже, якщо карна відповідальність за заподіяне при необхідній обороні не настає, то межі необхідної оборони не перевищені". Схема обернення таких суджень:

Якщо А, то В. Отже, Якщо В, то А, або А ~ В  В ~ А.

Протиставлення предикату

Протиставленням предикату називається висновок такого нового судження, суб'єктом котрого є поняття, що суперечить предикату вихідного судження, а предикатом — суб'єкт вихідного судження. Наприклад: "Будь-який злочин є діяння суспільно небезпечне; отже, жодне не суспільно небезпечне діяння не є злочином".

Тут суб'єктом висновкового судження є не просто предикат вихідного судження ("діяння суспільно небезпечне"), а поняття, що суперечить предикату ("не суспільно небезпечне діяння"). Предикатом у цьому умовиводі є суб'єкт вихідного судження — поняття "злочин". Схема протиставлення предикату така:

Протиставлення — це складніша, ніж перетворення і обернення, форма безпосереднього умовиводу. Протиставлення є синтез перетворення і обернення, необхідно вихідне судження спочатку перетворити, а потім перетворене судження обернути.

Загальноствердне судження за допомогою протиставлення предикату перетворюється в судження загальнозаперечне:

Всі S є РЖодне не Р не є S.

Наприклад: судження "Будь-яке правове відношення є відношення ідеологічне" перетворюється в судження "Жодне ідеологічне відношення не є правовим".

Загальнозаперечне судження перетворюється в частково-ствердне судження:

Жодне S не є РДеякі не Р є S.

Наприклад, судження "Жоден свідок не може бути суддею" за допомогою протиставлення предикату переходять у судження "Деякі не судді є свідками".

Частковоствердне судження під час протиставлення предикату перетворюється в судження частковоствердне:

Деякі S не є РДеякі не Р є S.