импликация материальная


импликация материальная
- импликация в трактовке логики классической. Для установления истинности И. м. "Если А, то В" достаточно выяснить истинностные значения высказываний А и В. И. м. истинна в трех случаях: 1) ее основание и ее следствие истинны; 2) основание ложно, а следствие истинно; 3) и основание и следствие ложны. Только в одном случае, когда основание истинно, а следствие ложно, вся импликация ложна. При установлении истинности И. м. не предполагается, что высказывания A и В связаны между собой по содержанию. В случае истинности В высказывание "Если A, то В" истинно, независимо от того, является A истинным или ложным и связано оно по смыслу с В или нет. Истинными считаются, напр., высказывания: "Если на Солнце есть жизнь, то дважды два равно четыре", "Если Волга - озеро, то Токио - большой город" и т. п. Условное высказывание истинно также тогда, когда А ложно. При этом опять-таки безразлично, истинно В или нет и связано оно по содержанию с A или нет. К истинным относятся, напр., высказывания: "Если Солнце - куб, то Земля - треугольник", "Если дважды два равно пять, то Токио - маленький город" и т. п. В обычном рассуждении все эти высказывания вряд ли будут рассматриваться как имеющие смысл и еще в меньшейстепени как истинные. Очевидно, что И. м. плохо согласуется с обычным пониманием условной связи.
В классической логике И. м. является формальным аналогом условного высказывания. Но, схватывая многие важные черты "логического поведения" условного высказывания, И.м. не является достаточно адекватным его описанием. Ряд законов классической логики, содержащих И. м. и не согласующихся с обычными, или интуитивными, представлениями о логических связях, получил название парадоксов материальной импликации (см.: Парадоксы импликации). В числе этих парадоксов закон Дунса Скота (парадокс ложного высказывания), парадокс истинного высказывания и др. В последние полвека были предприняты энергичные попытки реформировать теорию импликации. При этом речь шла не об отказе от И. м., а о введении наряду с нею другого понятия импликации, учитывающего не только истинностные значения высказываний, но и связь их по содержанию. Наибольшую известность среди таких "неклассических" импликаций получили строгая импликация и релевантная импликация (см.: Логическое следование). Теории "неклассических" импликаций являются сужениями классической логики, выступающей в качестве своего рода предельного их случая. Польский логик А. Тарский отмечал: "...в настоящее время представляется почти несомненным, что теория И.м. превзойдет все другие теории в простоте, и во всяком случае не надо забывать, что логика, опирающаяся на это простое понятие, оказалась вполне пригодной основой для самых сложных и тонких математических рассуждений".

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "импликация материальная" в других словарях:

  • Импликация Материальная - — импликация в трактовке лонгики классической. Для установления истинности И. м. лЕсли А, то В …   Словарь терминов логики

  • материальная импликация — см. Импликация. * * * МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ, см. Импликация (см. ИМПЛИКАЦИЯ) …   Энциклопедический словарь

  • ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …   Философская энциклопедия

  • ИМПЛИКАЦИЯ — ИМПЛИКАЦИЯ, логическое высказывание типа «если Р, то Q», соединяющее два элементарных высказывания Р (антецедент) и Q (логическое следствие). В математической ЛОГИКЕ эти два высказывания не связываются. Существует материальная импликация,… …   Научно-технический энциклопедический словарь

  • Импликация — Импликация (лат. implicatio  связь)  бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… …   Википедия

  • МАТЕРИАЛЬНАЯ ИМПЛИКАЦИЯ — см. Импликация …   Большой Энциклопедический словарь

  • ИМПЛИКАЦИЯ — (от лат. implico тесно связываю) (материальная импликация) приблизительный логический эквивалент оборота если..., то... ; операция, формализующая логические свойства этого оборота …   Большой Энциклопедический словарь

  • импликация — и; ж. [лат. implicatio] Лог. Способ связи двух простых высказываний в сложное с помощью конструкции если..., то... * * * импликация (от лат. implico  тесно связываю) (материальная импликация), приблизительный логический эквивалент оборота «если …   Энциклопедический словарь

  • Импликация —    логическая функция, следствие (если А, то В); в трактовке математической логики, материальная импликация , утверждение если А, то В считается ложной, только если А истинно, а В ложно, и при установлении истинности материальной импликации не… …   Мир Лема - словарь и путеводитель

  • импликация — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции если ..., то ... , с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном… …   Словарь терминов логики

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.