Полісилогізм. Сорит. Епіхейрема.
Полісилогізмом (складним силогізмом) називається два або декілька простих категоричних силогізмів, які пов’язані один з одним так, що висновок одного з них з засновком для іншого.
У прогресивному полісилогізмі висновок попереднього силогізму стає більшим засновком наступного силогізму. Його схема:
У регресивному полісилогізмі висновок передуючого силогізму стає меншим
засновком наступного силогізму.
Сорит прогресивний можна отримати з прогресивного полісилогізму шляхом послідовного вилучення висновків передуючих силогізмів і більших
Його схема:
наступних засновків.
Прогресивний сорит починається із засновку, що вміщує предикат висновку, і закінчується засновком, що вміщує в собі суб’єкт висновку.
Регресивний сорит можна отримати з регресивного полісилогізму шляхом виключення висновків передуючих силогізмів і менших засновків, що слідують за ними.
Регресивний сорит починається із засновку, що вміщує суб’єкт висновку, і закінчується засновком, що вміщує в собі предикат висновку.
Епіхейрема - це складноскорочений силогізм, до складу якого входять два засновки, принаймні один з котрих є ентимемою. Наприклад: Захист прав людини - благородна справа, оскільки він - сприяє утвердженню демократії.
Відстоювання гласності є захистом прав людини, тому що воно сприяє утвердженню демократії. Отже, відстоювання гласності — благородна справа.
Логічна формула Епіхейреми:
А
отже: VS є Р
Аналіз першого засновку:
Вкажемо також ще на деякі види опосередкованих дедуктивних умовиводів, до складу яких входять такі види суджень, як умовні і розділові.
Умовні умовиводи завжди включають до свого складу в якості першого засновку умовне судження. Залежно від того, якими судженнями (умовними, категоричними чи розділовими) є другий засновок і висновок, умовні судження поділяються на суто умовні, умовно-категоричні та умовно- розділові.
Розділові умовиводи завжди включають до свого складу в якості першого засновку розділове судження. До складу суто розділового умовиводу входять тільки розділові судження. У розділово-категоричному умовиводі перший засновок розділовий, другий засновок є категоричним, а висновок - категоричним або розділовим. У розділово-умовному умовиводі перший засновок є розділовим, а інші умовними судженнями.
Умовні умовиводи у якості першого засновку завжди мають умовне судження. У суто умовному умовиводі обидва засновки і висновок є умовними судженнями. У умовно-категоричному умовиводі другий засновок і висновок є категоричними судженнями (див. табл. 14).
Таблиця 14
ТАБЛИЦЯ ВИДІВ УМОВНИХ І РОЗДІЛОВИХ УМОВИВОДІВ
5.