УСЛОВНОЕ ВЫСКАЗЫВАНИЕ

УСЛОВНОЕ ВЫСКАЗЫВАНИЕ  — сложное высказывание, форму­лируемое обычно с помощью связки "если..., то..." и устанавливаю­щее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: "Если есть огонь, то есть дым", "Если число делится на 9, оно делится на 3" и т. п. У. в. слагается из двух более простых высказываний. То из них, которому предпослано слово "если", называется основанием, или антеце­дентом (предыдущим); высказывание, идущее после слова "то", на­зывается следствием, или консеквентом (последующим). Утвер­ждая У. в., мы прежде всего имеем в виду, что не может быть так, чтобы то, о чем говорится в его основании, имело место, а то, о чем говорится в следствии, отсутствовало. Иными словами, не может слу­читься, чтобы антецедент был истинным, а консеквент — ложным. Типичной функцией У. в. является обоснование одного выс­казывания ссылкой на другое высказывание. Напр., электропровод­ность серебра можно обосновать ссылкой на то, что оно металл: "Если серебро — металл, оно электропроводно". Выражаемую У. в. связь обосновывающего и обосновываемого (основания и следствия) трудно охарактеризовать в общем виде, и только иногда природа ее относительно ясна. Эта связь может быть, в частности, связью логического следования, имеющей место между посылками и заключением правильного умозаключения ("Если все живые многоклеточные существа смертны и медуза является таким существом, то она смертна"). Связь может представлять собой за­кон природы ("Если тело подвергнуть трению, оно начнет на­греваться") или причинную связь ("Если Луна в новолуние находится в узле своей орбиты, наступает солнечное затмение"). Рас­сматриваемая связь может иметь также характер социальной зако­номерности, правила, традиции и т. п. ("Если меняется базис, меняется и надстройка", "Если обещание дано, оно должно быть выпол­нено"). Связь, выражаемая У. в., предполагает, что консеквент с опре­деленной необходимостью "вытекает" из антецедента и что есть некоторый общий закон, сумев сформулировать который, мы мо­жем логически вывести консеквент из антецедента. Напр., У. в. "Если висмут — металл, он пластичен" предполагает общий закон "Все металлы пластичны", делающий консеквент данного высказы­вания логическим следствием его антецедента. И в обычном языке, и в языке науки У. в., кроме функции обоснования, может выполнять также целый ряд других задач. Оно может формулировать условие, не связанное с к.-л. подразумевае­мым общим законом или правилом ("Если захочу, разрежу свой плащ"), фиксировать какую-то последовательность ("Если прошлое лето было сухим, то в этом году оно дождливое"), выражать в своеобразной форме неверие ("Если вы решите задачу, я докажу великую теорему Ферма"), противопоставление ("Если в огороде растет бузина, то в Киеве живет дядька") и т. п. Многочисленность и разнородность функций У. в. существенно затрудняет его анализ. У. в. находит очень широкое применение во всех сферах рассужде­ний. В логике оно представляется, как правило, посредством импликативного высказывания, или импликации. При этом логика прояс­няет, систематизирует и упрощает употребление "если ..., то ...", освобождает его от влияния психологических факторов. Логика отвлекается, в частности, от того, что характерная для У.в. связь основания и следствия в зависимости от контекста может выражаться не только с помощью "если ..., то ...", но и с помощью других языковых средств. Напр.: "Так как вода жидкость, она пере­дает давление во все стороны равномерно", "Хотя пластилин и не металл, он пластичен", "Если бы дерево было металлом, оно было бы электропроводно" и т. п. Эти и подобные им высказывания пред­ставляются в логике посредством импликации, хотя употребление в них "если ..., то ..." не совсем естественно. В логических системах абстрагируются от особенностей обычного употребления У.в., что ведет к различным импликациям. В частно­сти, в классической логике вводится импликация материальная, пред­полагающая, что истинность или ложность импликации определя­ется исключительно истинностью или ложностью ее антецедента и консеквента и никак не зависит от наличия между ними связи по форме и содержанию.