Определение и структура суждения. Виды простых суждений. Отношения между видами простых суждений. Виды суждений

СУЖДЕНИЕ

Если сказанное оценивается только по истинностному значению ( утверждения: «А - истинно» или «А - ложно») , С. наз. ассерторическим. Если утверждается (истинности) сказанного [модус утверждения: «А - возможно (истинно) » или «возможно, что А (истинно) »], С. наз. проблематическим. Когда же утверждается (истинности) сказанного [модус утверждения: «А необходимо (истинно) » или «необходимо, что А (истинно) »], С. наз. аподиктическим. Допустимы, конечно, и иные оценки сказанного, напр. «Л - прекрасно» или «Л - неудачно», но такого рода С. пока не нашли формального выражения в к.-л. логич. теории.

В классич. логике единств. способ оценки сказанного сводится к первому рассмотренному выше случаю, но сказанное и ассерторич. сказанного (как показывают табл. 1 и 2) , с т. зр. этой логики,-

А истинно

истина ложь

ложь истина

неразличимы. Поэтому в классич. логике термины «С.» и «высказывание» синонимичны и как самостоят. объекты исследования С. не выделяются. Предметом спец. изучения С. фактически становятся только в модальной логике.

Зигварт X., Логика, пер. с нем. , т. 1, СПБ , 1908 ; Ч ё ? ч А., Введение в математич. логику, пер. с англ. , т. 1, М., I960, § 04; Фейс Р., Модальная , пер. [с англ.], М., 1974.

Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

СУЖДЕНИЕ

в логике выраженное в форме предложения высказывание, с помощью которого связываются два понятия ( и предикат; см. Предложение). В суждении мысль выкристаллизовывается. Суждение соотносит с предметом и вместе с тем с его предикатами с помощью связки «есть», которая всегда направлена на абсолютную утверждаемого положения вещей. Ибо для истинного суждения характерно, что нельзя допустить ничего противоречащего этому суждению и одновременно обладающего значимостью. Если существуют данного положения вещей, то благодаря суждению эти условия сополагаются столь же категорично, как и само положение вещей. Внутренним, неотъемлемым качеством всякого суждения является то, что оно заключает в себе с содержанием всех возможных субъектов познания, всех возможных положений вещей и необходимых условий. Эта совокупность всех возможных субъектов, положений дел и необходимых условий управляется одним общим законом – законом непротиворечия. Кант в «Критике чистого разума» различает следующие виды суждений: 1) по количеству – общие, частные и единичные; 2) по качеству – утвердительные, отрицательные, бесконечные; 3) по отношению – категорические, гипотетические, разделительные; 4) по модальности – проблематические, ассерторические, аподиктические. Аналитическими, или объясняющими, суждениями являются, по Канту, суждения, предикат которых уже заранее содержится в субъекте («все тела протяженны»); синтетическими, или расширяющимися, суждениями – суждения, прибавляющие к понятию субъекта предикат, который еще не подразумевается в знании о субъекте («все тела обладают весом»).

Философский энциклопедический словарь . 2010 .

СУЖДЕ́НИЕ

В традиц. формальной логике (вплоть до работ Фреге по логической семантике) под С. понимали (с теми или иными незначительными оговорками и дополнениями) утвердительное или отрицательное повествовательное предложение. Однако в традиц. учении о С., в особенности в разделе о преобразовании формы суждения, интуитивно подразумевалось и в использовании терминов "С." и "повествовательное предложение". Первый обычно использовался как термин для обозначения утверждений (или отрицаний) "чего-то о чем-то", осуществляемых посредством повествовательных предложений (в том или ином языке). Второй служил для языковой характеристики утверждений, т.е. оставался Преимущественно грамматическим термином. Это неявное различие находило выражение в различении (в общем случае) логической структуры С. и грамматической структуры предложений, к-рое проводилось со времен аристотелевской силлогистики. Так, в классич. атрибутивных С. с у б ъ е к т (то, о чем сказывается, или говорится – речи) отождествлялся, как , с грамматич. подлежащим, а п р е д и к а т (то, что сказывается, или говорится, о предмете речи – субъекте) понимался уже грамматич. сказуемого и отождествлялся с именной частью сказуемого, выражаемого, напр., прилагательным. В отличие от грамматической, логическая сказывания (форма С.) всегда обозначала, что предмету (субъекту С.) присущ (или не присущ) определ. , т.е. сводилась к атрибутивной трехчленной связи: субъект – глагол-связка – .

