Словарь по логике

ИМПЛИКАЦИЯ МАТЕРИАЛЬНАЯ

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


  1. импликация материальная—импликация в трактовке логики классической. Для установления истинности И. м. Если А то В достаточно выяснить истинностные значения высказываний А и В. И. м. истинна в тр...Словарь логики
  2. импликация материальная—импликация в трактовке лонгики классической. Для установления истинности И. м. лЕсли А то В...Словарь логики