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