S не їсти ні А, ні В
Отже, S є С
Цього модусі в другій посилці заперечується всі, крім однієї альтернативи, тому у висновку стверджується ця залишилася альтернатива. Так як у виводі ми приходимо до твердження, модус називається що стверджують, але шлях наш полягав у запереченні всіх інших альтернатив, окрім однієї, то модус отримав назва модусу, який стверджує за допомогою заперечення (tollendo ponens).
б)
S є або А, або В, або С;
S є А.
Отже, S не є ні В, ні С.
Цього модусі в другій посилці затверджується одна альтернатива; тому у виведенні всі залишилися альтернативи заперечуються. Цей модус за своїм підсумком виявляється заперечливим, а спосіб отримання цього заперечення у нього - твердження. Тому повне найменування цього модусу - модус, який заперечує допомогою затвердження (ponendo tollens).
Для правильної побудови розділового силогізму і істинності висновку, необхідно дотримання таких двох правил:
а) в роздільному судженні повинні бути приведені всі можливі альтернативи. Іншими словами, поділ суб'єкта судження повинно бути повним, вичерпним;
б) необхідно враховувати точне значення союзу В«абоВ», яке може бути і чисто розділовим, і сполучно-розділовим, так як при чисто роздільному значенні В«абоВ» все альтернативи виключають одна іншу, а при сполучно-роздільному значенні союзу В«абоВ» альтернативи не виключають одна іншу.
Умовно-розділові силогізми.
В умовно-роздільному (лемматіческом) силогізм одна посилка є умовним судженням, а друга - розділовим. Залежно від кількості альтернатив, що містяться в роздільному судженні цього силогізму, він називається дилемою, трілемми, тетралемма. Найбільш вживаною в практиці мислення є дилема. Вона буває простою і складної, конструктивної (творчої) і деструктивної (руйнівної).
У конструктивній дилемі вчиняється уявний перехід від затвердження альтернатив у підставах умовного судження до утвердження відповідних наслідків. У деструктивної дилемі відбувається перехід думки від заперечення наслідків до заперечення підстав.
Відмінності між простою і складною конструктивними дилемами полягає в тому, що: 1) більшою посилці простий дилеми кожне з двох підстав обумовлює одне і те ж слідство, а в складній дилемі різні підстави обумовлюють різні слідства, 2) в простій дилемі висновок є категоричним судженням, а в складній - розділовим.
Проста конструктивна дилема відповідає схемі:
Якщо А, то С; якщо В, то С.
А чи В.
С.
Приклад:
Якщо число ділиться на 6, то воно ділиться на 2;
Якщо число ділиться на 8, то воно ділиться на 2.
Але дане число ділиться або на 6, або на 8.
Дане число ділиться на 2.
Схема складної конструктивної дилеми:
Якщо А, то В; якщо С, то Д.
А або С.
В або Д.
Приклад: Людина, що у палаючому будинку, може міркувати так:
Якщо я піду з дому по сходах, то отримаю опіки; якщо я
вистрибну з вікна, то отримаю забої.
Але я можу вистрибнути з вікна або піти по сходах.
Я або отримаю опіки, або отримаю забої.
Проста і складна деструктивні дилеми різняться тим, що: а) більшою посилці простий дилеми два можливих слідства випливають з одного підстави, а в складній - з двох підстав, б) укладення в простій деструктивної дилемі є категоричним судженням, а в складній - з'єднувальним.
Схема простий деструктивної дилеми така:
Якщо А, то або В, або С.
Та не У і не С.
Чи не А.
Приклад:
Якщо рослина є деревом, то воно або листяна,