Текст книги "Логика"

Глава 3
Суждение. Классификация суждений и вопросов

♦ Общая характеристика суждения (высказывания)

♦ Преобразование суждений и отношения между ними. Логический квадрат

♦ Логический анализ суждений

♦ Модальность суждений

♦ Виды вопросов

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

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

3.1. Общая характеристика суждения (высказывания)

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

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

Например, «Сидоров В. А. – судья Верховного Суда РФ»; «Советская Армия спасла мировую цивилизацию от фашизма».

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

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

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

Обязательные элементы структуры суждения:

• субъект суждения («S» от лат. subjectum) – понятие о предмете суждения, логическое подлежащее;

• предикат суждения («Р» от лат. – praedicatum) – понятие о признаке предмета или о другом предмете, с которым интересующий предмет (выраженный субъектом) сравнивается, логическое сказуемое.

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

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

Иногда в этом ряду называют квантор (или кванторное слово; «∀», «∃»). Он указывает на отношение суждения ко всему объему понятия, выражающего субъект, или к его части. Он выражается словами: «все», «ни один», «некоторые» и др.

Например, в суждении «Все судьи Российской Федерации имеют высшее юридическое образование» понятие «судьи Российской Федерации» – субъект (S), «высшее юридическое образование» – (P), «имеют» – связка, «Все» – кванторное слово («∀»).

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

1. Деление суждений по объему субъекта:

• единичное → объем субъекта включает только один предмет, например: «Москва – столица России». Логическая схема таких суждений: «Это S есть Р» и «Это S не есть Р»;

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

«Некоторые люди – преступники». Определенное частное суждение имеет логическую схему: «Только некоторые S суть Р»; например: «Только некоторые юристы смогут стать судьями»;

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

2. Деление суждений по качеству связки:

• утвердительное («S есть Р») → связка «есть», «существуют», «бывают». Суждение, в котором утверждается принадлежность предмету некоторого признака, например: «Добросовестный труд и ответственность – источник благосостояния и могущества общества»;

• отрицательное («S не есть Р») → связка «не есть», «не существует», «не бывает». Суждение, в котором отрицается связь между предметом и его признаком или между предметами, например: «На свете смерти нет».

Стоит отличать отрицательное суждение от негативной формы утвердительного суждения. Например:

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

Наконец, бывают отрицающие суждения, например,

«Неправда, что все чиновники коррупционеры» («Неверно, что S есть Р»).

3. Деление суждений по содержанию предиката:

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

Например: «В России существуют различные виды собственности»; «… На свете смерти нет…»;

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

• релятивное → выражает различные отношения между предметами по месту, величине, времени, причинной зависимости и т. д.

Например: «Моральные нормы порой важны не меньше правовых».

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

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

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

Один из обязательных элементов такой таблицы – «шапка» – верхняя строка, в которой последовательно (слева направо), как правило, строчными латинскими буквами указываются все простые суждения, из которых состоит рассматриваемое сложное. Затем, если внутри сложного есть другие сложные, указываются в виде формул (например, а ∧ b) и они. В конце верхней строки («шапки») помещается итоговая формула, отражающее все рассматривоемое сложное суждение. При этом каждая буква, обозначающая просто суждение, и каждая формула, обозначающая сложное суждение, помещаются в отдельных ячейках. Таким образом определяется число столбцов таблицы. Количество строк таблицы, помимо шапки, определяется по формуле: «2ⁿ», где n – количество простых суждений, из которых состоит сложное.

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

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

• соединительное (конъюктивное) → один или оба термина состоят из двух или нескольких понятий, соединенных союзом «и» (иногда «ни»).

Например: «Высокая организованность и творчество студента – залог успеха в учебе и в последующей профессиональной практике»(«S1 ∧ S2 есть Р1 ∧ Р2»).

В естественном языке соединительные суждения могут быть выражены одним из трех способов:

– элементы сложного субъекта, состоящего из конъюктивно связанных субъектов: «S1 ∧ S2 есть Р» (П. Иванов и Е. Строкова – студенты);

– конъюктивно связанные понятия (признаки) в сложном предикате: «S есть P1 ∧ P2» (Судья должен быть компетентным юристом и высоконравственным человеком);

– и элементы сложного субъекта и понятия в сложном предикате: «S1 ∧ S2 есть P1 ∧ P2» (К. К. Рокосовский и А. М. Василевский были великими полководцами и патриотами нашей страны).

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

Таблица истинности коньюнктивного суждения, состоящего из двух простых суждений, выглядит так:

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

Например: «С такой подготовкой к экзамену студент может получить или «удовлетворительно», или, максимум, «хорошо» («S есть Р1 ∨ Р2 ∨ Р3»).

Разделительные суждения делятся на:

– строго разделительные (строго дизъюнктивные – связка «или» употребляется только в разделительном значении (обозначается символом ѷ).

Например: «Подозреваемый может быть виновным или невиновным».

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

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

Так, суждение «Студент либо сдает экзамен по логике, либо не сдает», истинно в том случае, если одно простое суждение (например, «студент сдает экзамен…») истинно, а другое («студент не сдает экзамен…») – ложно. Ложным может быть и первое, а второе истинным.

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

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

Например: «Успех в науке достигается или одаренностью, или упорным трудом».

Истинность разделительного суждения определяется истинностью его составляющих (дизъюнктов).

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

Так, суждение «Студент на семинаре по логике демонстрирует хорошую теоретическую подготовку или проявляет умение решать практические задачи» ложно только тогда, когда оба простые суждения («Студент… демонстрирует хорошую теоретическую подготовку» и «Студент… проявляет умение решать практические задачи») ложны, а в остальных случаях – истинно.

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

– дизъюнктивным соединением нескольких субъектов («S1 ∨ S2 есть Р»; например, «Сегодня Сазонов или Джунадаев дежурные по группе»);

– дизъюнктивным соединением нескольких предикатов («S есть P1 ∨ P2»; например, «Многие выпускники нашего вуза теперь работают в Верховном или в Высшем Арбитражном Судах России»);

– присутствием дизъюнктивной связки и в сложном субъекте и в сложном предикате одновременно («S1 ∨ S2 есть P1 ∨ P2»;

«Студенты Павленко или Мирзоев сегодня должны быть либо на семинаре по основам философии, либо пересдавать задолженность по логике»).

Среди сложных суждений выделяют также импликативные (условные), тождественные (эквивалентные), отрицательные.

• импликативное (условное) – сложное высказывание, состоящее из двух простых, связанных по схеме: «Если…, то…» и отражающих зависимость каких-либо признаков предмета от определенных условий, отношения между предметами. Первая часть такого суждения (вводимая словом «если») – основание, условие (анте-ценд – предыдущее высказывание); вторая (начинающаяся словом «то») – следствие условного высказывания (консеквент – последующее высказывание).

Например: «Если методы исследования верны и проверены, то исследователь может найти истину» («А → В»),

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

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

• эквивалентное – отражает взаимную обусловленность двух ситуаций и, как правило, выражено предложениями с союзом «если и только если…, то…»; «тогда и только тогда…, когда…» или смысловой нагрузкой, выраженной иными словами. Оно похоже на условное, но в отличие от последнего в эквивалентном суждении основание и следствие можно менять местами.

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

Логическая схема данного суждения такова: «А <→ В». Истинно оно тогда, когда обе его части либо истинны, либо ложны (эквивалентны) и ложно в остальных случаях, то есть когда одно из составляющих его простых суждений истинно, а другое – ложно.

Так, приведенное в примере сложное суждение истинно, если (вариант 1) истинно и то, что «судья… следует требования… этики…», и то, что он «… высоконравственная личность», а также (вариант 2) если и то и другое ложь. В остальных случаях оно ложно.

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

Если исходное высказывание истинно, то противоречащее ему высказывание – ложно; если исходное ложно, то противоречащее – истинно.

Наиболее часто употребляемые на практике суждения: общеутвердительные («А»), частноутвердительные («I»), общеотрицательные («Е») и частноотрицательные («О»). Для их условного обозначения используются гласные буквы латинских глаголов affirmo – «утверждаю» (AffIrmo) и nego – «отрицаю» (nEgO).

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

Рис. 7. Общеутвердительные суждения («Все S есть Р»)

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

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

Распределенным считается тот термин, который мыслится в данном высказывании в полном объеме («все студенты», «все судьи» и т. д.), нераспределенным, тот, в котором мыслится только часть предметов рассматриваемого класса («некоторые студенты», «некоторые юристы»).

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

Частноутвердительные суждения («Некоторые S суть Р») – частные по объему субъекта и утвердительные по качеству связки. Например: «Некоторые судьи – выпускники РАП». В этих суждениях субъект и предикат представляют перекрещивающиеся понятия. Их объемы частично совпадают, оба термина нераспределенные (см. рис. 8а).

Рис. 8. Частноутвердительные суждения («Некоторые S суть Р»)

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

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

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

Например: «Ни один активный сторонник мира не поддерживает гонку вооружений».

Рис. 9. Общеотрицательные суждения («Ни одно S не есть Р»)

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

Частноотрицательные суждения («Некоторые S не есть Р») – частные по объему субъекта и отрицательные по качеству связки (см. рис. 10). Например: «Некоторые граждане России не являются военнообязанными».

Рис. 10. Частноотрицательные суждения («Некоторые S не есть Р»)

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

3.2. Преобразование суждений и отношения между ними. Логический квадрат

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

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

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

1. Общеутвердительное суждение «А» преобразовывается в частно-утвердительное «I» через ограничение. Например: общеутвердительное суждение «Все лица, подвергнутые справедливому наказанию, совершили правонарушения», через ограничение преобразовывается в частноутвердительное: «Некоторые лица, совершившие правонарушения, подвергаются справедливому наказанию».

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

2. Частноутвердительное суждение «I» преобразовывается в частноутвердительное суждение «I», если термины – перекрещивающиеся понятия. Например: «Некоторые юристы являются депутатами Государственной Думы РФ». Понятия «юрист» и «депутат Государственной Думы РФ» – перекрещивающиеся. Данное суждение преобразовывается в другое частноутвердительное суждение: «Некоторые депутаты Государственной Думы РФ – юристы».

Частноутвердительное суждение «I» может преобразовываться в общеутвердительное суждение «А», если предикат подчинен субъекту. Например: «Некоторые юристы – судьи Конституционного Суда РФ». Это частноутвердительное суждение преобразовывается в общеутвердительное: «Все судьи Конституционного Суда РФ – юристы».

3. Общеотрицательное суждение «Е» всегда подлежит простому обращению – преобразуется в общеотрицательное, потому что в нем оба термина распределены. Так, общеотрицательное суждение: «Ни один человек не (есть) машина» обращается в общеотрицательное суждение: «Ни одна машина не есть человек».

4. Частноотрицательное суждение «О» не поддается преобразованию.

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

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

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

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

Суждение «Аннексия представляет собой насильственное отторжение чужой территории» путем превращения преобразуем в следующую форму: «Аннексия не может не представлять собой насильственного отторжения чужой территории» (Или: «Аннексия не является ненасильственным отторжением чужой территории»). Далее, путем обращения этого суждения достигаем противопоставления предикату: «Ненасильственное, то есть добровольное, присоединение территории не есть аннексия».

Суждение «Некоторые органы судебной власти не являются судебными органами» превращается в суждение «Некоторые органы судебной власти являются судебными органами» и далее обращается в «Судебные органы являются органами судебной власти».

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

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

Такое преобразование осуществляется путем обращения и последующего превращения.

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

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

Несколько особняком стоит еще одна операция – инверсия или отрицание.

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

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

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

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

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

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

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

Отношения совместимости делятся на отношения подчинения и частичного совпадения противности; отношения несовместимости – на отношения противоположности и противоречия.

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

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

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

Различия между высказываниями, содержащими эквивалентные суждения, проявляются главным образом в языке. Например, такие суждения могут выражаться на различных национальных языках: «В этой стране много аэродромов» и «There are a lot of airfields in this country» или «Dieses Land hat viele Flugplatze». Эту особенность эквивалентных суждений важно учитывать при анализе международных нормативных правовых актов, используемых в нашей стране, при переводе текста с одного языка на другой, при сравнении утверждений в процессе дискуссии.

Отношения между простыми эквивалентными суждениями с помощью логического квадрата не иллюстрируются.

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

Для логического подчинения характерны следующие зависимости:

• если истинно общее суждение, истинно и частное (А → I, Е → О);

• если частное суждение ложно, то и общее – ложно (¬I → ¬A, ¬ О → ¬E);

• если общее суждение ложно, частное может быть как истинным, так и ложным;

• если частное – истинно, то общее может быть и истинным, и ложным.

Частичное совпадение (субконтрарность) – отношение между частными суждениями – «I» и «О», имеющими одинаковые предикаты, но различающиеся по качеству связки. Эти суждения выражают противоположную мысль.

Например: «Некоторые студенты подготовились к занятиям по логике» (I) и «Некоторые студенты не подготовились к занятиям по логике» (0).

Между двумя частными суждениями – частноутвердительным и частноотрицательным – логические отношения таковы:

• при ложности одного из них другое – истинно: ¬I → О, ¬O → I;

• если одно из них истинно, другое может быть и истинным, и ложным.

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

Противоположные суждения выражают противоположные мысли.

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

Между двумя общими суждениями – общеутвердительным и общеотрицательным – выведены такие зависимости:

• при истинности одного из них другое – ложно (А → ¬E, Е → ¬А);