С. Виноградов - Логика. Учебник для средней школы. [Издание восьмое. Утверждён Министерством просвещения РСФСР.]

В обоих случаях мы имеем дело с логическим доказательством.

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

Логическое доказательство — это мыслительный процесс. Истинность одного суждения подтверждается посредством других суждений.

Но каждое правильное доказательство в конечном счёте, несомненно, основывается на фактах. В. И. Ленин говорит: «...практикой своей доказывает человек объективную правильность своих идей, понятий, знаний, науки». Если суждения, с помощью которых доказывается выдвинутое положение, не проверены на практике, то таксе доказательство обречено на провал.

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

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

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

Это общее и составляет предмет изучения логики в области доказательства.

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

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

1) Тезисом называется суждение или положение, истинность которого требуется доказать.

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

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

Различается несколько видов оснований доказательства.

Самым убедительным из них является совокупность относящихся к тезису фактов.

Точные и бесспорные факты, взятые в их связи, В. И. Ленин считал не только «упрямой», но и безусловно доказательной вещью. Отдельные факты, выхваченные из общей связи, подобранные произвольно, теряют свою доказательную силу. «Подобрать примеры вообще, — говорил В. И. Ленин, — не стоит никакого труда, но и значения это не имеет никакого, или чисто отрицательное, ибо все дело в исторической конкретной обстановке отдельных случаев».

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

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

3) Способ доказательства — формы связи и сочетания оснований и выводов из оснований, которые дают возможность доказать истинность тезиса.

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

Все эти три составные части обязательно должны быть в каждом доказательстве. В правильном доказательстве тезис и основания ясно и чётко разграничены.

Но мало знать тезис и иметь основания, надо ещё уметь логически вывести тезис из оснований. Способность доказывания не является чем-то врождённым, её надо развивать.

По способу ведения все доказательства делятся на прямые и косвенные.

Допустим, нам требуется доказать такой тезис:

«Выборы депутатов в верховный орган государственной власти СССР производятся на основе равного избирательного права».

Данный тезис мы обосновываем следующими известными всем доводами:

каждый гражданин СССР имеет один голос;

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

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

Что характерно для данного хода доказательства? То, что из доводов прямо вытекает истинность тезиса.

Доказательство, в котором доводы непосредственно обосновывают истинность тезиса, называется прямым доказательством.

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

Как же поступать в таком случае?

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

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

Косвенное доказательство может быть или апагогическим, или разделительным.

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

Апагогическое косвенное доказательство часто встречается в математике. При помощи его доказывается, например, положение, что в треугольнике, в котором два угла равны, равны также и противолежащие им стороны. Ход доказательства развёртывается следующим образом. Пусть в треугольнике ABC угол А равняется углу В и пусть противолежащие им стороны будут АС и ВС. Требуется доказать, что АС равно ВС.

В целях доказательства допускается, что истинно положение, противоречащее тезису, т. е. что АС не равно ВС. Тогда из этого последнего положения, согласно теореме, что во всяком треугольнике против большего угла лежит большая сторона, будет следовать, что угол А должен быть или больше, или меньше угла В. Но так как этот вывод противоречит принятому положению, то противоречащее тезису положение является ложным. Отсюда следует, что истинным должно быть положение, противоречащее ему, а именно — тезис.

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

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

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

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

А раз ложно утверждение, что из всякой точки, лежащей вне прямой, можно опустить на эту прямую два перпендикуляра, то ложно и допущенное нами на минуту положение о том, что два перпендикуляра к одной и той же прямой при продолжении пересекаются, ибо это есть также нарушение теоремы о том, что «Из всякой точки, лежащей вне прямой, можно опустить на эту прямую только один перпендикуляр». Ведь два перпендикуляра, пересекающиеся при продолжении, есть два перпендикуляра, опущенные из одной точки на эту же самую прямую.