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