(от греч. sorites - кучеобразный) - сложный силлогизм (см. Умозаключение), в котором промежуточные заключения, находящиеся между первой посылкой и заключительным выводом, опускаются, не повторяясь каждый раз вновь, как новые промежуточные посылки. Первый пример: собака - хищное животное; следовательно, она питается мясом; следовательно, длина кишок у нее невелика. Такой полисиллогизм, в котором опущены все большие посылки, называется аристотелевским соритом. Второй пример: собака (иногда) сенбернар; следовательно, (иногда) жительница Альп; следовательно - (иногда) спасительница при несчастных случаях в горах. Такой полисиллогизм, в котором опущены все меньшие посылки, называется гокленовским соритом (по имени Гокления).