§ 5. Этим различием между выводом и доказательством определяется строение доказательства.

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

Во всяком доказательстве имеется налицо, во-первых, доказываемое положение, удостоверяющее, что известный тезис истинен (или, наоборот, ложен). Так, в рассмотренном нами примере доказываемым положением является положение: «заключение, что все бамбуки цветут колосками, истинно». Отсюда видно, что доказываемое положение должно быть отличаемо от тезиса. Тезис есть то суждение, истинность или ложность которого доказывается. В нашем примере тезис – суждение: «все бамбуки цветут колосками». Доказываемое положение есть суждение о тезисе, или суждение, в котором тезис удостоверяется в качестве истинного или ложного. В нашем примере доказываемым положением будет следующее: «заключение, что все бамбуки цветут колосками, истинно». Доказываемое положение заключает в себе тезис как свою часть.

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

Напротив, в доказательствах, задачей которых является оправдание, т. е. доказательство истинности, рассматриваемого тезиса, доказываемое положение очень часто формулируется так, что выражается только самый тезис, характеристика же истинности тезиса опускается. В нашем примере доказываемое положение вместо полной формы («суждение «все бамбуки – злаки» истинно») могло бы быть выражено и в сокращённой форме: «все бамбуки – злаки».

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

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

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