5. Доказательство

5. Доказательство

От умозаключений необходимо отличать другую логическую форму — доказательство.

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

Но очень часто люди сталкиваются с другого рода задачей, когда имеется то или иное определенное суждение и нужно обосновать его истинность. Это можно сделать разными способами, в частности, например, подобрать такие посылки, из которых данное положение будет с необходимостью вытекать. Предположим, нам нужно обосновать суждение «дельфины дышат легкими». Мы берем посылки «все млекопитающие дышат легкими», «дельфин — млекопитающее» и строим хорошо известное нам умозаключение, которое в заключении приводит к интересующему нас утверждению «дельфины дышат легкими».

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

В доказательстве выделяются три части: 1) тезис — то, что нужно доказать; 2) аргументы — то, чем доказывается тезис; 3) рассуждение, которое показывает, как доказывается тезис, каким образом осуществляется переход от посылок к аргументам.

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

Рассуждение само по себе не может быть тождественно всему доказательству. Оно доказывает не тезис, а совсем другое, условное суждение: «если будут верны посылки, то будет верен и тезис». Для полноты же доказательства необходимо знать истинность посылок.

Выделение доказательства как особой логической формы в отличие от умозаключений имеет большое практическое значение. В доказательстве главная задача — по тезису найти аргументы. Эта задача не только не может быть решена, но даже и поставлена, если отождествить умозаключение и доказательство. Следующая задача — перейти от аргументов к умозаключению. С помощью какого умозаключения можно быстрее и лучше прийти от аргументов к тезису — задача, характерная именно для доказательства.

Наконец, то главное, что нас интересует, — вопрос о логических ошибках в доказательстве, — как увидим дальше, ставится и решается совершенно иначе, чем в умозаключении.

От доказательства отличают еще опровержение. Различие между ними состоит в том, что в доказательстве обосновывают истинность той или иной мысли, а в опровержении — ложность. Например, существовало утверждение «нельзя переплыть на плоту через Тихий океан». Норвежский ученый Тор Хейердал опроверг это утверждение, переплыв со своими спутниками Тихий океан на плоту.

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