Modus tollens¶

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

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

Modus tollens имеет следующую структуру: если известно, что из посылки A следует посылка B (A → B), и при этом B является ложным (¬B), то из этого можно сделать вывод, что A также является ложным (¬A). Формально это записывается как:

• Если A, то B (A → B)
• Не B (¬B)
• Следовательно, не A (¬A)

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

¶История

Термин «modus tollens» восходит к латинской схоластической логике, однако сама форма умозаключения была известна ещё античным философам. Аристотель в «Первой аналитике» описал силлогизмы, которые по сути являются частными случаями modus tollens. В Средние века схоласты, такие как Пётр Испанский и Уильям Оккам, систематизировали логические правила, выделив modus tollens как один из основных модусов условно-категорического силлогизма.

В Новое время modus tollens получил строгое формальное обоснование в рамках математической логики. В XIX веке Джордж Буль и Готлоб Фреге включили его в свои системы исчисления высказываний. В XX веке modus tollens стал одним из базовых правил вывода в натуральном исчислении (Генцен, 1934) и в аксиоматических системах.

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

¶Modus ponens

Modus tollens является обратным по отношению к modus ponens. Если modus ponens позволяет выводить следствие из истинности посылки, то modus tollens позволяет выводить ложность посылки из ложности следствия. Оба правила вместе образуют полную систему для работы с условными высказываниями.

¶Contraposition

Modus tollens тесно связан с законом контрапозиции: (A → B) эквивалентно (¬B → ¬A). Фактически, modus tollens можно рассматривать как применение modus ponens к контрапозитивной форме импликации. Например, если известно, что «Если идёт дождь, то земля мокрая» (A → B), и «Земля не мокрая» (¬B), то по контрапозиции получаем «Если земля не мокрая, то дождь не идёт» (¬B → ¬A), и, применяя modus ponens к ¬B, выводим ¬A.

¶Доказательство от противного

Modus tollens лежит в основе метода доказательства от противного (reductio ad absurdum). В этом методе из предположения о ложности выводимого утверждения выводится противоречие, что позволяет заключить, что исходное предположение ложно. Формально это соответствует применению modus tollens: если из A следует противоречие (B ∧ ¬B), то A ложно.

¶Применение в науке и повседневной жизни

¶В математике

Modus tollens широко используется в математических доказательствах. Например, в геометрии: если треугольник прямоугольный, то квадрат гипотенузы равен сумме квадратов катетов (теорема Пифагора). Если это равенство не выполняется, то треугольник не является прямоугольным. Это прямое применение modus tollens.

¶В естественных науках

В научном методе modus tollens используется для проверки гипотез. Если из гипотезы H следует предсказание P, и эксперимент показывает, что P ложно, то гипотеза H опровергается. Этот принцип лежит в основе фальсификационизма Карла Поппера, который утверждал, что научная теория должна быть принципиально опровержимой, то есть существовать такие наблюдения, которые могли бы её опровергнуть по modus tollens.

¶В юриспруденции

Modus tollens применяется в судебной логике. Например, если обвинение строится на том, что подозреваемый был на месте преступления (A), то из этого следует, что он мог оставить отпечатки пальцев (B). Если отпечатков не обнаружено (¬B), то это ставит под сомнение факт нахождения на месте (¬A), хотя и не доказывает его отсутствие полностью, так как возможны альтернативные объяснения.

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

В обычной жизни modus tollens используется интуитивно. Например: «Если он пошёл в магазин, то он должен был вернуться с хлебом. Он вернулся без хлеба. Значит, он не был в магазине». Однако в реальных ситуациях часто возникают ошибки из-за неучтённых факторов (например, хлеб мог закончиться в магазине).

¶Ошибки и ограничения

¶Отрицание антецедента

Распространённой логической ошибкой является путаница modus tollens с отрицанием антецедента (fallacy of denying the antecedent). Эта ошибка имеет вид: «Если A, то B. Не A. Следовательно, не B». Например: «Если идёт дождь, то земля мокрая. Дождя нет. Следовательно, земля не мокрая» — это неверно, так как земля может быть мокрой по другим причинам (полив, роса). Modus tollens же корректно отрицает антецедент только на основании отрицания консеквента.

¶Неполнота информации

Modus tollens даёт достоверный вывод только при условии истинности импликации A → B. Если импликация не является строгой (например, содержит исключения или вероятностный характер), то вывод может быть ошибочным. В таких случаях применяются вероятностные или нечёткие логики.

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

В классической логике импликация A → B истинна, когда A ложно, независимо от B. Это приводит к парадоксам материальной импликации, которые могут делать modus tollens тривиально применимым в некоторых формальных системах, но не соответствующим интуитивному пониманию причинно-следственных связей.

¶В компьютерных науках

Modus tollens используется в системах искусственного интеллекта и экспертных системах для обратного вывода (backward chaining). В таких системах, начиная с целевого утверждения (гипотезы), ищутся правила, которые могли бы его подтвердить или опровергнуть. Если из гипотезы следует некоторое следствие, а это следствие не наблюдается, то гипотеза отвергается по modus tollens.

В логическом программировании (например, в языке Prolog) modus tollens не реализован напрямую, так как Prolog использует прямой вывод (modus ponens) и резолюцию. Однако принцип отрицания как неудачи (negation as failure) в Prolog имитирует modus tollens в ограниченном виде.

¶В философии

Modus tollens играет важную роль в эпистемологии и философии науки. Он используется в аргументации скептиков: если из утверждения о существовании внешнего мира следует, что мы не можем быть уверены в его существовании, то, поскольку мы не можем быть уверены, внешний мир, возможно, не существует. Однако этот аргумент критикуется за неверное применение modus tollens из-за неоднозначности импликации.

В теологии modus tollens применяется в проблеме зла: если существует всемогущий и всеблагой Бог, то в мире не должно быть зла. Зло существует. Следовательно, такого Бога не существует. Теодицеи, в свою очередь, пытаются оспорить первую посылку, утверждая, что из существования Бога не обязательно следует отсутствие зла.

¶Источники

1. Аристотель. «Первая аналитика». Книга I, главы 4-7.
2. Генцен Г. «Исследования логического вывода» (1934).
3. Поппер К. «Логика научного исследования» (1934).
4. Булева алгебра и математическая логика: учебник для вузов / под ред. С. А. Лебедева. — М.: Наука, 1985.
5. Ивин А. А. «Логика: учебное пособие». — М.: Гардарики, 2002.