Доказательство – важное качество правильного мышления.
Теории, доказательства и опровержения являются средствами в руках человека для создания новых обоснованных знаний. Доказательство необходимо в научном мире, оно определяет истинность того или иного явления, суждения, умозаключения. Без доказательства любая гипотеза навсегда останется гипотезой и не приобретет значение теории. Это хорошо, ведь цель доказательства – получение истинных знаний. Любое новое явление, догадку необходимо доказывать, будь то тайны, связанные с космическим пространством или глубинами океана, математические изыскания и т. д.
С этих позиций можно определить доказательство как совокупность логических приемов обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений.
В обыденном смысле доказательство часто отождествляют с убеждением, что недопустимо. Эти два понятия могут совпадать в части, но слишком во многом различны. Так, доказательство основано исключительно на научно обоснованных фактах, изысканиях, теориях и т. д. Убеждение же зачастую не зависит от того, доказано научным путем утверждаемое или нет. Убеждение возможно в отношении теорий вероятностных или вообще ложных.
Структуру доказательства составляют тезис, аргументы и демонстрация. Тезис – это положение, требующее доказательства. Аргументы – это истинные суждения, используемые в процессе доказательства. Демонстрация – это способ логической связи между тезисом и аргументами.
Существуют правила доказательного рассуждения. Нарушение этих правил ведет к ошибкам, относящимся к доказываемому тезису, аргументам или к самой форме доказательства.
Доказательство бывает прямым и непрямым. Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т. е. истинность доказательства непосредственно обосновывается аргументами.
Можно сказать, что при прямом доказательстве из аргументов (a, b, c…) обязательно следуют истинные суждения (k, m, l…), а из последних следует доказываемый тезис q.
При непрямом доказательстве истинность выдвинутого суждения обосновывается путем доказательства ложности исключающего его суждения. Применение такого доказательства обосновано, когда нет аргументов для прямого доказательства.
В зависимости от формы антитезиса можно выделить два вида непрямого доказательства – от противного и разделительное. Доказательство от противного (апагогическое) осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Разделительное доказательство производится на основе отрицания антитезиса. При условии перечисления всех антитезисов и их последовательном отрицании (и отбрасывании) можно говорить об установлении истинности утверждаемого суждения.