<<
>>

ИМПЛИКАЦИЯ

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

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ИМПЛИКАЦИЯ: