ИМПЛИКАЦИЯ

(лат. implicatio - сплетение, от implico - тесно связываю), в символич. логике - связка, обычно интерпретируемая как оборот «если..., то». И. наз. также образованные с помощью такой связки сложные высказывания. В импликативном высказывании различают антецедент - высказывание, к-рому предпослано слово «если», и консеквент - высказывание, следующее за словом «то». Обозначается И. чаще всего стрелками либо знаком >; последний обычно используют для обозначения одной из осн. связок классич. логики - материальной И. Высказывание A >В с такой И. истинно во всех случаях, кроме одного: когда А истинно, а В ложно (содержание А и В при этом не имеет значения). В этом коренное отличие A > В от выражения «если А, то В», к-рое всегда предполагает нек-рую реальную связь между тем, о чём говорится в A и В. Иногда И. рассматривают как формальный аналог логического следования. В случае материальной И. при этом оказываются верными утверждения: «из ложного высказывания следует любое высказывание» и «истинное высказывание следует из любого высказывания», называемые парадоксами материальной И.