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