Логика для юристов

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

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

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

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

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

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

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

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

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

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

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

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

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

Особенно важно различать союзы ∧, ⊤, ⊥, ∨, ⊻ в документах, имеющих юридическое значение.

Упражнение 3