[userpic]

Re: Сориты ↑

bavi в посте Metapractice (оригинал в ЖЖ)

Как 3 правила справляются с соритами:
Например:
6
1) Все c суть b.
2) Все a суть e.
3) Все d суть b'.
4) Все a' суть c.
Я напишу последовательность рассуждений:
1) 1 и 4 - вывод "Все а'b"
2) далее 2 - вывод Ноль е'b'
3) далее 3 - вывод Все d есть е
Теперь подробнее:
1 и 4 - "с" разных знаков, значит Общее умозаключение 2 термин меняет знак = Все а'b
Далее 2, "а" разных знаков, сущности Ноль, значит, - знаки не меняем и Отрицательное суждение = Ноль е'b'
Далее 3, "b" разных знаков, суждение Общее, так как "d" первая посылка в Общем суждении и 2 посылка меняет знак, значит вывод - Все d суть е
Есть преимущество в скорости создания выводов "3-я правилами" при решении соритов, т.е вложенных умозаключений (вложение может быть сколько угодно большим).
Минусы это обращение к внутренним рассуждениям. Но это можно попробовать нивелировать...