Сочинения в двух томах (Том 2)

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

288

видный вывод "значит, существуют мыслимые поры". Из рассуждений же, выводящих нечто неочевидное, одни ведут нас посылками к выводу, только указывая путь, другие же - указывая путь и вместе с тем обнаруживая. Например, указывая путь, ведут те, которые кажутся зависящими от веры и памяти, как, например, следующее: "если кто-нибудь тебе сказал, что этот человек будет богат, то он будет богат; но вот этот бог - я указываю предположительно на Зевса - сказал тебе, что он будет богат; значит, он будет богат"; мы согласимся с выводом, не столько вынужденные посылками, сколько веря указанию бога. Другие же рассуждения ведут нас к выводу, не только указывая путь, но и открывая, как, например, следующее: "если по видимой поверхности течет пот, существуют мыслимые поры; первое налицо; значит, есть и второе", - ибо течение пота может открыть существование пор, так как раньше было принято, что влага не может проходить сквозь плотное тело. Таким образом, доказательство должно быть рассуждением, и последовательным, и истинным, и имеющим неочевидный вывод, обнаруживаемый в силу свойств посылок; и вследствие этого говорят, что доказательство есть рассуждение, путем выведения через признанные посылки обнаруживающее неочевидное заключение. Вот чем они обыкновенно выясняют понятие доказательства.

[13. СУЩЕСТВУЕТ ЛИ ДОКАЗАТЕЛЬСТВО?]

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

289