Высказывание как форма мысли
Обновлено: 22.12.2024
Наряду с понятием к числу основных форм мышления относится суждение. Эта форма мышления является, по существу, обязательным элементом всякого познания, в особенности, связанного с процессами рассуждения, с осуществлением выводов и построением доказательств. В этой форме фиксируются результаты познания отдельных предметов, классов предметов, некоторых ситуаций вообще. В мысли этого типа содержится, с одной стороны, описание или хотя бы просто обозначение этих предметов, классов, ситуаций, а с другой - утверждение или отрицание наличия у них той или иной характерис-тики.
Пример. В суждении «Каждая планета Солнечной системы вращается вокруг своей оси» утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. А в суждении «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя каждой планеты Солнечной системы.
Суждение – это форма мысли, содержащая описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в действительности.
Важнейший отличительный признак суждения – утверждение или отрицание чего-либо о чем-либо. В понятии ничего не утверждается и не отрицается. В нем лишь выделяется сам предмет мысли (например: «день», «ночь», «солнечный день», «несолнечный день»). В суждении же акцентируется внимание на самом соотношении между какими-либо предметами мысли: «День солнечный» или «День не солнечный», «День прошел», «Ночь настала».
И в самых простых, и в достаточно сложных суждениях всегда утверждается или отрицается наличие тех или иных признаков у некоторых объектов. Поэтому в общем виде определение суждения можно сформулировать и следующим образом:
суждение – это мысль, в которой утверждается или отрицается наличие связи между объектами и признаками.
Знаком, в виде которого выражается суждение, является повествовательное предложение. Смыслом этого знака должна быть связанная с ним мысль. Это и есть само суждение. Что касается значения предложения, то иногда в качестве него рассматривают ситуацию, которая имеет или не имеет места в действительности и которая описывается суждением. Однако чаще всего значением предложения принято считать истину или ложь.
В современной логике вместо термина «суждение» предпочитают употреблять термин «высказывание». В традиционной логике термином «суждение» обозначали именно некоторый смысл повествовательного предложения с учетом того, что он может быть общим для различных знаковых форм. Иначе говоря, одно и то же суждение может быть выражено в различных формах повествовательных предложений.
Пример. Можно утверждать, что «Всякий человек способен мыслить» и что «Все люди обладают способностью мышления», но в обоих случаях выражается одна и та же мысль (одно и то же суждение).
С термином «высказывание» обычно связывают некоторый смысл (суждение) вместе с его знаковой формой. Говоря о суждении, не обязательно иметь в виду какую-либо определенную знаковую форму. Говоря же о высказывании, подразумеваем определенную знаковую форму вместе с ее смыслом. Когда же имеем в виду лишь саму знаковую форму высказывания, - отвлекаясь от ее смысла, т.е. от выражаемого в ней суждения, - то употребляем термин «повествовательное предложение».
Виды суждений. При выделении видов суждений, прежде всего, различают простые и сложные. Простым называется такое суждение, ни одна логическая часть которого не является суждением.
Пример. «Математика – абстрактная наука».
Сложным является такое суждение, которое содержит в качестве своей правильной части, т.е. части, не совпадающей с целым, некоторое другое суждение.
Пример. «Если вы будете хорошо учиться, то обязательно получите диплом».
Виды простых суждений. Основными частями простых суждений являются один или несколько субъектов суждения (логических подлежащих) и предикат суждения (логическое сказуемое). Субъект и предикат суждения называются терминами этого суждения.
Субъект суждения – это термин, возможно, выражающий понятие и представляющий предмет, о котором нечто утверждается или отрицается. Субъект суждения принято обозначать буквой 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.
Пример. «Некоторые люди есть существа, имеющие преступные наклонности».
Рис. 13. Возможные отношения между субъектом
и предикатом истинного частноутвердительного суждения
Частноотрицательные суждения обозначаются буквой О.
Каноническая форма: Некоторые S не есть Р.
Запись на языке логики предикатов: $x(S(x) Ù ùP(x)).
Частноотрицательное суждение также истинно только при определенных отношениях между понятиями S и Р (рис. 14).
Пример. «Некоторые люди не есть существа, имеющие преступные наклонности».
Буквенные обозначения категорических суждений – это гласные буквы латинских слов affirmo - утверждаю и nego - отрицаю.
Читайте также: