Логика для юристов - [20]

).

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

А	В	(А  В)
и	и	и
и	л	л
л	и	и
л	л	и

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

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

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

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

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

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

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

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

А	В	(A  B)
и	и	и
и	л	л
л	и	л
л	л	и

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

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

А	 А
и	л
л	и

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

Упражнение 3

Какой смысл можно придать союзам, входящим в следующие суждения, если принять эти суждения за истинные?

1. Для увеличения производства товаров целесообразно ликвидировать монополию производителей и освободить цены.

2. У народов нет друзей, а есть только временные союзники. (Де Голль).