Логика. Купарашвили М.Д - 19 стр.

зван тем, что в этом случае невольно домысливается, что: «а некото-            S ∩ P ≠ S – пресечение класса S и класса не-P не равносильно
рые автомобили марки “Тойота” не являются японскими автомобиля-          классу S;
ми», – а это не соответствует действительности. Такая мешающая пра-
вильному пониманию сопутствующая мысль легко снимается добав-                  S ∪ P ≠ 1 – результат сложения класса не-S и класса не-P не
лением к кванторному слову «некоторые» фразы «возможно даже              составляет универсального класса;
все…» и преобразованное таким образом суждение – «некоторые,                   S ∪ P ≠ P – сложение класса S и класса не-P не равносильно
возможно даже все, но по крайней мере один автомобиль марки “Той-        классу не-P.
ота” является японским автомобилем» – уже не вызывает возражений               • В общеотрицательном суждении (E) класс S целиком исклю-
и трудностей в понимании.                                                чается из класса P – это означает, что пересечение классов S и P
                                                                         пусто. Среди свойств общеотрицательного суждения следует отме-
             (             )
      E – ∀x S ( x ) → P ( x ) – «Ни одно S не суть P» или «для всяко-   тить:
го х верно, что если он обладает свойством S, то не обладает свойст-           S ∩ P = 0 – пересечение класса S и класса P – пусто;
вом P».                                                                        S ∩ P = S – результатом пересечения класса S и класса не-P
                                                                         является класс S;
              (           )
      O – ∃x S ( x ) ∧ P ( x ) – «Некоторые S не суть P» или «сущест-          S ∪ P = 1 – результат сложения класса не-S и класса не-P со-
вуют х, обладающие свойством S и не обладающие свойством P».             ставляет универсальный класс;
                                                                                S ∪ P = P – результатом сложения класса S и класса не-P яв-
      В логике существует объемное истолкование этих четырех ви-
                                                                         ляется класс не-P.
дов суждений.
                                                                               • В частноотрицательном суждении (O) класс S исключается
      • Так, в общеутвердительном суждении (А) утверждается,
                                                                         частично из P, т. е. пересечение S и P' (не-P) непусто. Среди свойств
что имеет место включение класса S в класс P – это равносильно
                                                                         частноотрицательного суждения следует отметить:
тому, что пересечение классов S и P' (не-P), т. е. дополнения к P,
пусто. Таким образом, среди свойств общеутвердительного сужде-                 S ∩ P ≠ 0 – пересечение класса S и класса не-P – непусто;
ния следует отметить:                                                          S ∩ P ≠ S – пересечение класса S и класса P не равносильно
      S ∩ P = 0 – пересечение класса S и класса не-P – пусто;            классу S;
      S ∩ P = S – результатом пересечения класса S и класса P яв-              S ∪ P ≠ 1 – результат сложения класса не-S и класса P не со-
ляется класс S;                                                          ставляет универсального класса;
      S ∪ P = 1 – сложение класса не-S и класса P дает универсаль-             S ∪ P ≠ P – сложение класса S и класса P не равносильно
                                                                         классу P.
ный класс;
       S ∪ P = P – результатом сложения класса S и класса P являет-
ся класс P.                                                                          2.3. Распределенность терминов в суждении
      • В частноутвердительном суждении (I) подчеркивается не-
пустота пересечения классов S и P. Среди свойств частноутверди-                Распределенность терминов – это количественная характери-
тельного суждения следует отметить:                                      стика субъекта и предиката в суждении.
       S ∩ P ≠ 0 – пересечение класса S и класса P – непусто;                  Термин считается распределенным, если его объем либо полно-
                                                                         стью включен в объем другого термина, либо полностью из него ис-

                                 37                                                                       38