Условное высказывание, или импликация

Условное высказывание — сложное высказывание, формулируемое обычно с помощью связки «если…, то…» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием для другого.

Например: «Если есть огонь, то есть дым», «Если число делится на 9, оно делится на 3» и т. п.

Условное высказывание слагается из двух более простых высказываний. То из них, которому предпослано слово «если», называется основаниемили антецедентом (предыдущим); высказывание, идущее после слова «то», называется следствием, или консеквентом (последующим).

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

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

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

Типичной функцией условного высказывания является обоснование одного высказывания ссылкой на другое высказывание.

Например, то, что серебро электропроводно, можно обосновать ссылкой на то, что оно металл: «Если серебро — металл, оно электропроводно».

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

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

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

И в обычном языке, и в языке науки условное высказывание кроме функции обоснования может выполнять также ряд других задач: формулировать условие, не связанное с каким-либо подразумеваемым общим законом или правилом («Если захочу, разрежу свой плащ»); фиксировать какую-то последовательность («Если прошлое лето было сухим, то в этом году оно дождливое»); выражать в своеобразной форме неверие («Если вы решите эту задачу, я докажу великую теорему Ферма»), противопоставление («Если в огороде растет бузина, то в Киеве живет дядька») и т. п. Многочисленность и разнородность функций условного высказывания существенно затрудняет его анализ.

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

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

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

Например: «Так как вода жидкость, она передает давление во все стороны равномерно», «Хотя пластилин и не металл, он пластичен», «Если бы дерево было металлом, оно было бы электропроводно» и т. п. Эти и подобные им высказывания представляются в языке логики посредством импликации, хотя употребление в них «если…, то…» было бы не совсем естественным.

Утверждая импликацию, мы утверждаем, что не может случиться, чтобы ее основание (антецедент) было истинным, а следствие (консеквент) — ложным.

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

Таким образом, для установления истинности импликации «если А, то В» достаточно выяснить истинностные значения высказываний, А и В. Из четырех возможных случаев импликация истинна в следующих трех: 1) и ее основание, и ее следствие истинны; 2) основание ложно, а следствие истинно; 3) и основание, и следствие ложны.

Только в четвертом случае, когда основание истинно, а следствие ложно, импликация ложна.

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

Например, истинным считаются высказывания: «Если на Солнце есть жизнь, то дважды два равно четыре», «Если Волга — озеро, то Токио — большой город» и т. п. Условное высказывание истинно также тогда, когда, А ложно, и при этом опять-таки безразлично, истинно В или нет и связано оно по содержанию с, А или нет. К истинным относятся высказывания: «Если Солнце — куб, то Земля — треугольник», «Если дважды два равно пять, то Токио — маленький город» и т. п.

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

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

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