Modus ponens

Modus ponens (лат. modus ponendo ponens — «способ утверждения через утверждение») — это правило вывода в логике, формальный способ рассуждения, при котором из условного утверждения (импликации) и утверждения его основания (антецедента) делается вывод об истинности следствия (консеквента). Modus ponens является одним из фундаментальных правил дедуктивного умозаключения, лежащим в основе классической логики высказываний и многих формальных систем.

Определение и формальная запись

В общем виде modus ponens записывается следующим образом:

1. Если P, то Q (P → Q).
2. P (истинно).
3. Следовательно, Q (истинно).

В символической логике это правило часто представляют в виде схемы:

`` P → Q P ∴ Q ``

Здесь P и Q — пропозициональные переменные, обозначающие любые высказывания. Стрелка (→) обозначает логическую связку импликации («если… то…»), а символ ∴ означает «следовательно». Правило modus ponens утверждает, что если обе посылки (импликация и её антецедент) истинны, то консеквент обязательно истинен.

История

Понятие modus ponens восходит к античной логике. Аристотель в «Первой аналитике» описал силлогизмы, включающие условные высказывания, хотя само правило в явном виде было сформулировано позже стоиками. Хрисипп и другие представители стоической школы (III век до н. э.) разработали систему пропозициональной логики, где modus ponens выступал одним из пяти недоказуемых умозаключений.

В средневековой логике modus ponens изучался схоластами, которые перевели его название с греческого на латынь. Уильям Оккам и другие логики XIII–XIV веков использовали это правило в трактатах по терминологической логике. В Новое время modus ponens вошёл в состав математической логики, разработанной Джорджем Булем, Готлобом Фреге и Бертраном Расселом. В XX веке правило стало основой для построения формальных систем, включая исчисление высказываний и исчисление предикатов.

Отношение к другим правилам вывода

Modus tollens

Modus ponens тесно связан с modus tollens (лат. modus tollendo tollens — «способ отрицания через отрицание»). Если modus ponens утверждает следствие из истинности основания, то modus tollens отрицает основание из ложности следствия:

`` P → Q ¬Q ∴ ¬P ``

Оба правила являются взаимно обратными и вместе образуют основу дедуктивного рассуждения.

Силлогизмы

В аристотелевской логике modus ponens не является силлогизмом в строгом смысле, так как силлогизм предполагает три термина (субъект, предикат и средний термин), а modus ponens оперирует пропозициями. Однако в пропозициональной логике это правило занимает место, аналогичное модусу Barbara в силлогистике.

Применение

В математике и формальной логике

Modus ponens — основное правило вывода в большинстве формальных систем, включая исчисление высказываний и исчисление предикатов. В аксиоматическом подходе к логике (например, в системе Фреге — Гильберта) modus ponens является единственным правилом вывода, позволяющим из аксиом получать теоремы. В натуральном исчислении modus ponens используется наряду с другими правилами, такими как введение импликации и удаление конъюнкции.

В программировании и информатике

В логическом программировании (например, на языке Prolog) modus ponens лежит в основе механизма вывода. Программа на Prolog состоит из фактов и правил вида «если P, то Q». При запросе к системе она пытается применить modus ponens для доказательства цели. В экспертных системах и системах искусственного интеллекта modus ponens используется в продукционных правилах (правилах «если-то») для вывода заключений на основе базы знаний.

В повседневных рассуждениях

Modus ponens является естественной формой человеческого мышления. Примеры из обыденной жизни:

• «Если идёт дождь, то земля мокрая. Идёт дождь. Следовательно, земля мокрая.»
• «Если человек — гражданин России, то он имеет право на бесплатную медицинскую помощь. Иван — гражданин России. Следовательно, Иван имеет право на бесплатную медицинскую помощь.»

Критика и ограничения

Парадоксы импликации

В классической логике modus ponens работает безотказно, но в некоторых неклассических системах (например, в релевантной логике) возникают проблемы. Парадоксы материальной импликации (например, «из ложного высказывания следует любое») приводят к тому, что modus ponens может давать содержательно неверные выводы, если импликация понимается не как логическая связка, а как причинно-следственная связь. Однако в формальной логике эти парадоксы считаются допустимыми, так как modus ponens сохраняет истинность при любых интерпретациях.

Интуиционистская логика

В интуиционистской логике, разработанной Л. Э. Я. Брауэром и формализованной А. Гейтингом, modus ponens сохраняет силу, но интерпретация импликации отличается от классической. В интуиционизме импликация не эквивалентна материальной импликации, а требует конструктивного доказательства. Несмотря на это, правило modus ponens остаётся допустимым.

Ошибки в рассуждениях

Некорректное применение modus ponens может привести к ошибке, известной как «утверждение следствия» (лат. affirmatio consequentis). Эта ошибка возникает, когда из истинности консеквента делается вывод об истинности антецедента:

`` P → Q Q ∴ P ``

Такой вывод не является логически обоснованным, так как Q может быть истинным по другим причинам. Например: «Если идёт дождь, то земля мокрая. Земля мокрая. Следовательно, идёт дождь» — это неверное умозаключение, так как земля может быть мокрой из-за полива или росы.

Роль в доказательствах

Modus ponens является ключевым элементом в доказательствах теорем. В математике любое дедуктивное рассуждение опирается на это правило: из аксиом и ранее доказанных утверждений с помощью modus ponens выводятся новые истины. Например, в геометрии Евклида каждый шаг доказательства представляет собой применение modus ponens к уже установленным фактам.

Связь с другими логическими понятиями

Modus ponens тесно связан с понятием логического следования: если из посылок A и A → B логически следует B, то это и есть modus ponens. В семантике классической логики modus ponens является сохраняющим истинность правилом: если обе посылки истинны, то заключение также истинно при любой интерпретации переменных.

Источники

• Аристотель. «Первая аналитика» (ок. 350 г. до н. э.).
• Бохенский И. М. «Современная формальная логика» (1956).
• Гильберт Д., Аккерман В. «Основы теоретической логики» (1928).
• Кэрролл Л. «Символическая логика» (1896).
• Мендельсон Э. «Введение в математическую логику» (1964).