Апагогическое доказательство

Апагогическое доказательство — это вид косвенного доказательства, в котором истинность тезиса обосновывается путём опровержения его отрицания (антитезиса). В логике и математике данный метод относится к доказательствам от противного (лат. reductio ad absurdum — «приведение к нелепости»). Основная идея заключается в том, что если допущение ложности доказываемого тезиса приводит к логическому противоречию или к противоречию с известными истинными положениями, то исходный тезис считается истинным.

История

Термин «апагогия» (от др.-греч. ἀπαγωγή — «отведение», «увод») восходит к античной логике. Аристотель в «Первой аналитике» различал два вида доказательств: прямое (деиктическое) и косвенное (апагогическое). В схоластической традиции апагогическое доказательство было известно как demonstratio per impossibile — доказательство через невозможное. В Новое время метод активно применялся в математике (например, в «Началах» Евклида) и в философии (у Иммануила Канта в «Критике чистого разума»). В русской логической традиции XIX—XX веков апагогическое доказательство подробно рассматривалось в трудах С. И. Поварнина, А. А. Ивина и других.

Логическая структура

Апагогическое доказательство строится по следующей схеме:

1. Формулировка тезиса (T) — утверждение, которое требуется доказать.
2. Допущение антитезиса (¬T) — предположение, что тезис ложен.
3. Вывод следствий из антитезиса (¬T → A, B, C…).
4. Обнаружение противоречия — одно из следствий (или их совокупность) вступает в конфликт с:

• ранее установленным истинным положением (аксиомой, теоремой, фактом);
• самим собой (логическое противоречие вида «A и не-A»);
• условиями задачи или общепринятыми нормами.

1. Заключение — поскольку антитезис ведёт к абсурду, он ложен, следовательно, тезис T истинен.

Формально это выражается законом исключённого третьего: если ¬T ложно, то T истинно. Однако в интуиционистской логике (Л. Э. Я. Брауэр, А. Гейтинг) апагогическое доказательство не принимается, так как не предполагает конструктивного построения истинности.

Виды апагогического доказательства

В логике выделяют две основные разновидности:

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

Используется, когда антитезис прямо приводит к противоречию с аксиомами или ранее доказанными теоремами. Пример: доказательство иррациональности числа √2 (см. ниже).

Приведение к нелепости (reductio ad absurdum)

Антитезис опровергается тем, что из него выводится логически абсурдное или практически нелепое следствие. Этот приём часто применяется в философских спорах и в риторике. Например, в диалогах Платона Сократ опровергает мнение оппонента, показывая, что оно ведёт к нелепым выводам.

Примеры

Математика

Теорема: √2 — иррациональное число.

Доказательство (апагогическое):

1. Допустим, что √2 рационально, то есть √2 = p/q, где p и q — целые взаимно простые числа (q ≠ 0).
2. Возведём обе части в квадрат: 2 = p²/q² → p² = 2q².
3. Отсюда p² чётно, следовательно, p чётно (p = 2k).
4. Подставим: (2k)² = 2q² → 4k² = 2q² → 2k² = q².
5. Значит, q² чётно, поэтому q чётно.
6. Получаем, что p и q оба чётны, что противоречит условию их взаимной простоты.
7. Следовательно, исходное допущение ложно, и √2 иррационален.

Геометрия

В «Началах» Евклида апагогически доказывается, что если две прямые параллельны, то соответственные углы равны. Допущение обратного приводит к пересечению прямых, что противоречит определению параллельности.

Философия

Иммануил Кант в «Критике чистого разума» использует апагогическое доказательство для опровержения тезиса о конечности мира во времени: если мир имел начало во времени, то до него было пустое время, в котором невозможно возникновение мира, — что абсурдно.

Применение

Апагогическое доказательство широко применяется в:

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

Критика

Основные возражения против апагогического доказательства:

1. Интуиционистская критика. В интуиционистской логике закон исключённого третьего не принимается, поэтому доказательство от противного считается неполным. Для интуиционистов истинность утверждения должна быть конструктивно установлена, а не выведена из ложности его отрицания.
2. Опасность логических ошибок. Если противоречие выведено не из антитезиса, а из неверно выбранных посылок, доказательство становится некорректным. Например, в софизмах часто имитируют апагогическое доказательство, подменяя антитезис.
3. Ограниченная применимость. В эмпирических науках (физика, биология) апагогическое доказательство редко используется, так как там требуется не логическая непротиворечивость, а соответствие наблюдениям.

Интересные факты

• В русской логической школе апагогическое доказательство иногда называют «доказательством от противного», хотя строго это не синонимы: «от противного» — более широкое понятие, включающее и апагогию, и другие виды косвенных доказательств.
• В математике XIX века апагогическое доказательство было основным методом в работах Карла Фридриха Гаусса и Нильса Хенрика Абеля.
• В современной формальной логике апагогическое доказательство формализуется через правило modus tollendo tollens: если из ¬T следует противоречие, то ¬T ложно, а T истинно.

Источники

• Аристотель. «Первая аналитика» (книга II, глава 14).
• Кант И. «Критика чистого разума» (трансцендентальная диалектика).
• Ивин А. А. «Логика» (учебник для вузов) — М.: Проспект, 2019.
• Поварнин С. И. «Логика. Общее учение о доказательстве» — Пг., 1916.
• Гейтинг А. «Интуиционизм» — М.: Мир, 1965.