§ 2. Виды простых суждений

Суждения имеют свою структуру, элементами которой являются: субъект, предикат, связка, квантор.

Субъект (S) – это понятие о предмете суждения; т.е. то, о чем идет речь.

Предикат (Р) – это понятие о признаке предмета; т.е. то, что говорят о предмете речи.

S и P – термины суждения.

Связка – это само утверждение или отрицание мыслимого в предмете содержания. Связка выражает отношения между субъектом и предикатом. Она может быть выражена одним словом («есть», «суть», «является») или группой слов, или тире, или простым согласованием слов.

Квантор – слово, указывающее, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части. Т.е. перед субъектом суждения иногда стоят слова «все», «ни один», «некоторые» – это квантор.

Простые суждения принято делить по различным основаниям.

Первое основание. По содержанию предиката суждения делят на:

1. Атрибутивные (суждения свойства, категорические суждения) – те суждения, в которых отражается связь признака с предметом. Например: «У розы приятный запах». «Сокровища Оружейной палаты являются достоянием государства», «Я – изысканность русской медлительной речи» (К. Бальмонт).

Обратимся к отрывкам из стихотворения Николая Гумилева (1886-1921) «Рабочий», в котором поэт (подобно Михаилу Лермонтову и Николаю Рубцову) предсказывает свою смерть.

«Пуля, им отлитая, отыщет

Грудь мою …………………

………………………..

Кровь ключом захлещет на сухую,

Пыльную и мятую траву».

Эти суждения имеют одну и ту же форму, которую можно выразить в виде «S есть P» или «S не есть P». Данная форма характерна для атрибутивных суждений.

Суждения существования (экзистенциальные) – суждения, в которых утверждается или отрицается существование предметов в действительности.

Суждения такого вида можно выразить в формуле «S есть (не есть) ». Например: «Существует обширная литература о творчестве А.П.Чехова», «Мышление без языка не существует».

3. Суждения об отношениях – суждения, в которых речь идет об отношениях между предметами, явлениями, процессами, свойствами, качествами. В суждениях данного типа предикат – указание не характер отношений.

Обычно в данных суждениях используются слова “раньше”, “позже”, “выше”, “ниже”, “младше”, “старше”, “легче”, “тяжелее”, а также характеристика родства, одновременности, равенства и т.д. Можно сказать, что суждения с отношениями характеризуют отношения пространства, времени, величины, силы, причинности, родства и т.д. Например: «Иван брат Бориса», «Троицкая башня построена раньше всех остальных башен Московского Кремля», «Владимир был сын воинственного Святослава, киевского князя…»

Суждения об отношениях R и B – (от англ. relation – отношение).

Второе основание.

По объему субъекта, т.е. по количеству, суждения делят на:

1. Единичные (это S есть P).

Например: «Вулкан Ключевая Сопка – действующий».

2. Частные (некоторые S есть P).

Например: «Некоторые грибы съедобны».

3. Общие (все S есть P).

Например: «Все студенты нашей группы изучают логику».

Третье основание. По качеству связки суждения делят на:

1. Утвердительное (S есть P).

Например: «Я ее люблю», «Некоторые свободомыслящие люди первой половины ХХ века были высланы из России».

2. Отрицание (S не есть P).

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

В каждом суждении имеется количественная и качественная характеристики (объем заключен в субъекте, а содержание – в предикате). Поэтому в логике применяется объединенная классификация суждений.

Четыре вида суждений:

1. Общеутвердительное суждение (А). Его структура – «Все S есть P», например: «Всякий порочный человек есть раб».

2. Частноутвердительное суждение (I). Его структура – «Некоторые S есть P”, например: “Некоторые студенты увлекаются историей”.

3. Общеотрицательное суждение (Е). Оно имеет структуру «Все S не есть P», либо «Ни одно не есть», например: «Ни один порочный человек не счастлив», «Все дельфины – не рыбы».

4. Частноотрицательное суждение (О). Его структура – «Некоторые S не есть P», например: «Некоторые студенты не сделали домашнее задание».

В качестве условных обозначений для утвердительных суждений (А,I) использованы гласные буквы из латинского слова affirmo (утверждаю), а для отрицательных суждений ту же функцию выполняют гласные буквы из латинского слова nego (отрицаю). Эти обозначения придуманы логиком Аницием Манлием Торкватом Северином Боэцием (480-524), «последним римлянином», как его называли.

Он был видным государственным деятелем при дворе короля захвативших Рим остготов Теодориха, но был казнен за какую-то провинность. Боэцию логика обязана переводом на латинский язык трактатов Аристотеля «Категории», «Об остолковании» и обширным комментарием к ним; многочисленными приемами, облегчающими запоминание.

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