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 не есть Р». Примеры: «Некоторые преступления не являются умышленными», «Не все богатые – умные люди». Символом частноотрицательного суждения является буква О.

Что касается единичных суждений, то в объединенной классификации они попадают в разряд общеутвердительных (А) либо общеотрицательных (Е).