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

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

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

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

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

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

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

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

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

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

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

§ 3. Доказательства прямые и косвенные.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В результате мы получили два противоречащих суждения: «Перпендикуляры пересекаются» и «Перпендикуляры не пересекаются».

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

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

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

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

Так, если установлено, что первенство школы в беге на 100 метров оспаривали только учащиеся К., В. и Д., и если при этом нам стало известно, что ни К., ни В. не оказались первыми, то тем самым доказано, что первенство завоёвано учеником Д.

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

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

§ 4. Правила доказательства.

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

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

Таких «ораторов» подверг критике И. В. Сталин в речи на предвыборном собрании избирателей Сталинского избирательного округа гор. Москвы в декабре 1937 года. «Конечно, можно было бы сказать эдакую лёгкую речь обо всём и ни о чём, — говорил И. В. Сталин. — Возможно, что такая речь позабавила бы публику... Но, во-первых, я не мастер по таким речам. Во-вторых, стоит ли нам заниматься делами забавы теперь, когда у всех у нас, большевиков, как говорится, «от работ полон рот». Я думаю, что не стоит».

Для «мастеров» по лёгким речам характерно то, что они нарушают первое правило доказательства, которое гласит:

Тезис должен быть суждением ясным и точно определенным.

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

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

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

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

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

Один из видов «подмены тезиса» носит название: кто чрезмерно доказывает — ничего не доказывает.

Например, некоторые монархисты в Греции, желая оклеветать бойцов Демократической армии, выступившей против фашистского режима, утверждали, что будто бы группа бойцов свободно перешла албано-греческую границу и скрылась в Албании. Чтобы доказать своё утверждение, монархисты старались доказать, что на одном из участков границы ночью вспыхивали огоньки карманных фонарей.

Таким образом, желая доказать, что греческие патриоты связаны с заграницей, монархисты доказывали другой тезис: на границе были видны вспышки карманных фонарей. Совершенно ясно, что если даже действительно в районе границы были вспышки фонарей, то из этого ещё совсем не следует, что границу переходили бойцы Демократической армии (могли быть и пограничники, и местные крестьяне, и др.).

Доказывая слишком много, монархисты не могли тем самым доказать своего тезиса.

Есть разновидность ошибки «подмена тезиса», которая состоит в том, что доказывается слишком мало. Например, кто-либо, взяв кусок какого-то вещества, стал утверждать, что это вещество — металл, так как оно проводит электричество. Но одного этого довода недостаточно: проводниками электричества могут быть не только металлы, а, например, графит и др.

Доказывать слишком мало — значит ничего не доказывать.

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

Эта ошибка особенно часто встречается в спорах, в полемике. Она состоит в том, что доказательство истинности (или ложности) тезиса подменяется доказательством достоинств или недостатков человека, который защищает тезис.

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

Итак, второе правило доказательства гласит:

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

Третье правило. Первые два правила доказательства относятся к тезису. Но есть правила, которые распространяются на доводы, или аргументы. Доводы, как мы знаем, — это такие суждения, истинность которых должна быть несомненна. Ни одно доказательство не может строиться на ложных основаниях. Отсюда совершенно естественно вытекает третье правило доказательства: