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

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

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

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

___________________________________________

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

 

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

 

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

 








Дата добавления: 2015-09-07; просмотров: 1521;


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

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.003 сек.