Суждение как форма мысли. Структура суждения.
Напомним данное выше определение суждение и основные его свойства:
Суждение – это форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях.
Суждение может быть утвердительным (когда приписывает предмету какой-либо признак: «все люди – смертны») либо отрицательным (когда фиксирует отсутствие у данного предмета указанного признака: «ни один человек не был на Марсе»). Наконец, суждение может быть либо истинным, если оно соответствует действительности («пирамида является геометрической фигурой»), либо ложным, если оно действительности не соответствует («динозавры на Земле еще существуют»).
Обычно в структуре суждения выделяют четыре основных элемента: субъект, предикат, связку и кванторное слово. Для большей ясности возьмем в качестве примера два суждения: «Все тигры являются хищниками» и «Некоторые преступления не являются умышленными».
1) Субъект (S) – понятие о предмете суждения. Обращаем внимание на то, что предмет нельзя смешивать с субъектом: субъект – это логическая форма (мысль), а предмет – реальный объект. В первом нашем примере субъектом будет понятие «тигры», а во втором – «преступления».
2) Предикат (P) – понятие о признаке, который приписывается или не приписывается предмету суждения. В первом примере предикатом является понятие «хищники», а во втором – «умышленные».
Субъект и предикат называются терминами суждения, а также логическими переменными.
3) Связка – это то отношение, которое устанавливается в суждении между субъектом и предикатом. Существует две формы логических связок:
а) утвердительная – когда признак приписывается предмету. В русском языке она выражается словами «есть», «суть», «является», а иногда выражается знаком тире или согласованием слов. Так, в суждении «Студент Петров курит» связка дана неявно, через согласование слов, хотя мы легко можем ее выявить: «Студент Петров является курящим»;
б) отрицательная – когда признак не приписывается предмету, т. е. отделяется от него. В русском языке для этого используются словосочетания «не есть», «не является» (как во втором нашем примере) или же просто частица «не»: «Люди – не ангелы», т. е. «Люди не являются ангелами».
4) Кванторное слово (квантор). Это слово, которое ставится перед субъектом суждения и указывает, относится данное суждение ко всему объему субъекта или же только к части его. Различают два вида кванторов:
а) квантор общности, который выражается словами «все», «ни один», «всякий», «каждый», «любой» и т. п. (этот квантор использован в первом нашем примере);
б) квантор существования, который показывает, что данное суждение характеризует только часть объема субъекта и выражается словами «некоторые», «не все», «кое-кто», «кое-что», «отдельные представители» и т. д. (во втором нашем примере использован как раз квантор существования).
Квантор и связка в логике называются также логическими постоянными или константами.
2. Простые суждения и их виды.
Суждения делятся на простые и сложные. Простым является суждение, в котором делается только одно утверждение либо отрицание. Таковы, например, суждения: «Иванов – студент», «Мурка – это кошка», «Земля – планета Солнечной системы».
Сложным является суждение, состоящее из двух и более простых, соединенных логическими союзами. Далее сложные суждения будут рассмотрены более подробно, а пока мы даем только их примеры: «Сидоров выиграл шахматный турнир и получил приз» (использован логический союз «и»), «Завтра я пойду в кино или в парк» (союз «или»), «Если вода нагрета до 100 градусов, то она кипит» (союз «если …, то …»).
Различают три вида простых суждений: атрибутивные, релятивные и существования.
1) Суждения свойства (атрибутивные) – суждения, в которых утверждается или отрицается принадлежность предмету определенных свойств, признаков и т. д.: «Все люди смертны», «Ни одна женщина не была на Луне», «Вашингтон – столица США», «Некоторые люди не любят врачей».
Формула суждения свойства: S есть (не есть) Р. Эти суждения также иногда называются суждениями субъектно-предикатной структуры.
2) Суждения с отношениями (релятивные) – это суждения, которые констатируют отношения между двумя, тремя и более предметами: «Петр богаче своего брата Ивана», «Килограмм весит тяжелее, чем полкило», «Россия больше Эстонии», «Ростов расположен между Воронежем и Краснодаром».
Формула суждения с отношениями: аRb, где а и b – имена предметов, а R – имя отношения. Такое отношение называется двухместным. Если суждение устанавливает отношение между тремя или более предметами, то используется иная формула: R(a,b,c…), где a,b,c и т. д. – имена предметов.
3) Суждения существования (экзистенциальные) – это суждения, утверждающие либо отрицающие существование в действительности данного предмета (предметов): «Существуют люди на Земле», «Есть на Дону такой город – Ростов», «Русалки и кентавры в природе не существуют», «На Луне нет атмосферы».
Основным видом суждений в логике считаются суждения атрибутивные. Что касается двух других видов, то они с помощью несложных процедур могут быть сведены к атрибутивным. Так, суждение «Ростов расположен между Воронежем и Краснодаром» преобразуется в суждение «Ростов является городом, расположенным между Воронежем и Краснодаром» (связка «является» разделяет здесь субъект и предикат). А суждение «На Луне нет атмосферы» в атрибутивной форме будет выглядеть так: «Лунная атмосфера является несуществующей» (понятие «несуществование» здесь играет роль предиката).
Далее мы будем рассматривать только основной вид суждений – атрибутивные.
Лекция 5. Логический анализ суждений (продолжение)
3. Деление суждений по качеству и количеству.
С точки зрения качества связки суждения делятся на две группы утвердительные и отрицательные.
В утвердительном суждении связка приписывает признак предмету суждения, даже если в явном виде она не высказывается. В отрицательном суждении связка отделяет признак от предмета суждения.
Важно помнить, что логическая связка является отрицательной только тогда, когда «не» стоит перед связкой. Если «не» стоит после связки, то она уже входит в состав предиката, а суждение в целом считается утвердительным: «Ваши часы неисправны», «Студент Воробьев является неуспевающим», «Незаконная сделка недействительна».
С логической точки зрения утвердительные и отрицательные суждения равноправны. Любое утвердительное суждение может быть преобразовано в отрицательное, и наоборот.
С точки зрения объема субъекта простые суждения делятся по количеству на три вида:
1. Единичные суждения – это суждения, в которых субъект обозначает отдельный предмет и потому есть единичное понятие. Формула такого суждения: Это S есть (не есть) Р. Примеры: «Студент Дмитриев пропускает лекции по логике», «Венера обладает плотной атмосферой», «Санкт-Петербург не является столицей России», «Эта кошка не ловит мышей».
2. Частные суждения – это суждения, которые характеризуют лишь часть предметов данного класса. Формула такого суждения: Некоторые S есть (не есть) Р.
В частном суждении в качестве кванторного слова всегда фигурирует квантор существования («некоторые», «часть», «большинство», «меньшинство» и т. п.). Однако смысл этого квантора может быть разным и потому различают два вида частных суждений: а) неопределенные частные суждения, в которых не исключается принадлежность предикатного признака всему классу предметов («по крайней мере, некоторые … », «некоторые, а, может быть, и все …»): «Некоторые студенты данной группы учатся без троек», «Некоторые романы этого автора – детективы»; б) определенные частные суждения, в которых ясно указывается, что речь идет только о части предметов, составляющих объем субъекта («некоторые, но не все …», «некоторые и только некоторые …»): «Некоторые ученые являются лауреатами Нобелевской премии», «Некоторые государства не являются членами ООН».
3. Общие суждения – это суждения, в которых объем субъекта относится ко всем предметам данного класса. Формула общего суждения: Все S есть (не есть) Р.
Среди общих суждений различают выделяющие суждения, которые строятся по формуле «Все S и только S есть (не есть) Р»: «Всем людям и только им присуще способность к абстрактному мышлению», «Все преступники и только они подлежат уголовному наказанию».
Еще одна разновидность общих суждений – исключающие суждения: «Все S, за исключением х, есть (не есть) Р»: «Все планеты, за исключением Венеры и Меркурия, находятся вне земной орбиты», «Все студенты группы, кроме Климова, присутствуют на семинаре».
Объединенная классификация суждений по количеству и качеству.
Поскольку в логике каждое суждение имеет количественную и качественную характеристику, постольку возможна объединенная классификация. Можно предположить, что в этой классификации будет 6 видов суждений (2∙3=6), но на самом деле их меньше – 4.
1) Общеутвердительное суждение – общее по количеству и утвердительное по качеству. Его формула: «Все S есть Р». Примеры: «Все люди смертны», «Любой следователь – юрист». Этот тип суждения принято обозначать буквой А.
2) Общеотрицательное суждение – общее по количеству и отрицательное по качеству. Его формула: «Ни одно S не есть Р». Примеры: «Ни один кит не является рыбой», «Ничто человеческое мне не чуждо». Общеотрицательное суждение обозначается буквой Е.
3) Частноутвердительное суждение – частное по количеству и утвердительное по качеству. Его формула: «Некоторые S есть Р». Примеры: «Некоторые животные имеют хобот», «Некоторые вулканы являются действующими». Этот тип суждения обозначается буквой I.
4) Частноотрицательное суждение – частное по количеству и отрицательное по качеству. Формула: «Некоторые S не есть Р». Примеры: «Некоторые преступления не являются умышленными», «Не все богатые – умные люди». Символом частноотрицательного суждения является буква О.
Что касается единичных суждений, то в объединенной классификации они попадают в разряд общеутвердительных (А) либо общеотрицательных (Е).