6.4. Полісилогізм. Сорит. Епіхейрема
Полісилогізмом (складним силогізмом) називається два або декілька простих категоричних силогізмів, які пов’язані один з одним так, що висновок одного з них є засновком для іншого.
У прогресивному полісилогізмі висновок попереднього силогізму стає більшим засновком наступного силогізму.
Усі Р — Q Схема: P Q Приклад: Усі рослини — організми.
Усі R — Р R P Усі дерева — рослини.
Усі R — Q R Q Усі дерева — організми.
Усі S — R S R Усі сосни — дерева.
Усі S — Q S Q Усі сосни — організми.
У регресивному полісилогізмі висновок передуючого силогізму стає меншим засновком наступного силогізму.
Усі Р — Q Схема: P Q Приклад: Усі сосни — дерева.
Усі Q — R Q R Усі дерева — рослини.
Усі P — R P R Усі сосни — рослини.
Усі R — S R S Усі рослини — організми.
Усі P — S P S Всі сосни — організми.
Прогресивний сорит можна отримати з прогресивного полісилогізму шляхом послідовного вилучення висновків передуючих силогізмів і більших наступних засновків.
Схема: P Q Приклад: Тварина є субстанція.
R P Чотириноге є тварина.
S R Кінь є чотириноге.
T S Буцефал є кінь.
T Q Отже, Буцефал є субстанція.
Прогресивний сорит починається із засновку, що вміщує предикат висновку, і закінчується засновком, що вміщує в собі суб’єкт висновку.
Регресивний сорит можна отримати з регресивного полісилогізму шляхом виключення висновків передуючих силогізмів і менших засновків, що йдуть за ними.
Схема: P Q Приклад: Буцефал є кінь.
Q R Кінь є чотириноге.
R S Чотириноге є тварина.
S T Тварина є субстанція.
P T Отже, Буцефал є субстанція.
Регресивний сорит починається із засновку, що вміщує суб’єкт висновку, і закінчується засновком, що вміщує в собі предикат висновку.
Епіхейрема — це складноскорочений силогізм, до складу якого входять два засновки, принаймні один з яких є енти- мемою.
Приклад: Захист прав людини — благородна справа, оскільки він — сприяє утвердженню демократії.
Відстоювання гласності є захистом прав людини,
тому що воно сприяє утвердженню демократії.
Отже, Відстоювання гласності — благородна справа.
Логічна формула епіхейреми: | "М є Р, тому що "М є N | |||||
"S є М, тому що "S є Q | ||||||
Отже: | "S є Р | |||||
Аналіз першого засновку: | "N є P | |||||
"М є N | ||||||
"М є Р | ||||||
Аналіз другого засновку: | "Q є М | |||||
"S є Q | ||||||
"S є М | ||||||
Висновок: | "М є Р | |||||
"S є М | ||||||
Отже: | "S є Р | |||||