СОРИТ

(от греч. soros - куча)

- цепь сокращенных силлогизмов, в которых опущена или большая, или меньшая посылка. Различают два вида С.: 1) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается меньшая посылка; 2) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается большая посылка. Пример структуры С. (1): "Все A суть В", "Все В суть С", "Все С суть D, все D сутъ Е; следовательно, все A суть Е". Следующий конкретный по содержанию С. имеет приведенную выше структуру:

3 - нечетное число.

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

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

Все рациональные числа - действительные числа.

3 - действительное число.

Восстановим этот С. в цепь полных силлогизмов, где получаемые заключения становятся явно сформулированными меньшими посылками.

Первый силлогизм имеет вид:

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

3 - нечетное число.______________

3 - натуральное число.

Второй силлогизм имеет вид:

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

3 - натуральное число.

3 - рациональное число.

Третий силлогизм имеет вид:

Все рациональные числа - действительные числа.

3 - рациональное число.

3 - действительное число.

Примером С. (2) может быть следующий:

Все рациональные числа - действительные числа.

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

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

3 - нечетное число.

3 - действительное число.