Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме — в виде соритов.
Все растения (А) суть организмы (В).
Все организмы (В) суть тела (С).
Все тела (С) имеют вес (D).
______________________
Всякое растение (А) имеет вес (D).
Схема регрессивного сорита:
Все А суть В. a -> b
Все В суть С. b -> c
Все С суть D. c -> d
___________ _____________
все А суть D. a -> d
Существуют два вида соритов: прогрессивный и регрессивный.
Прогрессивный сорит получается из прогрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и больших посылок последующих.
Все, что укрепляет здоровье (А), полезно (В).
Спорт (С) укрепляет здоровье (А).
Легкая атлетика (D) — спорт (C).
Бег (Е) — вид легкой атлетики (D).
_________________________
Бег (E) полезен (В).
Схемы прогрессивного сорита:
Все А суть В. a -> b
Все С суть А. c -> a
Все D суть C. d -> c
Все Eсуть D. e->d
____________ ____________
Все E суть B. e -> b
Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.
|
|
В виде правила вывода последнюю схему можно записать так:
Это правило вывода путем преобразований можно перевести в формулу алгебры логики:
Регрессивный сорит получается из регрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и меньших посылок последующих. В первом категорическом силлогизме меняем местами посылки. Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения.
В виде правила вывода последнюю схему можно записать так:
Это правило вывода путем преобразований можно перевести в формулу алгебры логики:
Эго формула алгебры логики (или исчисления высказываний), соответствующая регрессивному сориту, состоящему из трех общеутвердительных посылок.