Розділ 7 УМОВИВІД. БЕЗПОСЕРЕДНІ УМОВИВОДИ

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

юридичною угодою, отже, деякі юридичні угоди — договори". Схема обернення така:

Під час обернення якість судження не змінюється: якщо вихідне судження є ствердним, то й висновок буде ствердним, якщо ж засновок заперечний, то й висновок буде заперечним. Кількість судження може змінюватися, але може залишатися тією ж.

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

Обернення буде простим (або чистим), якщо кількість судження під час обернення не змінюється. Приклад такого обернення: "Деякі студенти — відмінники; отже," деякі відмінники — студенти". Тут кількість оберненого судження залишалася такою ж, якою вона була у вихідному судженні: "Деякі S є -Р" перетворилося у судження "Деякі Р е S",

Обернення з обмеженням — це таке обмеження, унаслідок якого змінюється кількість судження. Наприклад: "Усі капіталісти експлуататори; отже, деякі експлуататори — капіталісти". У цьому умовиводі вихідне судження є загальним ("Усі S є Р" а висновкове — частковим ("Деякі Р є S").

Обернення з обмеженням має місце у тих випадках, коли предикат (Р) вихідного судження не розподілений.

Загальноствердні судження обертаються подвійно: з обмеженням і без обмеження.

Загальноствердні судження, у котрих предикат не розподілений, обертаються із обмеженням. Схема обернення цих суджень: Усі S є Р -> Деякі Рє S. Наприклад:

"Будь-які правовідносини є вольовими правовідносинами; отже, деякі вольові відносини є правовідносинами".

У загальноствердних судженнях-визначеннях і в судженнях із виділяючим суб'єктом предикат (Р) розподілений. Тому такі судження обертаються без обмеження. Наприклад: "Крадіжкою називається таємне викрадення власного майна громадян; отже, таємне викрадення власного майна громадян є крадіжка"; "Тільки посадова особа може бути суб'єктом халатності; отже, суб'єктом халатності може бути тільки посадова особа".

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

Жодне S не є Р->Жодне Р не є S.

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

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

Деякі S є P->Деякі Р є S.

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

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

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

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