Простым называется суждение, в котором нельзя выделить часть, в свою очередь являющуюся суждением. Основными видами простых суждений являются атрибутивные суждения и суждения об отношениях.
Атрибутивные суждения (от лат. attributum – свойство, признак) – это суждения о свойствах чего-либо. Они раскрывают наличие или отсутствие у предмета мысли тех или иных свойств. Например, «Остап Бендер есть великий комбинатор».
Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов. Примеры: «Все дельфины – киты»; «Париж – город с многомиллионным населением».
В каждом атрибутивном суждении есть субъект, т.е. логическое подлежащее, предикат, т.е. логическое сказуемое и связка, которая иногда только лишь подразумевается. В некоторых суждениях имеются также кванторные, т.е. количественные слова: «некоторые», «все», «ни один» и другие. Субъект суждения (от лат. subjectum – лежащий в основе) обозначается буквой «S», а предикат (от лат. praedicatum – сказанное) – буквой «P». Субъект и предикат называются терминами суждения.
Рассмотрим структуру атрибутивных суждений на примере. В суждении «Некоторые водные животные не являются млекопитающими» слово «некоторые» – это кванторное слово, «водные животные» – это S, «не являются» – это связка, «млекопитающие» – это P.
Атрибутивные суждения можно подразделить на виды по качеству и количеству.
По качеству они делятся на утвердительные и отрицательные. Суждение «Полынь является лекарственным растением» – утвердительное, а суждение «Полынь не является злаковым растением» – отрицательное.
По количеству атрибутивные суждения делятся на единичные, общие и частные. Суждение «Франция – европейская страна» – единичное; суждение «Все металлы являются электропроводными» – общее; суждение «Некоторые юристы не являются ораторами» – частное. В логике единичные суждения приравниваются к общим и отдельному анализу не подлежат.
Атрибутивные суждения, в которых точно выяснено их качество и количество, называются категорическими (от греч. kategorikos – ясный, безусловный, не допускающий иных толкований). В категорическом суждении знание о принадлежности или непринадлежности признака или свойства предмету выражается в безусловной форме. Категорические суждения обычно противопоставляются условным и разделительным суждениям.
Рассмотренные порознь, количество и качество суждения связаны. Поэтому в логике используется так называемое объединённое деление атрибутивных суждений по их количеству и качеству. Возможны четыре вида таких суждений:
1) общеутвердительные. Их структура: «Все S есть P». Они обозначаются латинской буквой «A»;
2) общеотрицательные. Их структура: «Ни одно S не есть P». Их обозначение: латинская буква «E»;
3) частноутвердительные. Их структура: «Некоторые S есть P». Они обозначаются латинской буквой «I»;
4) частноотрицательные. Их структура: «Некоторые S не есть P». Их обозначение: латинская буква «O».
Чтобы правильно оперировать суждениями, необходимо знать распределённость терминов (т.е. субъекта и предиката) в них.
Распределённым считается термин, мыслимый во всём объёме, нераспределённым считается термин, если он мыслится не во всём объёме, а частично. При этом нужно иметь в виду, что термин рассматривается в данном суждении во всём объёме, если он полностью включается в объём другого термина или полностью исключается из него.
В суждениях вида «Все S есть P» субъект распределён, а предикат не распределён. Это видно на схеме:
В суждениях вида «Ни одно S не есть P» субъект и предикат распределены:
В суждениях вида «Некоторые S есть P» субъект и предикат не распределены:
И, наконец, в суждениях вида «Некоторые S не есть P» субъект не распределён, а предикат распределён.
Таким образом, получается, что в общих суждениях (A и E) распределён субъект, а в отрицательных (E и O) – предикат.
Все эти данные можно свести в следующую таблицу:
ВС Т |
A |
E |
I |
O |
S |
+ |
+ |
- |
- |
P |
- |
+ |
- |
+ |
Суждения об отношениях или реляционные суждения (от лат. relatio – отношение) – это такие, в которых говорится о том, что определённое отношение имеет место (или не имеет места) между элементами пар, троек и т.д. предметов, например, «Хабаровск больше Амурска». Ещё пример: «Каждый следователь знает некоторого адвоката лучше, чем некоторого прокурора». В первом суждении утверждается, что отношение «больший» имеет место между Хабаровском и Амурском, во втором – утверждается, что отношение «знающий лучше, чем» имеет место между каждым следователем, некоторым адвокатом и некоторым прокурором.
Суждения об отношениях делятся по качеству на утвердительные и отрицательные. Например, суждение «Петров знает немецкий язык» – утвердительное, а суждение «Иванов не знает английского языка» является отрицательным.
Суждения об отношениях делятся на виды и по количеству. Если иметь в виду суждения о двухместных отношениях, то они делятся на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-единичные, частно-единичные, обще-частные, частно-общие. Например, «Иванов выше Петрова» – это единично-единичное суждение, «Иванов знает каждого студента второго курса гуманитарного факультета» – это единично-общее суждение, «Иванов изучает некоторые науки» – это единично-частное суждение.
Аналогично деление на виды по количеству у суждений о трёхместных, четырёхместных и т.д. отношениях.