СОРИТ (от греч. soros – куча)
– цепь сокращенных силлогизмов, в которых опущена или большая, или меньшая посылка. Различают два вида С.: 1) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается меньшая посылка; 2) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается большая посылка. Пример структуры С. (1): «Все A суть В», «Все В суть С», «Все С суть D, все D сутъ Е; следовательно, все A суть Е». Следующий конкретный по содержанию С. имеет приведенную выше структуру:
3 – нечетное число.
Все нечетные числа – натуральные числа.
Все натуральные числа – рациональные числа.
Все рациональные числа – действительные числа.
3 – действительное число.
Восстановим этот С. в цепь полных силлогизмов, где получаемые заключения становятся явно сформулированными меньшими посылками. Первый силлогизм имеет вид:
Все нечетные числа – натуральные числа.
3 – нечетное число.______________
3 – натуральное число.
Второй силлогизм имеет вид:
Все натуральные числа – рациональные числа.
3 – натуральное число.
3 – рациональное число.
Третий силлогизм имеет вид:
Все рациональные числа – действительные числа.
3 – рациональное число.
3 – действительное число.
Примером С. (2) может быть следующий:
Все рациональные числа – действительные числа.
Все натуральные числа – рациональные числа.
Все нечетные числа – натуральные числа.
3 – нечетное число.
3 – действительное число.