понятие, умозаключение

§ 2. Простые суждения

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

ВИДЫ

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

Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъек­та, предиката и связки; его логическая схема S—Р, где S — субъект суждения, Р — предикат суждения, «—» — связка.

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

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

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

Некоторые суждения отражают принадлежность (или непринад­лежность) предмету нескольких признаков. В этом суждении субъ­ект имеет не один, а два или больше предикатов.

2. Суждением с отношением называется суждение об отноше­нии между предметами. Это могут быть отношения равенства, не­равенства, родства, пространственные, временные, причинно-след­ственные и другие отношения.

Принята следующая запись суждения с отношениями: хRу, где х и у — члены отношения, они обозначают понятия о предметах, R — отношение между ними. Запись читается: х находится в отношении R к у. Суждение с отношениями имеют структуру, отличающуюся от структуры атрибутивных суждений. Тем не менее они могут быть преобразованы в атрибутивные.

3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.

Классификация категорических суждений
Категорические суждения делятся 1) по качеству и 2) по количе­ству. А так как любое суждение имеет и количественную и качест­венную характеристику, их принято делить по 3) объединенной классификации.

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

Утвердительное и отрицательное суждения различаются харак­тером связки, ее качеством. Утвердительная связка («есть») указы­вает на принадлежность признака предмету. Суждение с отрица­тельным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное.

2. Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие.

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

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

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

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

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

3. Объединенная классификация суждений. Объединяя количест­венную и качественную характеристики, суждения делятся на обще­утвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение — это суждение, общее по коли­честву и утвердительное по качеству. Общеотрицательное суждение — суждение, общее по количе­ству и отрицательное по качеству. Частноутвердительное суждение — суждение, частное по коли­честву и утвердительное по качеству. Частноотрцательное суждение — суждение, частное по количе­ству и отрицательное по качеству.

В логике принято сокращенное обозначение суждений по их объединенной классификации.

Cуждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): V х (S(х) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуют х, которым присуще свойство S и свой­ство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуют х, которым присуще свойство S и не прису­ще свойство Р.

Выделяющие и исключающие суждения

Особое место в классификации суждений занимают 1) выделяю­щие и 2) исключающие суждения.

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

«Некоторые города — столицы государств» — пример частного выделяющего суждения (некоторые 8, и только S, суть Р). Столица­ми государств могут быть только города, и притом только некоторая их часть. Предикат частного выделяющего суждения полностью вхо­дит в объем субъекта.

Частные выделяющие суждения не следует смешивать с опреде­ленными частными суждениями. Если в определенном частном суж­дении уточняется объем субъекта, то в частных выделяющих сужде­ниях уточняется объем предиката.

«Все преступления, и только преступления, — предусмотренные законом общественно опасные деяния» — пример общего выделяю­щего суждения (Все S, и только S, суть Р). Объемы субъекта и предиката общего выделяющего суждения полностью совпадают.

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

Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предме­там, за исключением некоторой их части. Например: «Все студенты нашей группы, кроме Волкова, сдали экзамены». Исключающие суждения выражаются предложениями со словами «кроме», «за ис­ключением», «помимо», «не считая» и т.п. (Все S, за исключением S1, суть Р).

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

Распредеденность терминов в суждениях

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

Рассмотрим, как распределены термины в суждениях А, Е, I, О.

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

Таким образом, в общеутвердительных суждениях S распреде­лен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.

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

Суждение I (Некоторые S суть Р). «Некоторые студенты нашей группы (S) — отличники (Р)». Субъект этого суждения не распре­делен, так как в нем мыслится только часть студентов нашей груп­пы, объем субъекта лишь частично включается в объем предиката. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники — студенты нашей группы.

Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.

Суждение О (некоторые S не суть Р). «Некоторые студенты нашей группы (S) — не отличники (Р)». Субъект этого суждения не распределен, пре­дикат распределен, в нем мыслятся все отличники, ни один из кото­рых не включается в ту часть студентов нашей группы, которая мыслится в субъекте. Следовательно, в частноотрицательном сужде­нии S не распределен, а Р распределен.

§ 4. Логические отношения между суждениями
Простые суждения
Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть

женщины».

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

Отношения между простыми суждениями обычно рассматрива­ются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые катего­рические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями.

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

К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эк­вивалентность (полная совместимость), 2) частичная совмести­мость (субконтрарность) и 3) подчинение.

1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъ­екты и предикаты, однотипную — утвердительную или отрицатель­ную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.

2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истин­ным

При ложности частного суждения общее суждение также будет ложным

Отношение несовместимости.

Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

2. Противоречащими (контрадикторными) являются сужде­ния А и О, Е и I, которые одновременно не могут быть ни истин­ными, ни ложными.

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

?

§3. Сложные суждения

1. Соединительные (конъюнктивные) суждения.

Соединительным, или конъюнктивным называю суждение, со­стоящее из нескольких простых, связанных логической связкой «и».

Соединительное суждение может быть как двух-, так и многосо­ставным; в символической записи: р ^ q ^ г ^... ^ n.

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

1. Соединительная связка представлена в сложном субъекте по схеме: S1 и S2 есть Р. Например: «Конфискация имущества и лише­ние звания являются дополнительными уголовно-правовыми сан­кциями».

2) Связка представлена в сложном предикате по схеме: S есть P1 и P2. Например: «Преступление — это общественно опасное и про­тивоправное деяние».

3) Связка представлена сочетанием первых двух способов по схеме: S1 и S2 есть P1 и Р2. Например: «С полицмейстером и прокуро­ром Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Го­голь).

Соединительное суждение истинно при истинности всех состав­ляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р ^ q показаны в таблице (рис. 31), где истинность обозначена И, а ложность — Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэ­тому все возможные сочетания зна­чений И и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение р л q. Из четырех построч­ных вариантов истинным оно явля­ется лишь в 1-й строке, когда истин­ны оба конъюнкта: и р, и q. Во всех остальных случаях оно ложно: во 2-й и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов.

Условные (импликативные) суждения.

Условным, или импликативным, называют суждение, состоя­щее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гас­нет». Первое суждение — «Предохранитель плавится» называют ан­тецедентом, второе — «Электролампа гас­нет» — консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком «—>», то имплика-тивное суждение символически можно выразить как p—>q.

Условия истинности импликативного суждения показаны в таб­лице. Импликация истинна во всех случаях, кроме одного:

при истинности антецедента и ложности консеквента (2-я строка) импликация всегда будет ложной. Сочетание истинного антецедента, например «Предохранитель плавит­ся», и ложного консеквента — «Электролампа не гаснет» — являет­ся показателем ложности имплика­ции.

Истинность импликации объяс­няется следующим образом. В 1-й строке истинность р имплицирует

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

В 3-й строке при ложном антецеденте — «Предохранитель не плавится» консеквент является истинным — «Электролампа гас­нет». Ситуация вполне допустимая, ибо предохранитель может не плавиться, а электролампа может погаснуть в силу других причин — отсутствия тока в цепи, перегорания нити в лампе и т.д. Таким образом, истинность q при ложности р не опровергает идею о наличии условной зависимости между ними, поскольку при истинности р всегда будет истинным и q.

В 4-й строке при ложном антецеденте — «Предохранитель не плавится» ложным является и консеквент — «Электролампа не гас­нет». Такая ситуация возможна, но она не ставит под сомнение факт условной зависимости р и q, ибо при истинности р всегда будет истинным q.

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

Сложные суждения

Сложные суждения также могут быть сравнимыми и несравни­мыми.

Несравнимые — это суждения, которые не имеют общих пропо­зициональных переменных. Например, р ^ q и m ^ n.

Сравнимые — это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логически­ми связками, включая отрицание.

Сложные сравнимые суждения могут быть совместимыми и не­совместимыми.

Отношение совместимости.

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

эквивалентность, частичная совместимость и подчинение.

1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.

2. Частичная совместимость характерна для суждений, кото­рые могут быть одновременно истинными, но не могут быть одно­временно ложными.

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

Отношение несовместимости.

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

Противоположность — отношение между суждениями, кото­рые одновременно не могут быть истинными, но могут быть одно­временно ложными.

2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.