ИМПЛИКАЦИЯ (от лат. implicatio - сплетение, от implico - тесно связываю)

ИМПЛИКАЦИЯ (от лат. implicatio - сплетение, от implico - тесно связываю)

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

В современной логике имеется большое число И., различающихся своими формальными свойствами. Наиболее известны из них И. материальная, строгая И. и релевантная (уместная) И.

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