Тема 5. Суждение (высказывание) как форма

Мышления

 

 

Суждение. Виды суждений

 

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

Пример. Так, можно сказать, что в суждении «Каждая планета Солнечной системы вращается вокруг своей оси» утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. А в суждении «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя каждой планеты Солнечной системы.

Учитывая это, суждение можно определить так:

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

Важнейший отличительный признак суждения – утверждение или отрицание чего-либо о чем-либо. В понятии, по существу, ничего не утверждается и не отрицается. В нем лишь выделяется сам предмет мысли. Например, «день», «ночь», «солнечный день», «несолнечный день». В суждении же акцентируется внимание на самом соотношении между какими-либо предметами мысли: «День солнечный» или «День не солнечный», «День прошел», «Ночь настала».

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

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

Знаком, в виде которого выражается суждение, является повествовательное предложение. Смыслом этого знака должна быть связанная с ним мысль. Это и есть само суждение. Что касается значения предложения, то иногда в качестве него рассматривают ситуацию, которая имеет или не имеет места в действительности, и которая описывается суждением. Однако, чаще всего, значением предложения принято считать истину или ложь.

В современной логике вместо термина «суждение» предпочитают употреблять термин «высказывание». Однако термином «суждение» в традиционной логике обозначали именно некоторый смысл повествовательного предложения с учетом того, что он может быть общим для различных знаковых форм. Иначе говоря, учитывалось, что одно и тоже суждение может быть выражено в различных формах повествовательных предложений.

Пример. Можно утверждать, что «Всякий человек способен мыслить» и что «Все люди обладают способностью мышления», но в обоих случаях выражается одна и та же мысль (одно и тоже суждение).

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

 

Виды суждений

 

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

Пример. «Математика – абстрактная наука».

Сложным является такое суждение, которое содержит в качестве своей правильной части, т.е. части, не совпадающей с целым, некоторое другое суждение.

Пример. «Если вы будете хорошо учиться, то обязательно получите диплом».

 

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

 

Основными частями простых суждения являются один или несколько субъектов суждения (логических подлежащих) и предикат суждения (логическое сказуемое). Субъект и предикат суждения называется терминами этого суждения.

Субъект суждения – это термин, возможно выражающий понятие и представляющий предмет, о котором нечто утверждается или отрицается. Субъект суждения принято обозначать буквой «S».

Предикат суждения – часть суждения, выражающая то, что утверждается или отрицается о предметах, которые представляют субъекты. Предикат обозначается буквой «Р».

Пример. В суждении «Солнце есть раскаленное небесное тело» субъект – «Солнце», предикат – «раскаленное небесное тело». В суждении «Земля вращается вокруг Солнца» два субъекта – «Земля» и «Солнце», предикат – отношение «вращается».

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

Атрибутивными называются суждения, в которых утверждается или отрицается наличие некоторого свойства у предмета. Логическая форма атрибутивного суждения имеет вид: S (не) есть Р.

Пример. «Солнце (S) есть раскаленное небесное тело (Р)»; «Великобритания (S) является конституционной монархией (Р)»; «Некоторые лебеди (S) белые (Р)»; «Великий комбинатор (Р) этот Остап Бендер (S)»; «Нужда (S) заставит Богу молиться (Р)».

Экзистенциальными называются суждения, в которых утверждается или отрицается существование предмета.

Пример. «Змея-Горыныча (S) не существует в действительности (Р)»; «Природные аномалии (S) существуют (Р)»; «Нет безысходных ситуаций» («Безысходных ситуаций (S) не существует (Р)»).

Реляционные – это суждения, в которых утверждается или отрицается отношение между некоторыми предметами.

Пример. «Земля вращается вокруг Солнца»; «Петр – брат Ивана»; «Москва расположена между Петербургом и Екатеринбургом».

В атрибутивных суждениях, как и в суждениях существования, имеется всегда лишь один субъект. В суждениях об отношении – более, чем один.

 

Виды атрибутивных суждений

 

По качеству атрибутивные суждения делятся на утвердительные и отрицательные.

Утвердительными являются суждения, говорящие о принадлежности предиката субъекту суждения. Отрицательными – суждения, говорящие об отсутствии данного предиката у субъекта.

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

По количеству атрибутивные суждения делятся на единичные, частные и общие. Количество суждения – характеристика суждения, определяющая, в каком объеме рассматривается субъект суждения.

В единичных суждениях предикат высказывается о единичном предмете, т.е. все термины, играющие роль субъектов, - единичные имена.

Пример. «Этот человек имеет преступные наклонности».

В частных суждениях предикат высказывается о некоторых элементах объема субъекта.

Пример. «Некоторые люди имеют преступные наклонности».

В общих суждениях предикат высказывается обо всем объеме субъекта.

Пример. «Все люди имеют преступные наклонности».

Заметим, что значение слова «некоторые» в естественном языке и в логике несколько различны. В естественном языке оно используется в значениях «только некоторые, но не все» и «некоторые, а может быть, и все». В логике – только в значении «некоторые, а может быть, и все».

 

 

Категорические суждения

 

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

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

Общеутвердительные суждения обозначаются буквой «А».

Их каноническая форма: Все S есть Р.

На языке логики предикатов общеутвердительное суждение запишется следующим образом: "x(S(x)ÉP(x)).

Отметим, что это суждение истинно при таких взаимоотношениях между понятиями S и Р, которые показаны на рисунке 11.

Пример: «Все люди есть существа, имеющие преступные наклонности».

 

 

Рисунок 11. Возможные отношения между субъектом и предикатом

истинного общеутвердительного суждения.

Общеотрицательные суждения обозначаются буквой «Е».

Каноническая форма: Ни одно S не есть Р.

Запись на языке логики предикатов: "x(S(x)ÉùP(x)).

Общеотрицательное суждение истинно при таких взаимоотношениях между понятиями S и Р, которые показаны на рисунке 12.

Пример: «Ни один человек не есть существо, имеющее преступные наклонности».

 

Рисунок 12. Возможные отношения между субъектом и предикатом

истинного общеотрицательного суждения

Частноутвердительные суждения обозначаются буквой «I».

Каноническая форма: Некоторые S есть Р.

Запись на языке логики предикатов: $x(S(x) Ù P(x)).

Частноутвердительное суждение истинно при взаимоотношениях между понятиями S и Р, изображенных на рисунке 13.

Пример: «Некоторые люди есть существа, имеющие преступные наклонности».

Частноотрицательные суждения обозначаются буквой «О».

Каноническая форма: Некоторые S не есть Р.

Запись на языке логики предикатов: $x(S(x) Ù ùP(x)).

Частноотрицательное суждение истинно при таких взаимоотношениях между понятиями S и Р, которые показаны на рисунке 14.

Пример: «Некоторые люди не есть существа, имеющие преступные наклонности».

Буквенные обозначения категорических суждений – это гласные буквы латинских слов «affirmo» - утверждаю и «nego» - отрицаю.

 

 

Рисунок 13. Возможные отношения между субъектом и предикатом

истинного частноутвердительного суждения

 

Рисунок 14. Возможные отношения между субъектом и предикатом

истинного частноотрицательного суждения