Простые суждения. Их состав и виды.

Простые суждения — выражают связь двух понятий, не включают других суждений. Простое суждение состоит из субъекта, предиката и связки.

В зависимости от того, что утверждается или отрицается в суждениях — принадлежность признака предмету, отношение между предметами или факт существования предмета — суждения делятся на:

1) атрибутивные суждения

2) суждения с отношениями

3) суждения существования (экзистенциальные).

1. Атрибутивным (от латинского attributio – «ϲ ʙ ᴏ йство», «признак») называется суждение о признаке предмета. В нем демонстрируется связь между предметом и его признаком, эта связь утверждается или отрицается. Например: «Сроки аренды определяются договором», «Никто из судей не вправе воздержаться от голосования».

Атрибутивные суждения называют также категорическими (от греческого kategorikos – «ясный», «безусловный», «не допускающий иных толкований»).

Атрибутивное, или категорическое, суждение состоит из субъекта, предиката и связки; его логическая схема S–Р, где S – субъект суждения, Р – предикат суждения, «–» – связка.

2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения. Например: «А равно В», «С больше D», «Семен – отец Сергея», «Казань восточнее Москвы»

Принята следующая запись суждения с отношениями: xRy, где х и у – члены отношения, они обозначают понятия о предметах, R – отношение между ними (R – первая буква латинского слова relati-vus – «относительный»).

Суждение с отношениями имеют структуру, отличающуюся от структуры атрибутивных суждений. Важно заметить, что однако, при всем этом они могут быть преобразованы в атрибутивные. К примеру, суждение «А равно В» рассматривается как суждение, где А – субъект суждения, «равно В» – его предикат; при такой интерпретации равенство предмету В выступает как признак предмета А. Суждение «Семен – отец Сергея» рассматривается так: «Семен (S) – отец Сергея (Р)», отец Сергея – признак Семена.

3. В суждениях существования (экзистенциальных суждениях; от латинского existentia – «существование») выражается сам факт существования или несуществования предмета суждения. Например: «Существуют статистические законы»; «На Земле уже нет многих видов животных»; «Суждения без предложения не существует». Предикатами данных суждений будут понятия о существовании или несуществовании предмета; связкатрадиционно в языке не выражается, но путем преобразования грамматической формы суждения она может быть выражена словами «есть», «не есть», «будет» и т.п. Например: «Статистические законы (S) есть (связка) то, что существует (Р)».

12. Классификация простых суждений по количеству и качеству. Их объединенная классификация.

I. По качеству суждения делятся на утвердительные и отрицательные.

Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака (S есть P).
Отрицательным называется суждение, выражающее отсутствие у предмета некоторого признака (S не есть P). Например: МГЭУ им. А.Д. Сахарова есть высшее учебное заведение. Устав университета не может быть изменен без решения Совета университета.

Суждение с отрицательным предикатом, но утвердительной связкой (S есть не-P) рассматривается как утвердительное. Например: «Мифология есть ненаучное мировоззрение». Таким образом, «есть» и «не есть» – логические связки. В языке они выражаются словами: является, не является, представляет собой, не представляет собой, признается, не признается, тире, а может подразумеваться.

II. По количеству суждения делятся на единичные, частные, общие.

Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например: «Это здание памятник архитектуры» (Это S есть P).
Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса, что выражается при помощи слов: некоторые, многие, немногие, большинство, меньшинство, часть. Например: «Большинство студентов не имеют пропусков» («некоторые S не суть P»).

В зависимости от значения слова «некоторые» различают 2 вида частных суждений: неопределенные и определенные.

В неопределенном частном суждении слово «некоторые» употребляется в значении «некоторые, а может быть и все» или «по крайней мере некоторые». Например: «Некоторые свидетели дали показания».
В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые». Например: «Некоторые студенты ходят на дискотеку».

III. Объединенная классификация простых категорических суждений по количеству и качеству.

Любое суждение имеет количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация, по которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительные суждения (A) – это суждения, общее по количеству и утвердительное по качеству. Например: «Каждый, совершивший преступление», (S) должен быть подвергнут справедливому наказанию (P). Все S суть P. В символичной логике: " x (S (x) ® P (x)), то есть для всех x, если x присуще свойство S, то x присуще свойство P.

Общеотрицательное суждение (E) – это суждение, общее по количеству и отрицательное по качеству. Например: «Ни один студент (S) не должен опаздывать на занятия (P)». Ни одно S не есть P. (" x (S (x) ® ù P (x)) – ни одному x, которому присуще свойство S, не присуще свойство P.)

Частноутвердительное суждение (I) – это суждение, частное по количеству и утвердительное по качеству. Например: «Некоторые студенты (S) являются отличниками (P)». Некоторые S суть P. ($ x (S (x) Ù P (x)) – существуют x, которым присуще свойство S и свойство P.)

Частноотрицательные суждения (O) – суждения, частные по количеству и отрицательные по качеству. «Некоторые студенты не посещают занятия». Некоторые S не суть P. ($ x (S (x) Ù ù P (x)) – существует x, которым присуще свойство S и не присуще свойство P.)