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

Простые суждения делятся на: суждения отношения, атрибутивные (категорические) суждения и суждения существования (экзистенциальные).

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

Атрибутивные (простые категорические) суждения – это суждения, в которых указывается на наличие или отсутствие у предметов, мыслимых в субъектах этих суждений, каких-либо свойств, которые мыслятся в предикатах этих суждений. Пример атрибутивного суждения: «Некоторые кошки являются полосатыми».

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

Наиболее подробно классическая логика анализирует простые категорические суждения. Эти суждения принято делить по качеству на утвердительные и отрицательные, а по количеству на единичные, частные и общие.

Утвердительное суждение – это суждение, которое имеют утвердительную связку между субъектом и предикатом. Такая связка, как правило, выражается словами «есть», «суть, «является». Например, «СПбГУКиТ является высшим учебным заведением».

Отрицательное суждение – это суждение, которое имеет отрицательную связку между субъектом и предикатом. Эта связка, как правило, выражается словами «не есть», «не суть», «не является». Например, «Понятие не есть суждение».

Единичное суждение – это суждение, субъектом которого является единичное понятие. Например, «А.С. Пушкин является автором романа «Евгений Онегин». Следует заметить, что единичные суждения с точки зрения отношения между субъектом и предикатом подпадают под категорию общих, а не частных, так как предикат единичных суждений может принадлежать либо не принадлежать всему объему субъекта этих суждений и не может относиться лишь к его части. Например, в единичном суждении «А.С. Пушкин был поэтом» предикат «поэт» относится ко всему объему субъекта «А.С. Пушкин» и не может быть отнесет к его части.

Частное суждение – это суждение, в котором речь идет о части предметов, мыслимых в субъекте. Например, «Некоторые студенты являются спортсменами».

Общее суждение – это суждение, в котором речь идет обо всем классе предметов, мыслимых в субъекте. Например, «Все люди являются живые существа».

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

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

Таблица 1