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

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

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

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

Форма конъюнктивного суждения: (А Ù B). Каждое из высказываний А и В может принимать как значение " истина", так и значение " ложь". Эти значения для краткости будем обозначать буквами и, л. Таблица истинности имеет вид:

Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются последовательно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами ⊤ ₂, ⊤ ₃ и т.д. в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками последовательной конъюнкции и соответственно читаются “..., а затем...”, “..., затем..., а затем...” и т.д. Индексы 2, 3 и т.д. указывают на местность союза. Форма суждения с двухместным союзом ⊤: ⊤ ₂ (А, В), или (А ⊤ В). Пример суждения этой формы: “Были приглашены понятые, а затем составлен протокол”. Вместо выражения “а затем” чаще всего употребляется союз “и”: “Были приглашены понятые, и был составлен протокол”. Форма суждения с трехместным союзом ⊤: ⊤ ₃ (А, В, С). Пример: “Петров вышел на улицу, затем остановил такси, а затем направился в центр города”.

Ещё один смысл союза “и” выделяется посредством знака ^, называемого знаком одновременной конъюнкции. Ситуации, описываемые истинным суждением с этим союзом, происходят одновременно.

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

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

Табличные определения знаков нестрогой и строгой дизъюнкции:

Примеры нестрого-дизъюнктивного и строго-дизъюнктивного суждений: “Иванов является юристом или Иванов является спортсменом”, “Иванов совершил это преступление или Иванов не совершил этого преступления”.

Символ ⊻ (в другой терминологии — ⊻ ₂)— это знак двухместной строгой дизъюнкции. Знак трехместной строгой дизъюнкции — ⊻ ₃ (читается “или..., или..., или...”) определяется посредством следующей таблицы:

Пример суждения этого вида: “Или Иванов совершил это преступление, или Петров, или Сидоров”.

В общем случае строго-дизъюнктивное суждение ⊻ _п (A₁ ,... A_n), где п > 2, можно определить так: это суждение, которое истинно тогда и только тогда, когда истинно одно и только одно суждение из составляющих его суждений, т.е. из (A₁ ,..., A_n).

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

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

Условия могут быть “достаточными, но не необходимыми”, “необходимыми, но не достаточными”, “необходимыми и достаточными”. Например: делимость числа N на 2 и 3 является необходимым и достаточным условием его делимости на 6, делимость числа N на 2 является необходимым, но не достаточным условием его делимости на 6, делимость числа N на 10 является достаточным, но не необходимым условием его делимости на 2.

В условном суждении выделяют основание и следствие. Основанием называется та часть условного суждения, которая находится между словом “если” и словом “то”. Часть условного суждения, которая находится после слова “то”, называется следствием. В суждении “Если идет дождь, то крыши домов мокрые” основанием является простое суждение “идет дождь”, а следствием — “крыши домов мокрые”.

Условным называется суждение, в котором ситуация, описываемая основанием, является достаточным условием для ситуации, описываемой следствием. Условный союз “если..., то...” обозначается стрелкой (→).

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

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

В естественном языке союз “если..., то...” встречается в условном суждении, например в суждении “Если идет дождь, то крыши мокрые”. Он используется также вместо слова “следовательно” в рассуждениях. Например, рассуждение “Все металлы — электропроводные вещества. Все металлы — теплопроводные вещества. Следовательно, некоторые теплопроводные вещества являются электропроводными” можно представить в виде: “Если все металлы — электропроводные вещества и все металлы — теплопроводные вещества, то некоторые теплопроводные вещества являются электропроводными”.

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

Ещё один смысл союза “если..., то...” — контрфактическая связь. Союз обозначается знаком •→, называемым знаком контрфактической импликации. Суждение с этим союзом имеет такой смысл: ситуация, описываемая антецедентом, не имеет места, но если бы она существовала, то существовало бы следствие. Например, если бы Петров был президентом, то не ездил бы в метро.

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

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

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

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

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

Суждение с внешним отрицанием — это суждение, в котором утверждается отсутствие некоторой ситуации. Оно чаще всего выражается предложением, начинающимся словосочетанием “неверно, что”. Внешнее отрицание обозначается символом “Ø ”, называемым знаком отрицания. Этот знак определяется следующей таблицей истинности:

Знак отрицания читается “не”, “неверно, что...”. В устной речи и текстах не всегда явно выражаются те или иные логические союзы. Например, вместо “или..., или...” может быть сказано или написано “или”, вместо “а затем” —“и” и т.д. Иногда союзы пропускаются, и части предложений или предложения отделяются друг от друга паузами, запятыми, точками. Чтобы правильно понять речь или текст, необходимо выявить логическую форму суждений. Особенно важно различать союзы Ù, ⊤, ^, Ú, ⊻ в документах, имеющих юридическое значение.