Логические отношения между суждениями. - Ответы на экзаменационные вопросы - Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

3. Подчинение имеет место между суждениями А (общеутвердительное) и I, E (общеотрицательное) и О. Имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Для них характерны следующие две зависимости.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сравнимые — это суждения, которые имеют одинаковые пропо-зиционные переменные (составляющие) и различаются логическими связками, включая отрицание. Например, сравнимыми являются следующие два суждения: «Норвегия или Швеция имеют выход в Балтийское море»; «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море». Хотя эти суждения различны по логической форме (первое из них — дизъюнктивное суждение, а второе — конъюнкция отрицаний, вместе с тем они сравнимы, поскольку включают одинаковые составляющие.

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

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

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

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

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

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

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

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

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

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

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

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

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