Сорит (греч. — куча) — цепь сил­логизмов, в к-рых заключение пре­дыдущего силлогизма является од­ной из посылок следующего за ним, а одна из посылок при этом не вы­ражается в явной форме. Пример сорита:

2 — четное число.

Все четные числа — натуральные числа.

Все натуральные числа — рацио­нальные числа.

Следовательно, 2 — рациональное число.

Из двух первых посылок мы мо­жем получить заключение: «2 — на­туральное число». Это заключение играет роль меньшей посылки в следующем силлогизме («Все нату­ральные числа — рациональные чис­ла» и «2 — натуральное число»); од­нако эта посылка («2 — натуральное число») не формулируется в явном виде. С. в их различных формах ча­сто используются в процессе доказа­тельства в целях его сокращения.