[12. о ДОКАЗАТЕЛЬСТВЕ]

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

Итак, доказательство, как говорят они, есть рассуждение, которое обнаруживает неочевидное заключение выведением его через признанные посылки. То, что они говорят, будет яснее следующим образом. Рассуждение есть соединение посылок и заключения. Посылками ш же рассуждения мы пазываем суждения, согласно взятые для утверждения вывода, заключением же — суждение, утвержденное из посылок. Так, например, в следующем рассуждении: «если существует день, то существует свет, но день существует; значит, существует свет» — суждение «значит, существует свет» есть вывод, а остальное — посылки. Из рассуждений же одни последовательны, а другие непоследовательны; 137 145 последовательны они тогда, когда связь, которая начинается от сплетения посылок рассуждения и кончается его заключением, оказывается правильной; так, например, только что приведенное рассуждение последовательно, потому что за таким сплетением его посылок: «существует день, и если существует депь, то существует свет» — следует «существует свет» в такой связи: «существует день, и если существует день, то существа вует свет». Непоследовательные же те рассуждения, которые не таковы. Из последовательных же одпи истинны, а другие не истинны; истинны они тогда, когда не только правильна связь, состоящая из сплетения посылок и заключения, как мы раньше сказали, но и вывод, и сплетенное его посылками, которое является в связи с предшествующим, истинно существует.