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

женного частицей «не» смысла (терминного отрицания). Если же этот смысл
оказывается выявленным, учтённым в структуре высказывания, то в приведённом
выше примере предикатом будет считаться имя «являющийся чётным», взятое с
отрицанием. Обозначив терминное отрицание символом «-», получим запись:
«Ни один S не есть -P» (формула: Se-P).

 3.5. Модельные схемы и распределённость (нераспределённость) терминов
                 простых категорических высказываний

   Однако, как в случае аристотелевской, так и в случае любых разновидностей
традиционной силлогистики фундаментальным для понимания смысла простых
категорических атрибутивных высказываний оказывается логическое отношение
их терминов, т. е. выступающих в роли субъекта и предиката разных по объёму,
соединённых предицирующими связками имён. Те отношения между терминами
высказываний, которые в случае каждой формы отвечают условию истинности,
получили название модельных схем.
   Модельные схемы фиксируют «объём сказывания» (мыслимое в высказыва-
нии положение дел). Объём сказывания наглядно выявляется посредством со-
вмещения: 1) объёма «универсума» (что характерно для традиционной силлоги-
стики), обозначаемого четырёхугольником c латинской «U», 2) объёма субъекта,
(так называемая «круговая схема» или «круг Эйлера») с латинской «S» и 3) объё-
ма предиката, обозначаемого вторым кругом Эйлера с латинской «P». Объём ска-
зывания может быть нулевым, когда субъект и предикат суждения не имеют ни
одного общего элемента, и ненулевым, который фиксируется на модельных схе-
мах штриховкой, покрывающей общие у субъекта и предиката элементы.
   Для общеутвердительных (A) суждений существуют только две модельные
схемы (рис. 4):

                      I                                 II


               U                                 U
                                                        Р
                     S, P
                                                        S




                                    Рис. 4

   Первая схема фиксирует штриховкой объём сказывания при наличии между S
и P отношения равнозначности (тождественности), т. е. когда эти два термина
выражены полностью совпадающими по объёму (тождественными, равнознач-
ными) именами.

                                     34