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

Понятие доказательства – одно из центральных в логике и математике - не имеет однозначного определения, применимого во всех случаях и в любых научных теориях. Доказательство образует довольно расплывчатую совокупность, которую невозможно охватить одним универсальным определением. Возможно, это связано ещё и с тем, что определения доказательства включают два центральных понятие логики: понятие истины и понятие логического следования, а оба этих понятия не являются в достаточной степени ясными.

Задача доказательства – исчерпывающе утвердить истинность тезиса.Но нередко в понятие доказательства вкладывается более широкий смысл: оно понимается как любой способ обоснования истинности тезиса. Расширительное толкование доказательства обычно используется в социальных науках, непосредственно опирающихся на наблюдения (например, в психологии), а также в процессе обучения, где для подтверждения тезиса применяется самый разнородный эмпирический материал. Логика не претендует на полное раскрытие интуитивного или «наивного» доказательства, хотя и признаёт их большую эвристическую ценность. Одним словом, определение понятия доказательства (или даже несколько определений) явно не достаточно для понимания его природы. Чтобы представить себе, какой именно круг интеллектуальных операций в логическое теории анализируется как доказательство, необходимо рассмотреть виды доказательств.