Учебные материалы


V Пример. Поменяв местами посылки первого ПКС в рассмотренном выше регрессивном



Карта сайта samogonking.ru

Все столицы — города.

Все города есть населённые пункты.

Все населённые пункты имеют название.

______________________________________________________

Все столицы имеют название.

Здесь наименее общее подчинённое понятие — «столица», подчиняющее по отношению к нему понятие — «город», более общее подчиняющее понятие — «населённый пункт» и подчиняющее по отношению ко всем предыдущим — понятие «имеющий название».

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

a É b, b É c, c É d |= a É d,

где a — «Предмет является столицей», b — «Предмет является городом», с — «Предмет является населённым пунктом», d — «Предмет является имеющим название».

Формула

((aÉb)Ù(b Éc)Ù(сÉd))É(aÉd)

в рассматриваемой далее классической логике высказываний также является формулой чисто условного умозаключения.

Другая разновидность сложносокращённого силлогизма — эпихейрема— образуется в результате использования в качестве посылок сокращённых ПКС (энтимем). Эпихейрема (в переводе с греч. — умозаключение) — это такой сложносокращённый силлогизм, обе посылки которого представляют собой энтимемы.



edu 2018 год. Все права принадлежат их авторам! Главная