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

    В отношении противоречия (контрадикторности) находятся суждения с
одинаковыми терминами, имеющие как разное качество, так и разное количест-
во. Такие суждения не могут быть ни одновременно истинными, ни одновремен-
но ложными, поэтому из истинности одного из них с логической необходимо-
стью следует ложность другого, а из ложности — истинность другого: SaP |=
¬SoP, SiP |= ¬SeP, SeP |= ¬SiP, SoP |= ¬SaP, ¬SaP |= SoP, ¬SiP |= SeP, ¬SeP |=
SiP, ¬SoP |= ¬SaP.

      ™ Пример
   Дедуктивным является рассуждение: «Если верно, что все присутствовавшие
на лекции поняли излагавшийся учебный материал, то неверно, что некоторые из
присутствовавших на этой лекции не поняли излагавшегося учебного материала».

4.3. Непосредственные дедуктивные преобразования суждений в позитивной
                             силлогистике

   Рассмотрим также другую разновидность непосредственных дедуктивных
умозаключений — выводы из суждений посредством их преобразования. В тако-
го рода дедуктивных умозаключениях суждение-заключение получается за счёт
определённых, сохраняющих объём сказывания, изменений в логической струк-
туре суждения-посылки, т. е. здесь происходит логический переход от одной
формулы к эквивалентной ей другой формуле.
   Этот логический переход осуществляется посредством следующих возмож-
ных изменений в логической структуре исходного суждения: смены кванторного
слова (через изменение количественной характеристики суждения) или смены
предицирующей связки (через изменение качественной характеристики сужде-
ния) или перемены мест субъекта и предиката.
   В рамках позитивной традиционной силлогистики таким умозаключением яв-
ляется обращение (conversio).
   Обращение — это непосредственное умозаключение, в котором субъект за-
ключения совпадает с предикатом посылки, а предикат заключения совпадает с
субъектом посылки, при этом качественная характеристика заключения оста-
ётся идентичной качественной характеристике посылки.
   Схема обращения:

   S есть P
   ___________
                 (черта означает наличие логического следования).
   P есть S

   Применяя эту схему к различным формулам простого атрибутивного катего-
рического суждения, получим два типа обращения, различающиеся наличием или
отсутствием изменения количества в ходе умозаключения.




                                           43