Логика. Черняк Н.А. - 13 стр.

                    ГЛАВА 2. СУЖДЕНИЕ                                  любит Марью», «Волга длиннее Оки», «Свой дурак дороже чужих ум-
                                                                       ников» и т. д.
          2.1. Суждение как форма мышления                                    В зависимости от числа предметов, вступающих в то или иное
      Суждение – форма мышления, посредством которой что-либо          отношение, различают двухчленные, трехчленные, n-членные отноше-
утверждается или отрицается о предмете и которая обладает логиче-      ния. Например, в суждении «Иван брат Петра» мыслится двухчленное
ским значением истины или ложности. Данное определение характе-        отношение, «Москва расположена между Брестом и Кировым» – трех-
ризует простое суждение.                                               членное отношение. Соответственно этому выделяют суждения с двух-,
                                                                       трех-, n-местными предикатами, где в предикате R фиксируется опре-
                     Состав простого суждения                          деленное отношение, а в субъекте x1, … xn – предметы, вступающие в
      В традиционной логике установилось членение суждения на          это отношение.
субъект, предикат и связку.                                                   Структура суждения отношения символически записывается
      Субъект – часть суждения, в которой выражается предмет мысли.    так: R (x1, … xn).
      Предикат – часть суждения, в которой что-либо утверждается              В настоящее время наиболее разработанной является теория двух-
либо отрицается о предмете мысли. Например, в суждении «Земля –        членных (бинарных) отношений.
планета Солнечной системы» субъектом является «Земля», предикатом
«планета солнечной системы». Нетрудно заметить, что логический                          Свойства бинарных отношений
субъект и предикат не совпадают с грамматическими, т. е. с подлежа-          1. Отношение рефлексивности
щим и сказуемым. Вместе субъект и предикат называются терминами              Некоторое отношение, имеющее место среди предметов опреде-
суждения и обозначаются соответственно латинскими символами S и P.     ленного класса, называется рефлексивным, если каждый предмет этого
      Кроме терминов, суждение содержит связку. Как правило, связ-     класса находится в данном отношении к самому себе.
ка выражается словами «есть», «суть», «является», «быть». В приве-           Символически это отношение записывается так:
денном примере она опущена.                                                                   ∀x∀y(xRy → xRx ∧ yRy) .
                                                                             Примером рефлексивных отношений будут отношения «равен-
        2.2. Классификация простых суждений
                                                                       ство», «эквивалентность», «тождество».
            Деление суждений по характеру предиката                          Отношение антирефлексивности. Отношение называется ан-
       По характеру предиката все суждения делятся на суждения свой-   тирефлексивным, если ни один предмет данного класса не находится в
ства (атрибутивные суждения) и суждения отношения.                     этом отношении к самому себе. Таковы отношения «отцовство», «боль-
       Атрибутивные суждения – суждения, в предикате которых вы-       ше», «неравенство».
ражаются свойства или признаки предмета. Например, «Человек – ра-
                                                                             2. Отношение симметричности
зумное существо».
       Атрибутивное суждение называют также категорическим, по-              Отношение называется симметричным, если для любых предме-
скольку утверждение или отрицание свойств или признаков предмета       тов x и y данного класса верно, что если предмет x находится в каком-
производится с необходимостью, т. е. безотносительно к каким-либо      то отношении к предмету y, то и предмет y находится в этом отноше-
условиям.                                                              нии к предмету x. Символическая запись данного свойства:
       Логическая схема категорического (атрибутивного) суждения S                               ∀x∀y(xRy → yRx ) .
есть P.                                                                      Свойством симметричности обладают отношения «равенство»,
       Суждения отношения (релятивные) – суждения, в предикате         «неравенство», «соседство».
которых выражаются отношения между предметами. Например, «Иван

                                25                                                                      26