Что такое Условное Высказывание? Значение Условное Высказывание в словаре логики

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