Сорит (с общими посылками)

Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме — в виде соритов.

Все растения (А) суть организмы (В).

Все организмы (В) суть тела (С).

Все тела (С) имеют вес (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

Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.

В виде правила вывода последнюю схему можно записать так:

Это правило вывода путем преобразований можно перевести в формулу алгебры логики:

Регрессивный сорит получается из регрессивного полисилло­гизма путем выбрасывания заключений предшествующих сил­логизмов и меньших посылок последующих. В первом категори­ческом силлогизме меняем местами посылки. Регрессивный сорит начинается с посылки, содержащей субъ­ект заключения, и кончается посылкой, содержащей предикат заключения.

В виде правила вывода последнюю схему можно записать так:

Это правило вывода путем преобразований можно перевести в формулу алгебры логики:

Эго формула алгебры логики (или исчисления высказываний), соответствующая регрессивному сориту, состоящему из трех об­щеутвердительных посылок.

Поиск по сайту: