Логика: учебник для юридических вузов

§ 1. Суждение как форма мышления. Суждение и предложение

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

Связи и отношения выражаются в суждении посредством утверждения или отрицания. В суждении «Граждане Российской Федерации имеют право на образование» связь между гражданами России и их правом на образование утверждается; в суждении «Некоторые преступления не являются умышленными» связь между некоторой частью преступных деяний и их умышленным характером отрицается.

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

Суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предметов; суждение может быть либо истинным, либо ложным[22].

Суждения выражаются повествовательными предложениями, в них закрепляется определенная информация, утверждающая или отрицающая что-либо и характеризующаяся истинностью или ложностью. Таковы, например, предложения «Россия — суверенное государство», «Зимин работает в городском суде», «Эти лица не являются совершеннолетними».

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

От собственно вопросительных предложений следует отличать предложения вопросительно-риторические (риторические вопросы), содержащие утверждение или отрицание в форме вопроса. Например: «Кто же этого не знает?», «Разве можно так поступать?» Эти предложения выражают суждения «это знают все», «так поступать нельзя». Они могут быть как истинными, так и ложными.

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

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

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

В распространенном предложении, кроме главных членов — подлежащего и сказуемого, — имеются второстепенные члены (определение, дополнение, обстоятельство). Например, в суждении «Судебные речи известного русского юриста А. Ф. Кони отличались глубоким психологическим анализом обстоятельств дела» субъектом является понятие «судебные речи известного русского юриста А. Ф. Кони», предикатом — «отличались глубоким психологическим анализом обстоятельств дела». Связка грамматически не выражена.

Грамматический анализ предложения, выражающего данное суждение, показывает, что это простое распространенное двусоставное повествовательное предложение, в котором субъект и предикат выражаются «группой подлежащего» и «группой сказуемого», включающими в свой состав, кроме главных, второстепенные члены предложения. Главные члены предложения могут совпадать с субъектом и предикатом суждения только в простом нераспространенном двусоставном предложении, например: «Халатность (S) — преступление (Р)»[23].

В отличие от подлежащего и сказуемого, имеющих определенные грамматические формы выражения, субъект и предикат строго стабильных форм выражения не имеют и нередко определяются логическим ударением. Например, высказывание «Степанов имеет высшее юридическое образование» в зависимости от логического ударения, с помощью которого выделяется предикат суждения, может выражать три разных суждения: 1) Степанов (а не кто-то другой) имеет высшее юридическое образование; 2) Степанов имеет высшее (а не среднее) юридическое образование; 3) Степанов имеет высшее юридическое (а не какое-либо другое) образование.

В грамматически преобразованном виде эти суждения будут иметь следующий вид:

1) лицом, имеющим высшее юридическое образование (S), является Степанов (Р);

2) юридическое образование, которое имеет Степанов (S), является высшим (Р);

3) высшее образование, которое имеет Степанов (S), является юридическим (Р).

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

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

Суждения делятся на простые и сложные.

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

1. Что такое суждение? Приведите определение.

2. Какие предложения выражают суждения и какие — не выражают?

3. Чем отличается суждение от предложения по составу?

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

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

1. Атрибутивным (от латинского attributio — «свойство», «признак») называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Например: «Сроки аренды определяются договором», «Никто из судей не вправе воздержаться от голосования».

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

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

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

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

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

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

S (S₁, S₂, S₃) есть Р.

Некоторые суждения отражают принадлежность (или непринадлежность) предмету нескольких признаков. В этом суждении субъект имеет не один, а два или более предикатов. Например: «Никто (S) не может быть подвергнут произвольному аресту (P₁), задержанию (Р₂) или изгнанию (Р₃)». Это суждение может быть рассмотрено как простое со сложным предикатом:

S есть Р (Р₁, Р₂, Р₃).

Существуют также суждения со сложным субъектом и сложным предикатом, например, «Мужчина (S₁) и женщина (S₂) имеют равные права (P₁) и свободы (Р₂) и равные возможности их реализации (Р₃)». (Конституция РФ, ст. 19). Схема этого суждения:

S (S₁, S₂) есть Р (P₁, Р₂, Р₃).

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

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

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

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

Схема 21

Например: «А равно В», «С больше D», «Семен — отец Сергея», «Казань восточнее Москвы», «Мораль возникла раньше права», «Пьянство — причина многих преступлений».

Принята следующая запись суждения с отношениями: xRy, где х и у — члены отношения, они обозначают понятия о предметах, R — отношение между ними (R — первая буква латинского слова relativus — «относительный»). Запись читается: х находится в отношении R к у. Запись отрицательного суждения ˥(xRy) (неверно, что х находится в отношении R к у).

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

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

1. Какие суждения называются простыми? Укажите их виды и состав.

2. Что представляют собой категорические суждения со сложным субъектом и сложным предикатом?

3. Как выражаются отношения между субъектом и предикатом в круговых схемах?

§ 3. Классификация и категорических суждений

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

1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Например, «Автором произведения признается гражданин, творческим трудом которого оно создано» — утвердительное суждение. Его логическая схема «S есть Р». «Обвиняемый не обязан доказывать свою невиновность» — отрицательное суждение. Его логическая схема «S не есть Р».

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

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

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

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

Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например: «Это здание — памятник архитектуры», «Васильев в нотариальной конторе не работает». Схемы единичных суждений: «Это S есть Р» и «Это S не есть Р».

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

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

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

В определенном частном суждении слою «некоторые» употребляется в значении «только некоторые». Если, например, нам известно, что показания дали не все, а только некоторые свидетели, значит, другая их часть показаний не давала. Поэтому определенное частное суждение содержит знание и о той другой части свидетелей и может рассматриваться как два суждения: «Некоторые свидетели дали показания» и «Некоторые свидетели показаний не давали». Схемы определенных частных суждений: «Только некоторые S есть Р» и «Только некоторые S не есть Р».

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

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

Слова «это», «все», «ни один», «некоторые» и другие, характеризующие суждение со стороны его количества, называются кванторными словами (от латинского quantum — «сколько»). Введение в суждение кванторных слов называется квантификацией.

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

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

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

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

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

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

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

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

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

4) Частноотрицательное суждение — суждение, частное по количеству и отрицательное по качеству. Например: «Некоторые приговоры суда (S) не являются обвинительными (Р)». Это суждение имеет схему «Некоторые S не есть Р». Кванторное слою «некоторые» указывает на количество суждения, отрицательная связка «не есть» — на его качество.

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

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

А (Все S есть Р): ∀ х (S(x) → Р(х)) —

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

Е (Ни одно S не есть Р): ∀ х (S(x) → ˥Р(х)) —

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

I (Некоторые S есть Р): Ǝ х (S(x) ∧ Р(х)) —

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

О (Некоторые S не есть Р): Ǝ х (S(x) ∧ ˥Р(х)) —

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

1. На какие виды делятся суждения по качеству и количеству?

2. Чем отличаются неопределенно частные суждения от определенно частных?

3. На какие виды делятся суждения по объединенной классификации? Приведите их схемы и символы.

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

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

1) Количественная характеристика суждений устанавливает объем субъекта, объем предиката остается неопределенным. Например, из суждения «Зимин — свидетель происшествия» нельзя установить, является ли Зимин единственным или одним из свидетелей происшествия.

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

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

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

Частные выделяющие суждения не следует смешивать с определенными частными суждениями. В определенном частном суждении «Только некоторые свидетели (S) дали показания (Р)» отношение предиката к субъекту остается неопределенным: показания дают не только свидетели, но также потерпевший, обвиняемый (схема 22). В частном выделяющем суждении определено отношение не только субъекта к предикату, но и предиката к субъекту: некоторые преступники, и только преступники, — рецидивисты (схема 23).

Схема 22

Схема 23

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

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

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

Значение выделяющих и исключающих суждений состоит в том, что положения, выраженные в форме этих суждений, характеризуются точностью и определенностью, что исключает их неоднозначное понимание. Именно поэтому ряд научных положений, а также статей международных документов, законов государства, статей уголовного, уголовно-процессуального и других кодексов выражен в форме выделяющих или исключающих суждений. Например, в Конституции Российской Федерации статьи 118 (часть 1) и 123 (часть 2) гласят: «Правосудие в Российской Федерации осуществляется только судом», «Заочное разбирательство уголовных дел в судах не допускается, кроме случаев, предусмотренных федеральными законами».

1. Какие суждения называются выделяющими? Могут ли быть выделяющими единичные, частные и общие суждения? Приведите их схемы.

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

§ 5. Распределенность терминов в суждении

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

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

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

Распределенность терминов в суждении принято изображать в круговых схемах. Распределенность субъекта и предиката в общеутвердительном суждении изображена на схеме 24.

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

Схема 24

Схема 25

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

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

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

Схема 26

Схема 27

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

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

Схема 28

Схема 29

Приведем таблицу распределенности терминов, обозначив распределенность термина знаком +, нераспределенность знаком —.

Таблица 1

Из таблицы видно, что субъект распределен в общих (А и Е) и не распределен в частных суждениях (I и О). Предикат распределен в отрицательных (Е и О) и не распределен в утвердительных суждениях (А и I). В выделяющих суждениях предикат распределен.

§ 6. Логические отношения между простыми суждениями

Суждения делятся на сравнимые и несравнимые.

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

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

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

Схема 30

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

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

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

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

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

При ложности одного из них другое будет истинным: ˥I → O; ˥O → I. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми». В то же время при истинности одного из частных суждений другое может быть как истинным, так и ложным: I → (О ∨ ˥О); О → (I v I˥).

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

При истинности общего суждения частное всегда будет истинным: А → I; Е → О. Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права». При истинности суждения «Ни один кооператив не относится к государственным организациям» будет истинным и суждение «Некоторые кооперативы не относятся к государственным организациям»[24].

При ложности частного суждения общее суждение также будет ложным: ˥I → ˥А; ˥O → ˥Е. Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».

При подчинении остаются неопределенными следующие зависимости: при ложности общего суждения подчиненное частное может быть как истинным, так и ложным: ˥А → (I ∨ ˥I); ˥Е (О ∨ ˥O); при истинности подчиненного частного общее может быть как истинным, так и ложным: I → (А ∨ ˥А); О → (E ∨ ˥Е).

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

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

Истинность одного из противоположных суждений определяет ложность другого: А → ˥Е; Е → ˥А. Например, истинность суждения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим». При ложности же одного из противоположных суждений другое остается неопределенным — оно может быть как истинным, так и ложным: ˥А → (Е ∨ ˥Е); ˥Е → (А ∨ ˥А). Например, при ложности суждения «Все птицы улетают зимой в теплые края» ему противоположное «Ни одна птица не улетает зимой в теплые края» тоже оказывается ложным. В другом случае при ложности суждения «Ни один судья не является юристом» ему противоположное «Все судьи — юристы» будет истинным.

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

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

Если А признается истинным, то О будет ложным (А → ˥O); при истинности Е будет ложным I (Е → ˥I). И наоборот: при ложности А будет истинным О (˥А → О); а при ложности Е будет истинным I (˥Е → I).

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

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

1. Какие суждения являются сравнимыми и какие — несравнимыми?

2. На какие виды делятся сравнимые суждения?

3. Какие суждения называются эквивалентными?

4. Каковы истинностные характеристики суждений, находящихся в отношениях частичной совместимости и подчинения? В отношениях несовместимости: противоположности и противоречия?