С. Виноградов - Логика. Учебник для средней школы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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