Обоснование тезиса в ходе доказательства может осуществляться прямо или косвенно. Поэтому различают два вида доказательства.
Прямое доказательство - это обоснование тезиса аргументами без помощи каких-либо дополнительных построений. Цепь рассуждений в этом случае начинается с аргументов и с логической необходимостью приводит к признанию истинности тезиса. Другими словами, при прямом доказательстве необходимо найти такие убедительные аргументы, из которых логически вытекает тезис.
Косвенное доказательство - это обоснование истинности тезиса с помощью антитезиса - суждения, противоречащего тезису. Мы обосновываем ложность антитезиса и, опираясь на закон исключенного третьего, гласящего, что из двух противоположных суждений одно обязательно истинно, тем самым доказываем истинность противоречащего ему утверждения - тезиса. Выделяют два вида косвенного доказательства.
Апагогическое косвенное доказательство (от противного), основанное на применении закона исключенного третьего. Оно состоит в том, что мы начинаем выводить из антитезиса следствия и показываем, что некоторые из этих следствий (хотя бы одно) противоречат известным истинным положениям (фактам). Таким образом, принятие антитезиса ведет к противоречию (к абсурду), поэтому его следует признать ложным. Но тогда тезис необходимо признать истинным.
Разделительное косвенное доказательство состоит в построении разделительного суждения, элементами которого являются доказываемый тезис и некоторые несовместимые с ним утверждения (так сказать, антитезисы). Затем показывают, что за исключением тезиса все элементы разделительного суждения ложны. Следовательно, нужно признать тезис истинным. Разделительное косвенное доказательство опирается на рассуждения по отрицающе-утверждающему модусу, разделительно-категорического силлогизма.
Литература
1. Герасимова И. А. Введение в теорию и практику аргументации. 2-е изд. - М.: Логос, 2010.
2. Ерышев А. А. и др. Логика: Курс лекций / А. А. Ерышев, Н. П. Лукашевич, Е. Ф. Сластенко. — 3-е изд., перераб. и доп. — К.: МАУП, 2000.
3. Ивин А. А. Теория аргументации. - М.: Гардарики, 2000.
4. Ивин А. А. Практическая логика. - М.: Факс - Пресс, 2002.
5. Рузавин Г.И. Методологические проблемы аргументации. – М.: ИФРАН, 1997.