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

СОРИТ

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

Синонимы:
доказательство



Ещё