Импликация
(от лат. implicatio — сплетение, от implico — тесно связываю) — логическая связка, соответствующая грамматической конструкции "если ..., то ...", с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) — высказывание, идущее после слова "если", и консеквент (следствие) — высказывание, идущее за словом "то". Импликативное высказывание представляет в языке логики условное высказывание обычного языка. Последнее играет особую роль как в повседневных, так и в научных рассуждениях, основной его функцией является обоснование одного путем ссылки на нечто другое. В современной логике имеется большое число И., различающихся своими формальными свойствами. Наиболее известны из них И. материальная, строгая И. и релевантная (уместная) И. Материальная И. обозначается знаком М. Это одна из основных связок логики классической. Определяется она через функции истинности: И. ложна только в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях. Условное высказывание "Если А, то В" предполагает некоторую реальную связь между тем, о чем говорится в A и В; выражение А АВ такой связи не предполагает. Строгая И. определяется через модальное понятие (логической) невозможности: "А строго имплицирует В" означает "Невозможно, чтобы А было истинно, а В ложно". В релевантной логике И. понимается как условный союз в его обычном смысле. В случае релевантной И. нельзя сказать, что истинное высказывание может быть обосновано путем ссылки на любое высказывание и что с помощью ложного высказывания можно обосновать какое угодно высказывание.
Значения в других словарях
- ИМПЛИКАЦИЯ — ИМПЛИКАЦИЯ – см. Логические связки [ЛОГИЧЕСКИЕ СВЯЗКИ]. Новая философская энциклопедия
- Импликация — Логическая операция, соответствующая образованию высказывания "если А, то В" из высказываний Аи В. В формализованных языках И. чаще всего обозначается символами Высказывание Аназ. посылкой высказывания а высказывание В- его заключением. Математическая энциклопедия
- импликация — Имплик/а́ци/я [й/а]. Морфемно-орфографический словарь
- Импликация — (от лат. implico — тесно связываю) одна из логических операций (См. Логические операции); в естественном языке И. соответствует связка «если..., то». Большая советская энциклопедия
- импликация — орф. импликация, -и Орфографический словарь Лопатина
- импликация — Тенденция к подразделению семантических компонентов. Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003 Толковый переводоведческий словарь
- импликация — ( < лат. implico – связывать) Логическая операция, приблизительно соответствующая сложному обороту, составленному из двух высказываний, соединенных между собой составным союзом "если, то…" Словарь лингвистических терминов Жеребило
- импликация — ИМПЛИКАЦИЯ и, ж. implication f., нем. Implikation <�лат. implicatio сплетение, переплетение. 1. В логике: операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей по смыслу союзу "если .., то". Словарь галлицизмов русского языка
- ИМПЛИКАЦИЯ — ИМПЛИКАЦИЯ, логическое высказывание типа «если Р, то Q», соединяющее два элементарных высказывания — Р (антецедент) и Q (логическое следствие). В математической ЛОГИКЕ эти два высказывания не связываются. Научно-технический словарь
- импликация — ИМПЛИКАЦИЯ -и; ж. [лат. implicatio] Лог. Способ связи двух простых высказываний в сложное с помощью конструкции если..., то... Толковый словарь Кузнецова
- импликация — импликация ж. 1. Приблизительный логический эквивалент оборота (если…, то). 2. Операция, формализующая логические свойства этого оборота. Толковый словарь Ефремовой
- ИМПЛИКАЦИЯ — ИМПЛИКАЦИЯ (от лат. implico — тесно связываю) (материальная импликация) — приблизительный логический эквивалент оборота "если..., то..."; операция, формализующая логические свойства этого оборота. Большой энциклопедический словарь