Указанное различие в употреблении терминов "С." и "повествовательное предложение" привело в дальнейшем к более четкому определению соответствующих им понятий. Уже для Б. Больцано, а затем и для Г. Фреге С. – это (смысл) истинного (или ложного) повествовательного предложения. Характеристика (повествовательного) предло-жения с т. зр. его истинностного значения восходит к Аристотелю и не является, конечно, новой. Главное, что отличает понимание от традиционного, это абстрагирование содержания (повествовательного) предложения – С. в собственном смысле слова – от его истинностного значения и от материальной (языковой) формы его выражения, выделение С. исключительно в качестве логического элемента речи – абстрактного объекта "...той же степени общности, что и , число или " (Чёрч Α., Введение в математическую логику, М., 1960, с. 32). Существенно новым является также выделение истинностных значений предложений – "истины" и "лжи" (к-рые могут быть поставлены в соответствие каждому повествовательному предложению в качестве его значения) – в качестве самостоятельных абстрактных объектов, включаемых в интерпретацию логических исчислений. Эта новая т. зр. объяснила эквивалентных преобразований в логике, основанных на принципе объемности (см. Объемности , Принцип абстракции): все истинные предложения эквивалентны в интервале абстракции отождествления по значению (но не по смыслу). С др. стороны, она позволила обобщить традиц. понятие структуры С. на основе понятия логической (или пропозициональной) функции, значениями к-рой являются предложения, или их истинностные значения. Так, предложению "Сократ есть человек" в традиц. понимании соответствовала "S есть Р". Если в этой схеме S и Ρ понимать как переменные, имеющие различные области значений, или как переменные различных семантических уровней, или разного сорта, или, наконец, принадлежащие к различным алфавитам: – как переменную на области "индивидуальных имен", а Р – как переменную на области "понятий", то при выборе понятия "человек" в качестве значения переменной Ρ (или в общем случае, полагая переменной Ρ фиксированным, т.е. полагая, что Ρ имеет вполне определенное, хотя и произвольное, неуточняемое в данном контексте, значение) схема "S есть Р" преобразуется в выражение "S есть человек" (в общем случае в выражение "...есть Р", где точки заменяют букву S), к-рое при подстановке на переменной S индивидуального имени (значения) "Сократ" обращается в истинное предложение. Очевидно, что выражение "...есть человек" (в общем случае выражение "...есть Р") – это функция от одной переменной, к-рая принимает значения " " или "ложь", когда на место точек ставят нек-рого субъекта, играющее здесь обычную роль аргумента функции. Аналогично этому выражение "...больше чем..." есть функция от двух переменных, а выражение "находится между... и..." – функция от трех переменных и т.п. Т. о., совр. взгляд на структуру С. сводится к тому, что его традиц. "предикат" и "субъект" заменяются соответственно точными матем. понятиями функции и ее аргументов. Эта новая трактовка отвечает давно ощущавшейся в обобщенной характеристике логич. рассуждений, к-рая охватывала бы не только (и даже не столько) силлогистические, но и в особенности – осн. умозаключения науки. В свою очередь функциональная форма выражения С. открывает широкие возможности для формализации предложений любой науч. теории. (Объяснение того, как в совр. логике характеризуется и формализуется субъектно-предикатная С. см. в ст. Квантор и Предикатов исчисление.)

М. Новосёлов. Москва.

Рассмотренные выше деления С. на виды создавались гл. образом для обслуживания потребностей традиц. формальной логики и прежде всего для решения проблем осн. ее раздела – теории вывода. Так, деление С. по количеству, качеству и модальности было установлено Аристотелем для потребностей созданной им теории силлогистич. вывода (см. Силлогистика). Деление С. на простые и сложные и разработка вопроса о видах сложного С. логиками мегаро-стоической школы потребовалось для исследования ими различных видов условного и разделительного умозаключений. Деление С. на С. свойства и С. отношения возникло в связи с рассмотрением т.п. несиллогистических умозаключений. Обычно считается, что в задачу формальной логики не входит всех встречающихся в познании видов и разновидностей С. и построение всеохватывающей классификации С. Попытки построения подобного рода классификаций имели место в истории философии [такова, напр., С. у Вундта (см. W. Wundt, Logik, 4 Aufl., Bd 1, Stuttg., 1920)].

Вместе с тем следует отметить, что, кроме формальнологич. подхода к вопросу о видах С., когда С. делятся на виды по точно фиксир. логич. основаниям деления и само деление устанавливается для обслуживания потребностей теории вывода, вполне правомерен так же и иной, гносеологич. подход к этому вопросу. Для верно понятого гносеологич. подхода к проблеме видов С. характерным является к сравнительной познавательной ценности известных в науке видов С. и исследование переходов от одного вида С. к другому в процессе познания действительности. Так, рассматривая с этой т. зр. деление С. по количеству, мы обращаем внимание на то, что единичные С. играют в основном двоякую роль в процессе познания. Во-первых, единичные С. выражают и закрепляют знания об отд. предметах. Сюда относятся историч. событий, характеристика отд. личностей, описание Земли, Солнца и т.п. При этом среди подобного рода единичных С. мы отмечаем переход от т.н. С. принадлежности, в к-рых утверждается только принадлежность признака предмету, к включающим и выделяющим С., коль скоро мы устанавливаем, что утверждаемый признак принадлежит не только данному предмету (включающее суждение) или только данному предмету (выделяющее суждение). Во-вторых, единичные С. подготовляют послед, формулировку частных и общих С. Исследовав все пласты к.-л. геологич. разреза и зафиксировав в ряде единичных С., что каждый из исследуемых пластов – морского происхождения, мы можем высказать общее С: "Все пласты данного геологич. разреза – морского происхождения".

Относительно частного С. заметим, что в процессе познания действительности совершается переход от неопредел. частного С. к определ. частному С. либо к общему С. В самом деле, неопредел. частное С. (или просто частное С.) высказывается в таких случаях, когда, зная, что нек-рые предметы к.-л. класса предметов обладают или не обладают известным признаком, мы еще не установили ни того, что этим признаком обладают (не обладают) так же и все прочие предметы данного класса предметов, ни того, что этим признаком не обладают (обладают) нек-рые др. предметы данного класса предметов. Если в дальнейшем устанавливается, что указ. признаком обладают только нек-рые или все предметы данного класса, то частное С. заменяется определ. частным или общим С. Так, частное С. "Нек-рые металлы тяжелее воды" в процессе изучения металлов уточняется в определ. частном С. "Только нек-рые металлы тяжелее воды". Частное С. "Нек-рые виды механич. движения переходят посредством трения в теплоту" заменяется общим С. "Всякое механич. переходит посредством трения в теплоту". Определ. частное С., решая проблему, выдвинутую частным С., а именно – о том, всем или не всем предметам данного класса предметов присущ или не присущ известный признак, в то же время оставляет не решенным вопрос о том, какие именно предметы обладают или не обладают утверждаемым признаком. Для устранения этой неопределенности определ. частное С. должно быть заменено либо общим, либо множественным выделяющим С. Для перехода от определ. частного С. к т.н. множественному выделяющему С. требуется установить качеств. определенность каждого из тех нек-рых предметов, о к-рых идет речь в определ. частном С. В этом случае, напр., определ. частное С. "Только нек-рые ученики данного класса хорошо успевают по русскому языку" заменяется множественным выделяющим С. "Из всех учеников данного класса только Шатов, Петров и Иванов хорошо успевают по русскому языку". Переход к общевыделяющему С. осуществляется тогда, когда один или несколько из познанных общих признаков нек-рых предметов данного рода мы можем выделить в качестве характерной особенности всех этих ("нек-рых") предметов. Напр., познав, что все те ("нек-рые") животные, о к-рых идет речь в С. "Только нек-рые животные обладают толстыми кишками", составляют класс млекопитающих животных, мы можем высказать общее выделяющее С: "Все млекопитающие, и только млекопитающие, обладают толстыми кишками". Подобного рода переходы между С. можно установить также с т. зр. их модальности и в нек-рых иных отношениях (см. А. П. Шептулин, Диалектический , М., 1965, с. 271–80; Логика, под ред. Д. П. Горского и П. В. Таванца, М., 1956).

Лит.: Таванец П. В., Вопр. теории суждениями., 1955: Πопов П. С., Суждение, М., 1957; Ахманов А. С., Логическое учение Аристотеля, М., 1900; Смирнова Е. Д., К проблеме аналитического и синтетического, в сб.: Филос. вопр. совр. формальной логики, М., 1962; Горский Д. П., Логика, 2 изд., М., 1963.

П. Таванец. Москва.

Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .

СУЖДЕНИЕ

СУЖДΕΗИΕ - мысль, в которой утверждается наличие или отсутствие каких-либо положений дел. Различают простые и сложные суждения. Простым называется суждение, в котором нельзя выделить правильную часть, т. е. часть, не совпадающую с целым, в свою очередь являющуюся суждением. Основными видами простых суждений являются атрибутивные и суждения об отношениях. Атрибутивными называются суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов. Атрибутивные суждения состоят из субъекта (логического подлежащего), предиката (логического сказуемого) и связки, а в некоторых имеются еще так называемые кванторные (количественные) слова (“некоторые”, “все”, “ни один” и др.). Субъект и предикат называются терминами суждения.

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

В частных суждениях выражается частичное включение или невключение класса предметов в класс предметов. В них слово “некоторые” употребляется в Смысле “по крайней мере некоторые, а может быть и все”.

Суждения форм “Все S суть Ps> (общеутвердительное), “Ни один S не сугьР” (общеотрицательное), “Некоторые S суть Р” (частноутвердительное), “Некоторые S не суть Р” (частноотрицательное) называются категорическими. Термины в категорических суждениях могут быть распределены (взяты в полном объеме) и не распределены (взяты не в полном объеме). В общих суждениях распределены субъекты, а в отрицательных предикаты. Остальные термины не распределены.

Суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т. д. предметов, называются суждениями об отношениях. Они делятся по качеству на утвердительные и отрицательные. По количеству суждения о двухместных отношениях делятся на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, общеединичные, частно-единичные, обще-частные, частно-общие. Напр., суждение “Каждый студент нашей группы знает какого-нибудь академика” является обще-частным. Аналогично деление на виды по количеству суждений о трехместных, четырехместных и т. д. отношениях. Так, суждение “Некоторые студенты философского факультета знают некоторые древние языки лучше любого современного иностранного языка” является частно-частно-общим.

Кроме атрибутивных и суждений об отношениях в качестве специальных видов простых суждений выделяют суждения существования (типа “Инопланетяне существуют”) и суждения тождества (равенства) (типа “a=fe>).

Описанные суждения, а также образованные из них сложные суждения называются ассерторическими. Они являются (просто) утверждениями или отрицаниями. Наряду с утверждениями и отрицаниями выделяют так называемые сильные и слабые утверждения и отрицания. Напр., усилением ассерторических суждений “Человеку присуще общения с себе подобными”, “Человек не живет вечно”, “Человек имеет мягкие мочки ушей” являются соответственно суждения “Человеку по необходимости присуще свойство общения с себе подобными”, “Человек не может жить вечно”, “Человек случайно имеет мягкие мочки ушей”. Сильные и слабые утверждения и отрицания являются алетическими модальными суждениями. Среди них выделяют суждения необходимости (аподиктические), возможности и случайности.

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

Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются некоммутативно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами T-t, 7з и т. д. в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками некоммутативной конъюнкции и соответственно читаются “..., а затем...”, *..., затем..., а затем...” и т. д. Индексы 2,3 и т. д. указывают на местность союза.

Разделительные суждения - это суждения, в которых утверждается наличие одной из двух, трех и т. д. ситуаций. Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух или более ситуаций, суждение называется строго-разделительным, или строго-дизъюнктивным. Союз “или”, посредством которого выражается утверждение первого типа, обозначается символом ν (читается “или”), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз “или..., или...”, посредством которого выражается утверждение второго типа, - символом у (читается “или..., или...”), называемым знаком строгой дизъюнкции. Табличные определения знаков нестрогой и строгой дизъюнкции:

Суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие , называется условным. Условные суждения чаще всего выражаются предложениями с союзом “если..., то...”. Условный союз “если..., то...” обозначается стрелкой “->”.

В языках современной логики находит широкое распространение союз “если..., то...”, обозначаемый символом “э”. Этот называется знаком (материальной) импликации, а суждение с этим союзом - импликативным. Часть импликативного суждения, находящуюся между словами “если” и “то”, называют антецедентом, а часть, находящуюся после слова “то”, - консеквентом. Знак импликации определяется таблицей истинности:

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

Суждения с этим союзом называются суждениями материальной эквивалентности.

Выше охарактеризованы простые алогические модальные суждения. Сложные суждения, образованные из других суждений посредством выражений “необходимо, что”, “случайно, что”, возможно, что” тоже называются алетическими модальными суждениями. Алетическими модальными суждениями являются также сложные суждения, отдельные составные части которых являются алетическими модальными суждениями. Алетические модальные понятия (“необходимо”, “случайно”, “возможно”) делятся на логические и фактические (физические). Положение дел может быть логически возможно или фактически возможно, логически необходимо или фактически необходимо, логически случайно или фактически случайно. Логически возможно то, что не противоречит законам логики. Фактически возможно то, что не противоречит законам природы и общественной жизни.

Мышления

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В результате освоения данной темы студент должен:

знать

– определение понятия "суждение",
– структуру и виды суждений;

уметь

– графически изображать структуру простых и сложных суждений,
– применять логический квадрат в мыслительной и практической деятельности;

владеть

– навыками табличного построения таблиц истинности.

Общая характеристика суждения

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

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

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

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

В процессе познание суждения выполняет следующие функции:

1) образование понятий (суждение – развернутая форма понятия);
2) установление связей и отношений между понятиями;
3) фиксация, хранение и передача познавательного опыта.

Формальная логика изучает не все стороны суждения. Она занимается рассмотрением структуры готовых суждений.

Языковой формой суждения является повествовательное предложение, которое может быть истинным либо ложным.

Истинным называется суждение, соответствующее действительности.

Ложным является суждение, которая искаженно отражает действительность.

Например: "Железо тяжелее воды" – истинное суждение; "Железо – цветной металл" – ложное, так как железо не относится к группе цветных металлов.

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

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

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

Простые суждения и их виды

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

1) атрибутивные (категорические) суждения;
2) суждения об отношениях (реляционные);
3) суждения существования (экзистенциальные).

Атрибутивные (категорические) суждения, их виды

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

Атрибутивные суждения называют также категорическими (греч. kategorikos – ясный, безусловный, не допускающий иных толкований).

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

Субъект суждения – это понятие о предмете суждения.

Предикат суждения – это понятие о признаке предмета в рассматриваемом суждении.

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

Связка выражается словами "есть", "является", "суть". В этом случае она называется утвердительной. Если связка выражена словами "не есть", "не является", "не суть", то она называется отрицательной. В русском языке утвердительная связка часто опускается, а от отрицательной связки остается лишь частица "не".

Например, если восстановить пропущенную в следующих суждениях связку:

"Русские дворяне преданно служили своему императору.

Русские дворяне не уклонялись от дуэлей",

то получим суждения:

"Русские дворяне есть те, кто преданно служили своему императору.

Русские дворяне не есть те, кто уклонялись от дуэлей".

Субъект и предикат называются терминами суждения.

Пример . В суждении "Московский университет – ведущий государственный вуз России" понятие "Московский университет" – субъект суждения (S ). Понятие "ведущий государственный вуз России" – предикат суждения (Р), "есть" – связка, в данном примере она заменена на тире "–".

Кроме субъекта, предиката и связки в каждом суждении присутствует (или подразумевается) еще один элемент – квантор.

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

Кванторы бывают трех видов: общности; существования; единичные.

1. Квантор общности. Выражается с помощью слов "каждый", "любой", "всякий", "ни один" и т.п.
2. Квантор существования. Это слова "большинство", "меньшинство", "значительная часть", "малая часть", "многие", "иногда" и т.п.
3. Квантор единичности выражается с помощью слов "вот этот", "этот", "это", "тот". Квантор единичности означает, что речь идет о субъекте, объем которого состоит из одного предмета. В символической логике (в логике предикатов) вместо кванторных слов используются знаки:

" – квантор общности (первая перевернутая буква немецкого слова "alie" – "все");

$ – квантор существования (первая перевернутая буква немецкого слова "existiren" – "существовать").

Атрибутивные суждения выражаются формулой "S есть (не есть) Р".

Атрибутивные суждения делятся на виды по количеству и качеству.

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

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

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

Единичное суждение имеет следующую логическую схему: "Это S есть (не есть) Р".

Частное суждение имеет логическую схему: "Некоторые S есть (не есть) Р".

Общее суждение: "Все S есть (не есть) Р".

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

Утвердительное суждение: "S есть Р".

Отрицательное суждение: "S не есть Р".

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

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

Например, предложение: "Спортсмены – вообще физически хорошо подготовленные люди" означает, что в большинстве своем спортсмены физически хорошо развиты.

Часто бывает, что ни одного из перечисленных "опознавательных" слов в предложении нет. Это, однако, не значит, что нельзя определить количество суждения. Для этого нужно попытаться подставить к слову, обозначающему субъект, слово "каждый" или "ни один"; если при этом смысл суждения сохранится, то оно общее; если же смысл суждения нарушится, то оно частное.

Пример . "Книга – могучее орудие воспитания молодежи". Проверяем: "Всякая книга – могучее орудие воспитания молодежи". Здесь смысл искажен, значит, это суждение не общее, а частное.

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

В логике принято следующее сокращенное обозначение категорических суждений по их объединенной классификации. Утвердительные суждения обозначаются первыми двумя гласными буквами (А, I) латинского слова affirmo – "утверждаю", отрицательные – двумя гласными (Е, О) буквами латинского слова nego – "отрицаю".

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

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

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

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

Привести суждение к нормальной форме означает следующее.

1. Установить, какое понятие является субъектом суждения.
2. Установить, какое понятие является предикатом суждения.
3. Определить универсум суждения – класс вещей, разновидностями которого являются субъект и предикат.
4. Заменить глагол, управляемый субъектом суждения, там, где это необходимо, сочетанием слов, начинающихся со слов "есть" или "не есть".
5. Определить знак количества суждений, т.е. установить, с каких из слов – "все", "ни один", "некоторые" – должно начинаться суждение.
6. Расположить полученные сведения в порядке, в котором формулируются все простые суждения: знак количества – субъект – связка – предикат.

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

Каждое суждение обладает определенной структурой , состоящей из двух тесно связанных между собой компонентов: субъекта и предиката. Субъект суждения – это понятие, о котором что-либо утверждается или отрицается, сокращенно обозначается в логике буквой «S». Предикат суждения – это понятие о том, что именно утверждается или отрицается о некотором другом понятии, сокращенно обозначается буквой «Р». Субъект и предикат называются терминами суждения. В этом состоит одна из логических функций понятий. Термины суждения носят соотносительный характер. Один не существует без другого. Однако роль терминов в суждении далеко не одинакова. Субъект содержит уже известное знание, а предикат несет о нем новое знание. Отношение между субъектом и предикатом раскрывается посредством логической связки и в языке выражается словами «есть» («не есть»), «является» («не является»), «представляет собой» («не представляет собой») и др. Иногда связка отсутствует, а логическое соотношение между субъектом и предикатом раскрывается посредством грамматического согласования слов: «Конституция принята». Материальной формой суждения, ее носителем является предложение . Повествовательные предложения выражают суждение. В вопросительных предложениях суждения содержатся неявно. Побудительные предложения, подобно вопросительным, также основаны на каких-либо суждениях. В полном смысле суждения выражают только повествовательные предложения. Обладая определенной структурой, суждения различаются прежде всего по степени сложности. В зависимости от этого суждения делятся на две большие группы – простые и сложные. Простые суждения – это суждения, в которых нельзя выделить правильную часть, которая в свою очередь была бы самостоятельным суждением. Например: «Я – человек» или «Ничто человеческое мне не чуждо». Сложные суждения состоят из двух или более простых суждений, они выражаются при помощи сложных предложений или предложений с однородными членами. Н-р: «Я – человек, и ничто человеческое мне не чуждо». В завис-ти от того, что утверждается или отрицается в суждениях, они делятся на 1) атрибутивные сужд., 2) сужд. с отношениями и 3) суждения существования (экзистенциальные).

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

2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения. Например: «А равно В», «С больше D», «Семен - отец Сергея», «Казань восточнее Москвы», «Мораль возникла раньше права», «Пьянство - причина многих преступлений». Принята следующая запись суждения с отношениями: xRy, где х и у - члены отношения, они обозначают понятия о предметах, R - отношение между ними.

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

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

Мышления

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

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

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

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

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

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

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

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

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

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

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

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