Протиставлення предикату в судженні
Протиставлення предикатові в судженні - такий безпосередній умовивід, у якому в новому судженні (тобто висновку) суб’єктом стає поняття, яке суперечить предикату вихідного судження, а предикатом стає суб’єкт вихідного судження.
Причому, зв’язка змінюється на протилежну. При протиставленні предикатові в судженні змінюється якість і може змінюватися кількість вихідного судження. Щоб здійснити протиставлення до предиката, треба виконати перетворення судження, а потім - обернення.Коротко зміст цієї логічної операції можна виразити так:
• замість Р беремо не-Р;
• зв’язку міняємо на протилежну;
• міняємо місцями S і не-Р.
Наприклад:
1. Будь-яка наукова теорія об’єктивно відображає дійсність.
2. Будь-яка наукова теорія не може необ’єктивно відображати дійсність.
3. Отже, все, що необ’єктивно відображає дійсність, не може належати до наукової теорії.
Розглянемо, як здійснюється протиставлення предикату в усіх видах простих суджень А, Е, І, О.
1. Загальностверджувальне судження А.
A→E Усі S є P→ Жодне S не є не-Р→ Жодне не-Р не є S
Наприклад:
Усі мудрі люди є скромними. → Жодна мудра людина не є нескромною. → Жодна нескромна людина не є мудрою.
2. Загальнозаперечне судження Е.
E→I Жодне S не є P→ Усі S є не-Р → Деякі не-Р є S
Наприклад:
Жоден студент нашої групи не був на Нью-Йоркській фондовій біржі. → Усі студенти нашої групи є такими, що не були на Нью-Йоркській фондовій біржі. → Дехто з тих, хто не був на Нью-Йоркській фондовій біржі, є студентами нашої групи.
3. Частковозаперечне судження О.
O→I Деякі S не є P→ Деякі S є не-Р → Деякі не-Р є S.
Наприклад:
Деякі лікарі не є хірургами. → Деякі лікарі є не хірургами. → Деякі не хірурги є лікарями.
Деякі студенти іноді не говорять правди. → Деякі студенти є такими, що іноді говорять неправду. → Дехто з тих, хто іноді говорить неправду, є студентами.
4. Частковостверджувальне судження І.
І - (не перебудовується)
Воно не підлягає протиставленню до предиката, бо після перетворення стає частковозаперечним, а такі судження не обертаються.
Схема 21. Безпосередні умовиводи (протиставлення предикату)
Протиставлення предикату - суб’єктом висновку стає поняття, що суперечить предикату засновку, а предикатом висновку - суб’єкт вихідного судження.
Протиставленню предикату підлягають судження А, Е, О.
2.4.