від грец. sorites - купоподібних) - складний силогізм (див. умовивід), в якому проміжні висновки, що знаходяться між першою посилкою і заключним висновком, опускаються, не повторюючись кожного разу знов, як нові проміжні посилки. Перший приклад: собака - хижа тварина; отже, вона харчується м'ясом; отже, довжина кишок у неї невелика. Такий полісіллогізм, в якому опущені всі великі посилки, називається аристотелевским смітить. Другий приклад: собака (іноді) сенбернар; отже, (іноді) жителька Альп; отже - (іноді) рятівниця при нещасних випадках в горах. Такий полісіллогізм, в якому опущені всі менші посилки, називається гокленовскім смітить (по імені Гокленом).
↑ Відмінне визначення
Неповне визначення ↓
грец. купа), вид складноскороченого силогізму, що представляє собою ланцюг силогізмів, в якій опущені визначено-ні посилки. Існують два види С. (1) коли опус-каються менші посилки силогізмів і умовивід йде від підлеглого поняття до подчиняющему (Аристіт-левский С.); (2) коли опускаються великі посилки і висновок йде від підпорядковує поняття до підлеглого (гокленіевскій С.). Приклад форми С. виду (1): «Будь-яке S є А, всяке А є В, всяке В є Р, отже, будь-яке S є Р»; С. виду (2): «Будь-яке А є Р, всяке В є А, всяке S є У, отже, будь-яке S є Р». В С. кожен термін (крім суб'єкта і предиката висновку) входить в по-Силка двічі: спочатку - як предикат, а в слід. по-Силка - як суб'єкт; або спочатку - як суб'єкт, а в слід. посилці - як предикат. Див. Також Сіллогіс-тика.
↑ Відмінне визначення
Неповне визначення ↓
від грец. soros - купа)
- ланцюг скорочених силогізмів, в яких опущена або велика, або менша посилка. Розрізняють два види С. 1) С. в якому починаючи з другого силогізму в ланцюзі силогізмів пропускається менша посилка; 2) С. в якому починаючи з другого силогізму в ланцюзі силогізмів пропускається велика посилка. Приклад структури С. (1): "Все A суть В", "Все В суть С", "Все С суть D, все D сут' Е; отже, все A суть Е". Наступний конкретний за змістом С. має наведену вище структуру:
3 - непарне число.
Всі непарні числа - натуральні числа.
Всі натуральні числа - раціональні числа.
Всі раціональні числа - дійсні числа.
3 - дійсне число.
Відновимо цей С. в ланцюг повних силогізмів, де одержувані висновки стають явно сформульованими меншими посилками.
Перший силогізм має вигляд:
Всі непарні числа - натуральні числа.
3 - непарне число .______________
3 - натуральне число.
Другий силогізм має вигляд:
Всі натуральні числа - раціональні числа.
3 - натуральне число.
3 - раціональне число.
Третій силогізм має вигляд:
Всі раціональні числа - дійсні числа.
3 - раціональне число.
3 - дійсне число.
Прикладом С. (2) може бути наступний:
Всі раціональні числа - дійсні числа.
Всі натуральні числа - раціональні числа.
Всі непарні числа - натуральні числа.
3 - непарне число.
3 - дійсне число.