Тема 3. Суждения

Вопросы:

1. Простое суждение

2. Сложное суждение

3. Отношения между суждениями

1. Простое суждение

Суждение - форма мышления, в которой что-либо утвержда­ется или отрицается о существовании предметов, связях между пред­метом и его свойствами или об отношениях между предметами.

Примеры суждений: “Космонавты существуют”, “Париж больше Марселя”, “Некоторые числа не являются четными”. Если то, о чем говорится в суждении, соответствует действительному положению вещей, то суждение истинно.

Традиционная логика является двузначной, потому что в ней суждение имеет одно из двух значений истинности: оно либо ис­тинно, либо ложно. В трехзначных логиках - разновидности мно­гозначных логик - суждение может быть либо истинным, либо ложным, либо неопределенным.

Субъект атрибутивного суждения - это понятие о пред­мете суждения. Субъект суждения обозначается буквой S (от латинского слова subjectum). Предикатом атрибутивного су­ждения называется понятие о признаке предмета, о котором говорится в суждении. Предикат обозначается буквой Р (от лат. praedicatum). Связка может быть выражена одним словом (есть, суть, является), или группой слов, или тире, или простым согла­сованием слов (“Все бабочки суть насекомые”, “Рим является столицей Италии”, “Некоторые книги не относятся к букинисти­ческим”). Перед субъектом суждения иногда стоит квантор­ное слово: “все”, или “ни один”, или “некоторые” и др.

В некоторых случаях субъект суждения (S) не совпадает с грам­матическим подлежащим, а предикат суждения (P) - с граммати­ческим сказуемым. Суждения бывают простые и сложные; последние состоят из нескольких простых. Суждение “Некоторые звери делают запа­сы на зиму” - простое, а суждение “Наступила осень, дни стали короче, и перелетные птицы отправились в теплые края” - слож­ное, состоящее из трех простых суждений.

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

Это суждения, в которых один субъект и один предикат. Про­стые суждения бывают трех видов:

1. Суждения свойства (атрибутивные).

В них утверждается или отрицается принадлежность пред­мету известных свойств, состояний, видов деятельности. При­меры: “Мед сладкий”, “Шопен не является драматургом”. Схе­мы этого вида суждения: “S есть Р” или “S не есть Р”.

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

В них говорится об отношениях между предметами. Напри­мер: “Всякий протон тяжелее электрона”, “Французский писатель Виктор Гюго родился позднее французского писателя Стендаля”, “Отцы старше своих детей” и др.

Формула, выражающая суждение с двуместным отношени­ем, записывается как aRb или R(a,b), где а и b - имена предме­тов, а R - имя отношения.

3. Суждения существования (экзистенциальные). В них утверждается или отрицается существование предме­тов (материальных или идеальных) в действительности. При­меры этих суждений: “Существуют атомные электростанции”, “Не существует беспричинных явлений”.

В традиционной логике все три указанных вида суждений пред­ставляют собой простые категорические суждения. По качест­ву связки (“есть” или “не есть”) категорические суждения де­лятся на утвердительные и отрицательные.

В познании утвердительное суждение имеет в общем случае большее значение, чем отрицательное, ибо важнее раскрыть, ка­ким признаком обладает предмет, чем то, каким он не обладает, так как любой предмет не обладает очень многими свойствами.

В зависимости от того, обо всем ли классе предметов, о ча­сти этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные. Структура общего суждения: “Все S суть (не суть) P”. Еди­ничные суждения будут трактоваться как общие, так как их субъ­ектом является одноэлементный класс.

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

1. А - общеутвердительное суждение. Структура его: “Все S суть Р”. Например: “Все люди хотят счастья”.

2. I- частноутвердительное суждение. Структура его: “Неко­торые S есть P). Например, “Некоторые уроки стимулируют творческую активность учащихся”. Условные обозначения для утвердительных суждений взяты от слова affirmo, или утвер­ждаю; при этом берутся две первые гласные буквы: А - для обозначения общеутвердительного и I - для обозначения частноутвердительного суждения.

3. Е - общеотрицательное суждение. Его структура: “Ни одно S не есть Р”. Пример: “Ни один океан не является пресновод­ным”.

4. О - частноотрицательное суждение. Структура его: “Неко­торые S не есть Р”. Например, “Некоторые спортсмены не явля­ются чемпионами Олимпийских игр”. Условное обозначение для отрицательных суждений взяты от слова nego, или отрицаю.

Так как простое категорическое суждение состоит из терми­нов S и Р, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и Р в простых суждениях может быть изображено при помощи круговых схем Эйлера, отражающих отношения между понятиями.

В суждени­ях термины S и Р могут быть либо распределены, либо не распределены. Итак, S распределен в общих суждениях и не распреде­лен в частных; Р всегда распределен в отрицательных су­ждениях, в утвердительных же он распределен тогда, ко­гда по объему Р ≤= S.