Суждение (высказывание) как форма мышления

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Например: «Все люди есть существа, имеющие преступные наклонности». Это суждение истинно при определенных отношениях между понятиями S и Р (рис. 6).

S,P

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

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

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

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

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

Например: «Ни один человек не есть существо, имеющее преступные наклонности». Общеотрицательное суждение истинно при отношениях между понятиями S и Р, показанных на рис. 7.

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

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

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

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

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

Например: «Некоторые люди есть существа, имеющие преступные наклонности». Частноутвердительное суждение истинно при отношениях между понятиями S и Р, показанных на рис. 8.

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

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

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

Например: «Некоторые люди не есть существа, имеющие преступные наклонности». Частноотрицательное суждение также истинно только при определенных отношениях между понятиями S и Р (рис. 9).

S, P

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

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

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

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

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