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

вами антисимметричности/асимметричности и транзитивности,             цающим называется суждение, которое указывает на ложность друго-
т. е. отношения, удовлетворяющие указанным свойствам, квалифици-      го суждения, а это другое суждение называется отрицаемым.
руются как отношения порядка.                                               В зависимости от того, утверждается или отрицается что-либо
                                                                      об одном предмете, либо о части предметов, либо обо всех предметах
                    Атрибутивные суждения                             определенного класса, суждения делятся на единичные, частные и
                                                                      общие. Например, суждение «Все металлы являются проводниками»
      Атрибутивные суждения – это суждения, в которых либо ут-
                                                                      является общим; «Некоторые люди не знают грамоты» – частным;
верждается, либо отрицается наличие некоторого свойства у пред-
                                                                      «Иван Сергеевич Тургенев – автор романа “Отцы и дети”» – единич-
мета. Атрибутивное суждение называют также категорическим,
                                                                      ным.
поскольку утверждение или отрицание свойств или признаков пред-
                                                                            Объединенная классификация суждений по качеству и количе-
мета производится с необходимостью, т. е. безотносительно к каким-
                                                                      ству образует категорические суждения: общеутвердительные (A),
либо условиям. Атрибутивные суждения можно рассматривать так
                                                                      общеотрицательные (E), частноутвердительные (I) и частноот-
же, как частный случай суждений об отношениях, а именно как суж-
                                                                      рицательные (O). Единичные суждения в отдельную группу не выде-
дения с одноместным предикатом. Часто некоторые суждения об
                                                                      ляются и анализируются как общие.
отношениях допускают свой перевод в форму атрибутивного суж-
                                                                            Современная символическая логика вводит специальные сред-
дения. Например, суждение об отношениях «Земля (субъект сужде-
                                                                      ства для обозначения суждений типа А, Е, I, О: кванторы, логиче-
ния) вращается вокруг (предикат суждения) Солнца (субъект суж-
                                                                      ские переменные и логические постоянные. В результате все четыре
дения)» может быть истолковано как атрибутивное – например,
                                                                      указанных типа суждений можно представить символически:
«Земля (субъект суждения) есть (связка) планета, которая вращается
вокруг Солнца (предикат суждения)», или «Солнце (субъект суж-                       (
                                                                            А – ∀x S ( x ) ⊃ P ( x )   )   – «Все S суть P» или «для всякого х
дения) есть (связка) небесное тело, вокруг которого вращается Земля   верно, что если он обладает свойством S, то обладает свойством P».
(предикат суждения)», либо как «Отношение между Солнцем и Зем-
                                                                            I – ∃x (S ( x ) ∧ P ( x )) – «Некоторые S суть P» или «существуют
лей (субъект суждения) есть (связка) отношение такое, что Земля
вращается вокруг Солнца (предикат суждения)».
                                                                      х, обладающие свойством S и свойством P».
   Деление атрибутивных суждений по качеству и количеству                   Необходимо также указать на те сложности, которые часто воз-
                                                                      никают при понимании частноутвердительных суждений со словом
      Деление атрибутивных суждений по качеству производится в        «некоторые». Вообще в логике кванторное слово «некоторые» легко
зависимости от характера связки, указывающей на наличие или отсут-    разъясняется при добавлении фразы: «возможно даже все, но по
ствие свойства предмета мысли и выражающейся словами «есть»,          крайней мере один», – так что, например, частноутвердительное
«суть», «быть», «являться».                                           суждение «некоторые японские автомобили являются автомобилями
      В соответствии с этим суждения делятся на утвердительные и      марки “Тойота”» означает «некоторые, возможно даже все, но по
отрицательные.                                                        крайней мере один японский автомобиль является автомобилем марки
      Например, «все люди суть разумные существа» – утверди-          “Тойота”». Однако если такое частноутвердительное суждение, как
тельное суждение, а суждение «ни один папоротник никогда не цве-      «некоторые японские автомобили являются автомобилями марки
тет» – отрицательное. Отрицательные суждения не следует смеши-        “Тойота”» преобразовать в суждение «некоторые автомобили марки
вать с отрицаемыми и отрицающими суждениями, суть которых оп-         “Тойота” являются японскими автомобилями», наше понимание дан-
ределяется характером взаимоотношений между суждениями. Отри-         ного, уже преобразованного суждения сталкивается с определенными
                                                                      трудностями. Внутренний протест против такого преобразования вы-

                                35                                                                          36