V Пример. Все морские птицы — хищники.

Все морские птицы — хищники.

Все чайки — морские птицы.

Все чайки — хищники.

Поморник — чайка.

^{___________________________________________}

Поморник — хищник.

Если заменить общие категорические атрибутивные суждения на совпадающие с ними по смыслу условные суждения, то рассматриваемый полисиллогизм примет следующий вид:

Если существо является морской птицей, то оно — хищник.

Если существо является чайкой, то оно — морская птица.

Если существо — чайка, то оно — хищник.

Если существо — поморник, то оно — чайка.

^{_____________________________________________________________________________________}

Значит, если существо является поморником, то оно — хищник.

Рассмотрев входящие в приведённый выше полисиллогизм два ПКС на предмет соблюдения общих правил, мы убедимся в его состоятельности, т. е. в наличии логического следования. Если же, отвлекаясь от субъектно-предикатной структуры посылок и заключения, мы выразим суждение «существо является морской птицей» буквой а, суждение «оно — хищник» — b, суждение «существо является чайкой» — с, «существо — поморник» — d, то правило вывода для данного полисиллогизма можно записать так:

a É b, c É a, c É b, d É c |= d É b.

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

((aÉb)Ù(cÉa)Ù(cÉb)Ù(dÉc))É(dÉb).

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

Дата добавления: 2015-09-05