Отже, немає й А

Отже, є й В.

Отже, А є D.

Отже, А не є ні В, ні D.

А є С.

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

А є В, або С, або D;

А не є ні В, ні С;

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

При умовиводах зазначених модусів можливі дві помилки.

1. Перша помилка обумовлена неясністю розділового змісту судження-посилки. Це судження не має строго розділового змісту, у ньому альтернативи не виключають один одного.

2. Друга помилка можлива внаслідок неповноти розподілу родового поняття в розділовому судженні.

8. Умовно-категоричний умовивід

Умовно-категоричний умовивід складається із двох посилок - умовного й категоричного судження. При цьому категорична посилка звичайно складається з тих же термінів, що й підстава або наслідок умовної посилки.

Умовно-категоричний умовивід має два модуси - стверджуючий і заперечний.

У стверджуючому модусі висновок йде від ствердження підстави до ствердження наслідку. Загальна схема цього модусу така:

якщо є А, тобто В;

є А,

Висновок по цьому модусі може бути й стверджувальним, і заперечним. Якісна сторона висновку перебуває в прямій залежності від якісного характеру умовної посилки.

У заперечному модусі висновок іде від заперечення наслідку до заперечення підстави. Схематично заперечливий модус можна записати так:

якщо є А, тобто й В;

нема В,

Висновок по цьому модусі також буває стверджувальна й негативним; його якісна сторона перебуває у зворотній залежності від якісного характеру умовної посилки.

Нерідко в умовній посилці підстава й наслідок різні за якісним характером. У такому випадку категорична посилка по якості повинна бути зворотною якісному характеру наслідку, а висновок буде зворотним (у якісному відношенні) підставі умовної посилки. У загальній схемі це виглядає так:

якщо є А, то немає В;

є В,

Дата добавления: 2013-12-14