7.1.Общая характеристика логического доказательства и опровержения

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

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

Доказательство – это правильное умозаключение с истинными посылками. Логическую основу каждого доказательства (его схему) составляет логический закон.

Доказательство – это всегда в определенном смысле принуждение.

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

Задача доказательства – исчерпывающе утвердить обоснованность доказываемого тезиса.

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

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

Обычно доказательство протекает в очень сокращенной форме. Старая латинская пословица говорит: "Доказательства ценятся по качеству, а не по количеству". В самом деле, дедукция из истины дает только истину. Если найдены верные аргументы и из них дедуктивно выведено доказываемое положение, доказательство состоялось, и ничего более не требуется.

Нередко в понятие доказательства вкладывается более широкий смысл: под доказательством понимается любая процедура обоснования истинности тезиса, включающая как дедукцию, так и индуктивное рассуждение, ссылки на связь доказываемого положения с фактами, наблюдениями и т.д. Расширительное истолкование доказательства является обычным в гуманитарных науках. Оно встречается и в экспериментальных, опирающихся на наблюдения рассуждениях.

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

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