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

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

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

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

^{___________________________________________}

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

Здесь наиболее общее, подчиняющее понятие — «хищник» (предикат заключения), ему подчинено менее общее понятие «морская птица», которому в свою очередь подчинено понятие «чайка», являющееся подчиняющим по отношению к наименее общему понятию в данном сорите: «поморник» (субъект заключения).

Таким образом, прогрессивный сорит начинается с посылки, содержащей предикат заключения («хищник»), и заканчивается посылкой, содержащей субъект заключения («поморник»). Запись правила вывода рассмотренного примера гоклениевского сорита: a É b, c É a, d É c |= d É b, где a — «Существо является морской птицей», b — «Существо является хищником», с — «Существо является чайкой», d — «Существо является поморником». Формула данного сорита ((aÉb)Ù(cÉa)Ù(dÉc))É(dÉb) является в рассматриваемой далее классической логике высказываний формулой чисто условного умозаключения (см. законы транзитивности импликации). Регрессивный (аристотелевский) сорит получается из регрессивного полисиллогизма путём выбрасывания заключений предшествующих ПКС и меньших посылок последующих ПКС. Здесь умозаключение идёт от подчинённого понятия к подчиняющему.