Висновки та їх види
Формула стверджуюче-негативного модусу:
А є або У, або З;
Отже, немає С.
Формула заперечно-стверджуючого модусу:
А є або У, або З;
Отже, А є З.
У висновку йде від затвердження підстави до затвердження слідства. Формула:
Якщо є А, тобто В;
Отже, є У.
Висновок щодо цього модусу може бути і ствердний, і негативний.
У модусі, що заперечує, висновок йде від заперечення слідства до заперечення підстави. Формула:
Якщо є А, тобто В;
Отже, немає А.А.
Висновок по цьому модусу буває ствердний та негативний; його якісна сторона у зворотній залежності від якісного характеру умовної посилки.
Висновок, в якому одна посилка - умовне судження, а інша - роздільне, називається умовно-розділовим або лематичним висновком. За кількістю наслідків умовної посилки розрізняють дилеми, трилеми та полілеми.
Дилема - це умовно-роздільний силогізм із двома альтернативами, бо третього вирішення питання немає. У практиці міркувань зустрічаються два види дилем - конструктивна та деструктивна.
У конструктивній (творчій) дилемі із двох підстав випливають два наслідки. Друга посилка обмежує можливість вибору лише цими двома підставами (альтернативами). Висновок визнає обидва слідчі. Таким чином, у конструктивній дилемі висновок йде від затвердження підстав для затвердження слідств. Загальна схема конструктивної дилеми:
Якщо А є, то А є К;
якщо А є С, то є М;
А є або У, або З;
Отже, А є К, або М.
Приклад: Якщо політичнітеорії прогресивні, то вони сприяють розвитку суспільства; Якщо ж політичні теорії реакційні, то вони перешкоджають розвитку суспільства. Але політичні теорії можуть бути або прогресивними, або реакційними.
У деструктивній (руйнівній) дилемі з однієї підстави випливають два наслідки: друга посилка заперечує обидва слідства, а висновок руйнує саму підставу. Отже, у деструктивній дилемі висновок іде від заперечення наслідків до заперечення підстав. Загальна схема деструктивної дилеми:
Якщо А є, то А є або З, або Д;
А немає ні З, ні Д;
Отже, У немає В.
Приклад: Якщо філософ визнає первинність матерії стосовно свідомості, то він є матеріалістом. Якщо ж філософ визнає первинність свідомості стосовно матерії, то він є ідеалістом. Але філософ або не є матеріалістом, або не є ідеалістом. матерії стосовно свідомості, чи первинність свідомості стосовно матерії.
При визначенні правомірності висновків лематичних силогізмів потрібно керуватися наступним: висновок правомірний, якщо перебіг міркувань направлений від затвердження підстав до затвердження слідств або від заперечення наслідків до заперечення підстав, і неправомірний, якщо перебіг міркувань направлений назад до зазначеного.