Словарь по логике

 

Сорит
(от греч. ‘куча’) – вид сложного категорического силлогизма, являющийся обобщением модуса Barbara простого категорического силлогизма на случай произвольного числа посылок. Имеет вид SaM1, M1aM2, … MnaP |– SaP. Может быть представлен как цепочка энтимем по модусу Barbara, в первой из которых пропущен вывод, в последней – одна из посылок, а все промежуточные умозаключения представлены только одной посылкой, которая вместе с выводом предыдущей энтимемы дает вторую посылку для последующей:

В зависимости от того, большая или меньшая посылка пропущена, выделяют аристотелевский сорит (сорит подведения) и гоклениевский сорит (сорит наведения).


© Автор статьи.