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

              SaP                           Противоположность (контрарность)   SeP




                Подчинение (субординация)




                                                                                Подчинение (субординация)
               SiP                                Частичное совпадение         SoP
                                                   (субконтрарность)

                                                        Рис. 9

   Разновидностями отношения совместимости являются: эквивалентность, су-
бординация, субконтрарность.

      ™ Пример
   Суждения формулы SaP «Все гиппопотамы — бегемоты» (обозначим его А) и
«Любой бегемот — это гиппопотам» (обозначим его В), область сказывания ко-
торых соответствует первой модельной схеме, находятся в не фиксируемом дан-
ной диаграммой отношении равнозначности (эквивалентности).
   То есть при знании значения истинности первого суждения можно сделать
вывод об том же значении истинности второго суждения: А |= В (SaP |= SaP —
закон силлогистического тождества для общеутвердительных высказываний).
В данном случае в роли субъекта и предиката выступает одно и то же имя (с од-
ним и тем же объёмом и содержанием), имеющее разное языковое выражение.

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


                                                          40