Понятие доказательства – одно из центральных в логике и математике - не имеет однозначного определения, применимого во всех случаях и в любых научных теориях. Доказательство образует довольно расплывчатую совокупность, которую невозможно охватить одним универсальным определением. Возможно, это связано ещё и с тем, что определения доказательства включают два центральных понятие логики: понятие истины и понятие логического следования, а оба этих понятия не являются в достаточной степени ясными.
Задача доказательства – исчерпывающе утвердить истинность тезиса.Но нередко в понятие доказательства вкладывается более широкий смысл: оно понимается как любой способ обоснования истинности тезиса. Расширительное толкование доказательства обычно используется в социальных науках, непосредственно опирающихся на наблюдения (например, в психологии), а также в процессе обучения, где для подтверждения тезиса применяется самый разнородный эмпирический материал. Логика не претендует на полное раскрытие интуитивного или «наивного» доказательства, хотя и признаёт их большую эвристическую ценность. Одним словом, определение понятия доказательства (или даже несколько определений) явно не достаточно для понимания его природы. Чтобы представить себе, какой именно круг интеллектуальных операций в логическое теории анализируется как доказательство, необходимо рассмотреть виды доказательств.
По способу проведения доказательства делятся на два вида. При прямом доказательстве задача состоит в том , чтобы найти убедительные аргументы, из которых логически вытекает тезис. Здесь тезис - заключение демонстративного вывода, посылками которого являются аргументы. Пример прямого доказательства: «Общественно опасные деяния морально осуждаются людьми, а некоторые из них относятся к преступлениям. Следовательно, преступления морально осуждаются». Косвенное (непрямое) доказательство – это логическое действие, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности антитезиса. Косвенное доказательство существует в двух разновидностях: апагогическое доказательство и разделительное доказательство.
Апагогическое доказательство (доказательство «от противного») осуществляется через установление ложности противоречащего тезису суждения. Этот вид доказательства широко используется в математике (но не только), он базируется на законе исключённого третьего.
Апагогическое доказательство проходит следующие этапы: мы убеждаемся, что тезис ( t ) недоказуем по существу и образуем противоречащее суждение – антитезис ( ┐t ); затем из антитезиса мы выводим следствия с намерением найти среди них ложное, устанавливаем ложность следствия и делаем вывод, что антитезис ложен; из ложности антитезиса мы заключаем об истинности тезиса. Метод рассуждения, применяемый в этом виде косвенного доказательства, называется методом «сведения к абсурду», он основывается на отрицающем модусе условно-категорического силлогизма - ((┐t →q) & ┐q)→ ┐(┐t). Закон двойного отрицания позволяет сделать вывод об истинности тезиса.
Разделительное доказательство (доказательство методом исключения) базируется на отрицающе-утверждающем модусе разделительно-категорического силлогизма. Тезис здесь является утверждаемой альтернативой разделительной посылки. Антитезис – это альтернативы, подвергаемые отрицанию. Например: «Преступление могли совершить только X, либо Y, либо Z. Точно установлено, что X и Y имеют алиби. Следовательно, преступление совершил Z». Формула этого вывода – ((а v b v c) & ( ┐a & ┐b) → c. Заключение будет истинным, есль в разделительном суждении предусмотрены все возможные случаи. Доказательство методом исключения – это прежде всего поиск аргументов, обосновывающих ложность отвергаемых альтернатив.
Опровержение – это логическая операция, устанавливающая ложность либо необоснованность тезиса. Опровержение имеет ту же логическую структуру, что и доказательство, подчиняется тем же правилам. Существует три способа опровержения: опровержение тезиса, критика аргументов, критика демонстрации.
Опровержение тезиса является лучшим из трёх способов опровержения. Оно осуществляется прямым или косвенным способом. Прямое опровержение тезиса – это опровержение фактами, противоречащими тезису. Например, для опровержения тезиса «Не бывает белых ворон» достаточно продемонстрировать белую ворону.
Косвенно тезис может быть опровергнут методом сведения в абсурду. Доказывается, что из данного тезиса вытекают следствия, противоречащие фактам или общепринятой истине. Косвенное опровержение тезиса осуществляется также через доказательство истинности антитезиса. Например, для того, чтобы опровергнуть тезис «все студенты изучают логику» следует построить противоречащее тезису суждение - «некоторые студенты логику не изучают» и обосновать его. По закону исключённого третьего суждения А и О не могут быть одновременно истинными или ложными, поэтому из истинности антитезиса следует ложность тезиса. Разделительное опровержение не используется.
Критика аргументов как способ опровержения заключается в том, что оппонент указывает на несостоятельность аргументов, подтверждающих тезис. Это может быть неточное изложение фактов, двусмысленность, скрытое противоречие в аргументации и т.п. Следует иметь в виду, что ложность аргументов не означает ложности тезиса, мы не можем строить достоверный вывод от отрицания оснований к отрицанию вытекающего из них следствия (тезиса). Критика аргументов не является опровержением по существу – тезис остаётся не доказанным, но и не опровергнутым. Может ли истинный тезис не иметь аргументов в свою пользу? Конечно. Достаточно представить себе ситуацию, когда обвиняемый судом невиновен, но не может представить подтверждающие это факты. Критика аргументов используется в доказательных рассуждениях в тех случаях, когда достаточно всего лишь поставить тезис под сомнение.
Критика демонстрации – это способ опровержения, состоящий в том , что оппонент указывает на логические ошибки в структуре доказательства. Например, - отсутствие необходимой связи между тезисом и аргументами или «поспешное обобщение». Но обнаружив ошибку в демонстрации, мы всего лишь разрушаем доказательство, а не опровергаем тезис по существу. Тезис может оказаться истинным, хотя своей доказательной базы он лишился.
Представленные виды доказательств и способы опровержений, конечно, не исчерпывают всего многообразия доказательных рассуждений. Иногда доказательства и опровержения строятся таким образом, что в них сочетаются несколько типов рассуждений.
