Логика

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

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

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

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

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

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

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

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

Для установления истинности импликации "если А, то В" достаточно, таким образом, выяснить истинностные значения высказывании А и В. Из четырех возможных случаев импликация истинна в следующих трех:

(1) и ее основание, и ее следствие истинны;

(2) основание ложно, а следствие истинно;

(3) и основание, и следствие ложны.

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

Будем обозначать импликацию символом →. Таблица истинности для импликации приводится.

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