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

сти, необходимости и возможности. Суждение является содержа-               Для наглядной иллюстрации структуры суждения разберем два
нием любого высказывания. Такие предложения, как «число n явля-      примера:
ется простым», невозможно считать высказыванием, так как о нем             В суждении «Солнце есть раскаленное небесное тело» субъект
нельзя сказать, является ли оно истинным или ложным. В зависимости   один – «Солнце», предикат – «раскаленное небесное тело», а связка
от того, какое содержание будет иметь переменная «n», можно уста-    выражена словом «есть».
новить его логическое значение. Подобные выражения называются              В суждении «Земля вращается вокруг Солнца» два субъекта –
пропозициональными переменными. Высказывание обозначается од-        «Земля» и «Солнце», а предикатом является отношение «вращается».
ной какой-либо буквой латинского алфавита. Оно рассматривается как
неразложимая единица. Это значит, что в нем не разглядывается ни-                2.2. Классификация простых суждений
какая структурная единица в качестве его части. Такое высказывание
                                                                                Деление суждений по характеру предиката
называется атомарным (элементарным) и соответствует простому су-
ждению. Из двух и более атомарных высказываний посредством ло-              В зависимости от предиката суждения, т. е. от того, что имен-
гических операторов (связок) образуется сложное или молекулярное     но утверждается или отрицается о тех или иных предметах, различают
высказывание. В отличие от высказывания суждение представляет        суждения, в которых:
собой конкретное единство субъекта и объекта, связанных по смыслу.          утверждается или отрицается существование предмета –
       Примеры суждений и высказываний:                              это экзистенциальные суждения, или суждения существования;
       Простое высказывание – А; простое суждение – «S есть (не             утверждается или отрицается отношение между некоторы-
есть) P».                                                            ми предметами – это суждения об отношениях;
       Сложное высказывание – A⊃B; сложное суждение – «если S1              утверждается или отрицается наличие некоторого свойства у
есть P1, то S2 есть P2».                                             предмета – атрибутивные суждения.
                                                                            В экзистенциальных суждениях, или суждениях существо-
                   Состав простого суждения                          вания, всегда имеется лишь один субъект. Пример такого суждения –
                                                                     высказывание: «Пегаса не существует в действительности». Важно
      Простое суждение есть утверждение о наличии или отсут-         знать, что «существование» как предикат – это существование в ре-
ствии каких-либо признаков у какого-нибудь отдельного предмета, у    альной действительности, его нужно отличать от существования
части или у всех предметов некоторого класса.                        предмета в некоторой области – универсуме рассуждения, которое
      Структура простого суждения содержит:                          выражается в языке логики предикатов специальным квантором –
      Во-первых, один или несколько субъектов суждения или логи-
                                                                     квантором существования (∃) или соответствующими квантор-
ческих подлежащих – это части, представляющие предметы, о ко-
                                                                     ными словами естественного языка (многие, найдется, некоторые,
торых нечто в суждении утверждается или отрицается.
                                                                     большинство, существует). Особо следует отметить, что поскольку
      Во-вторых, предикат суждения или логическое сказуемое –
                                                                     каждое суждение можно рассматривать как утверждение или от-
это часть суждения, выражает то, что утверждается или отри-
                                                                     рицание наличия в действительности некоторой ситуации, то пред-
цается о предметах, которые представляют субъекты.
                                                                     ставляя содержание любого суждения, таким образом, всегда мож-
      Вместе субъект и предикат называются терминами суждения
                                                                     но трактовать его как экзистенциальное.
и обозначаются соответственно латинскими символами S и P.
                                                                            Суждения об отношениях (релятивные) – это суждения, в
      Кроме субъектов и предиката суждение содержит связку, ко-
                                                                     предикате которых выражаются отношения между предметами.
торая, как правило, выражается словами «есть», «суть», «является»,
                                                                            В зависимости от числа предметов, вступающих в то или иное
«быть».
                                                                     отношение, различают двухчленные, трехчленные, n-членные отноше-

                               31                                                                    32