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