Логика и теория аргументации. Скачков А.С. - 56 стр.

   Все столицы — города.
   Все города есть населённые пункты.
   Все населённые пункты имеют название.
   ______________________________________________________

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

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

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

                                   a ⊃ b, b ⊃ c, c ⊃ d |= a ⊃ d,

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

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

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

     ™ Пример
   Все млекопитающие — позвоночные, поэтому все киты — позвоночные.
   Некоторые киты — касатки, поэтому некоторые киты — хищники.
   _________________________________________________________________________________________________

   Значит, некоторые хищники являются позвоночными.

   Данная эпихейрема составлена из двух корректных энтимем, служащих в ка-
честве посылок. Первой посылкой является энтимема «Все млекопитающие —
позвоночные, поэтому все киты — позвоночные». Второй посылкой — энтимема
«Некоторые киты — касатки, поэтому некоторые киты — хищники». Заключения
данных энтимем выступают посылками ПКС, и из них логически следует итого-
вое заключение «Некоторые хищники являются позвоночными». Восстановлен-

                                                   56