Общая характеристика доказательств

Цель науки – получение истины, обогащение истинами, получение верной информации. Логической основой научных знаний является доказательное рассуждение.

Что такое доказательство? Как возможно доказать некоторое положение? Какие вообще доказательства возможны? Эти вопросы мы с вами и рассмотрим в нашей лекции.

Есть несколько путей установления того, является ли истинным то или иное суждение. Два из них наиболее известны.

Один основывается на том, что суждение, истинность которого устанавливается, непосредственно сопоставляется с действительностью. Истинно ли суждение "Я пишу эти строчки теплым осенним вечером»? Достаточно выглянуть за окно или выйти на улицу – и истинность или ложность приведенного суждения будет сразу же установлена с помощью органов чувств. Подобного рода непосредственный путь установления истинности суждений включен в процесс практических действий, когда в нем находит свое место сопоставление некоторого суждения с действительностью.

Второй способ состоит в том, что истинность некоторого суждения определяется на основе его связи с другими суждениями, истинность которых установлена прежде. В современной науке вновь открываемые истины не принимаются, как правило, без логического обоснования, в процессе которого в достаточной мере устанавливается, насколько то или иное суждение соответствует объективной действительности.

Обоснованность мышления является одним из важнейших условий, способствующих правильному отражению действительности в сознании человека. Требование обоснованности знаний находит свое отражение в одном из основных логических законов – законе достаточного основания.

Таким же образом можно сказать, что в процессе обучения не всегда возможно установить истинность какого-либо положения непосредственно. В этом случае прибегают к опосредованному пути, тем более что обучающиеся подходят к изучению чего-либо нового не как “tabula rasa”, а с уже имеющимся багажом знаний, полученных ранее.

Установление истинности суждения опосредованным путем есть определенная логическая операция, которая в логике получила название логического доказательства.

Следует разделить два различных хода доказательства – прогрессивный и регрессивный.

При прогрессивном не известно, что именно мы получим в ходе доказательства. Имеется некоторое число истинных суждений, относящихся к той или иной области знания. Их сопоставление, установление между ними определенных логических связей дают некоторое другое истинное суждение.

При регрессивном ходе доказательства четко известно, истинность какого суждения или положения необходимо установить. Осуществляется это поиском других истинных суждений и наличием логических связей между последними суждениями и тем, истинность которого устанавливается.