Тема 3. Суждение как форма мышления

В двузначной логике суждение либо истинно, либо ложно. В трехзначных логиках — разновидности многозначных логик — суждение может быть либо истинным, либо ложным, либо неопределенным. Многие суждения о будущих единичных событиях являются неопределенными. Об этом писал еще Аристотель, когда приводил пример неопределенного суждения: «Завтра необходимо будет морское сражение».

В структуре суждения выделяют субъект, предикат, связку и кванторное слово. Так, в суждении «Некоторые юристы являются следователями» субъектом является понятие «юрист», предикатом — понятие «следователь», связкой — «являются», кванторным словом — «некоторые». Субъектом суждения называется понятие о предмете суждения. Предикат суждения выражает признак предмета, о котором говорится в суждении. Связка выражается словами «есть», «суть», «является» («4 есть четное число», «Все бабочки суть насекомые», «Париж является сто лицей Франции») или группой слов («Некоторые книги не относятся к букинистическим»), или тире («Все композиторы — музыканты»), или согласованием слов («Весна наступила»). Если в суждении есть кванторное слово, то оно стоит перед субъектом. Кванторные слова: «все», «ни один», «некоторые» и др. говорят о причислении признака предмета к указанному в кванторном слове объему предметов.

В естественном языке суждения выражается повествовательным предложением, содержащим какую-то информацию («Светит яркое солнце»). Вопросительные предложения не содержат суждения, т. к. в них ничего не утверждается и не отрицается и они не истинны и не ложны («Когда ты начнешь работать в саду?», «Эффективен ли этот метод изучения иностранного языка?»). Предложение с риторическим вопросом содержит суждение, ибо налицо утверждение, уверенность («Есть ли человек, который смотрит в минуту раздумья на реку и не вспоминает о постоянном движении всех вещей?» «Кто из вас не любил?»). Побудительные предложения побуждают человека к совершению действия, высказывают совет, просьбу, приказ и т. д. Они не содержат суждения, хотя в них что-то утверждается («Вылей воду!») или отрицается («Не разводите костры в лесу!»). Предложения, в которых сформулированы команды, приказы, призывы или лозунги, выражают модальные суждения («Берегите мир!», «Приготовьтесь к старту!»). Однако ряд логиков считают, что никакие побудительные предложения не содержат суждения, т. к. якобы не содержат утверждения или отрицания и не являются ни истинными, ни ложными.

Существуют повествовательные предложения (напр., «Он — знаменитый хоккеист», «Атлантический океан находится от нас далеко»), являющиеся суждениями лишь при рассмотрении их в контексте и при уточнении («Кто — он?», «От кого — от нас?»). Иначе нельзя установить, является ли данное суждение истинным или ложным.

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

Суждение простое (ассерторическое) — это суждение, в котором один субъект (S) и один предикат (Р). Напр., «Некоторые звери делают запасы корма на зиму». Простые суждения бывают трех видов: 1) Суждения свойства (атрибутивные), в которых у предметов утверждается или отрицается определенное свойство, состояние, вид деятельности — «Мед сладкий» (S есть Р), «Шопен не является драматургом» (S не есть Р); 2) Суждения с отношениями фиксируют отношения между двумя или большим числом предметов: — «Французский писатель Виктор Гюго родился позже французского писателя Стендаля», «Город Вашингтон находится между городами Монреаль и Мехико»; Различают типы отношений: а) рефлексивные - а R а; б) симметричные - a R b => b R a; в) транзитивные а R b, b R c => a R c. 3) Суждения существования (экзистенциальные) утверждают или отрицают существование в мире материальных или идеальных предметов — «Существуют атомные электростанции», «Мыслей без языка не существует». В двухзначной логике атрибутивные суждения иначе называются категорическими.

По качеству (качеству связки) суждения делятся на утвердительные (связка выражена словами «есть», «является» и др.) и отрицательные (связка — «не есть», «не является» и др.). По количеству (т. е. в зависимости от того, обо всем классе предметов, или о его части, или об одном предмете идет речь в субъекте) категорические суждения делятся на общие, частные и единичные. Структура обще го суждения — «Все S есть (не есть) Р» («В с е жидкости упруги»). Среди общих встречаются выделяющие суждения, включающие слово «только» («Среди всех металлов только натрий легче воды») и исключающие суждения (напр., «Все металлы при температуре 20°С, за исключением ртути, твердые»). Исключения из правил грамматики в естественных языках выражаются посредством исключающих суждений. Структура частного суждения — «Некоторые S есть (не есть) Р». Они делятся на неопределенные («Некоторые рыбы являются хищными») и определенные («Только некоторые рыбы являются хищными»). В единичном суждении субъектом является единичное понятие («Озеро Виктория не находится в США», «Аристотель — воспитатель Александра Македонского»). Структура единичного сужденгия: «Это S есть (не есть) Р».

Объединив количественную и качественную характеристики, получим классификацию суждений, в которой выделяются четыре типа суждений: 1) А — общеутвердительное, структура которого «Все S есть Р» («Все озера — водоемы»); 2) J — частноу-твердительное, структура которого «Некоторые S есть Р» («Некоторые спортсмены — чемпионы Олимпийских игр»). (Обозначения А и J — первые гласные буквы слова affirmo — утверждаю); 3) Е — общеотрицательное, его структура: «Ни одно S не есть Р» («Ни один океан не является пресноводным»); 4) О — частноотрицательное, структура которого «Некоторые S не есть Р» («Некоторые государства не являются индустриальными»). (Обозначения Е и О — гласные буквы слова nego — отрицаю).

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

Без знания правил распределенности терминов в категорических суждениях невозможно проверить, правильно ли построен категорический силлогизм и сделано непосредственное умозаключение. Из простых суждений строятся суждения сложные.