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