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

ные до ПКС энтимемы — посылки рассматриваемой эпихейремы — выглядят
следующим образом:

   (первый ПКС — правильный модус ааа I фигуры)
   Все млекопитающие — позвоночные.
   Все киты — млекопитающие.
   __________________________________________________

   Все киты — позвоночные.

   (второй ПКС — правильный модус iai IV фигуры)
   Некоторые киты — касатки.
   Все касатки — хищники.
   _______________________________________

   Некоторые киты — хищники.

  Далее образуем из заключений восстановленных ПКС новый ПКС (правиль-
ный модус aii III фигуры):
  Все киты — позвоночные.
  Некоторые киты — хищники.
   __________________________________________________

   Некоторые хищники — позвоночные.

                                             Глава пятая

                         УМОЗАКЛЮЧЕНИЯ НЕГАТИВНОЙ
                         ТРАДИЦИОННОЙ СИЛЛОГИСТИКИ

                          5.1. Операция терминного отрицания

   В рамках позитивной традиционной силлогистики, как это видно из преды-
дущего материала, не приходится обращать внимание на внутреннюю структуру
терминов, т. е. не учитывается смысл терминного отрицания, фиксируемый нега-
тивной традиционной силлогистикой.
   Терминное отрицание — это логическая операция над терминами, позво-
ляющая строить из одних терминов другие термины, называемые отрицатель-
ными.

      ™ Пример
   Из положительного термина «знак», являющегося предикатом суждения «Все
слова — знаки», посредством терминного отрицания получим отрицательный
термин «не-знак», содержащийся, например, в отрицательном суждении «Ни од-
но слово не является не-знаком».
   Если же мы применим метод модельных схем, то получил наглядное изобра-
жение отношений исходного понятия «знак» (обозначим как А), образованного

                                                   57