значит, знак существует. Этому же рассуждению противостоит такое рассуждение: если не существует какого-нибудь знака, то не существует знака, и если существует знак, про который догматики говорят, что он знак, то не существует знака. Ибо знак, о котором идет речь, согласно с тем,
286
как его понимают и признают относящимся к чему-нибудь и обнаруживающим означенное, оказывается несуществующим, как мы установили. Поэтому либо существует знак, либо не существует знака; значит, не существует знака. И пусть сами догматики ответят по поводу своих речей о знаке: означают ли они что-нибудь или ничего не означают? Если они ничего не означают, то существование знака не заверено; если же означают, то за ними последует означенное. А это было то [положение], что какой- нибудь знак есть. Но за этим следует, что знака нет, как мы упомянули вследствие перестановки рассуждения.
Итак, раз приведены такие убедительные рассуждения и в пользу того, что есть знак, и за то, что его нет, нельзя предпочтительнее говорить, что есть знак или что его нет.
[12. О ДОКАЗАТЕЛЬСТВЕ]
Из этого ясно, что и доказательство не есть общепринятая вещь. Если мы воздерживаемся от суждения о знаке, а доказательство есть некоторый знак, то необходимо воздерживаться от суждения и о доказательстве. И мы увидим, что все рассуждения, высказанные о знаке, могут подойти и к доказательству, так как и оно, по-видимому, существует по отношению к чему-нибудь и обнаруживает вывод, а из этого следовало почти все, что мы говорили по поводу знака. Если же нужно сказать и о доказательстве, в частности, то я обращусь к рассуждению о нем, попытавшись прежде вкратце выяснить, что они называют доказательством [33].
Итак, доказательство, как говорят они, есть рассуждение, которое обнаруживает неочевидное заключение выведением его через признанные посылки. То, что они говорят, будет яснее следующим образом. Рассуждение есть соединение посылок и заключения. Посылками же рассуждения мы называем суждения, согласно взятые для утверждения вывода, заключением же - суждение, утвержденное из посылок. Так, например, в следующем рассуждении: 'если существует день, то существует свет, но день существует; значит, существует свет' - суждение 'значит, существует свет' есть вывод, а остальное посылки. Из рассуждений же одни последовательны, а другие непоследовательны;
287
последовательны они тогда, когда связь, которая начинается от сплетения посылок рассуждения и кончается его заключением, оказывается правильной; так, например, только что приведенное рассуждение последовательно, потому что за таким сплетением его посылок: 'существует день, и если существует день, то существует свет' - следует 'существует свет' в такой связи: 'существует день, и если существует день, то существует свет'. Непоследовательные же те рассуждения, которые не таковы. Из последовательных же одни истинны, а другие не истинны; истинны они тогда, когда не только правильна связь, состоящая из сплетения посылок и заключения, как мы раньше сказали, но и вывод, и сплетенное его посылками, которое является в связи с предшествующим, истинно существует. Истинное же сплетение такое, в котором все истинно, как, например, 'существует день, и если существует день, то существует свет'. Не истинны же те рассуждения, которые не таковы. Например, следующее рассуждение, высказанное днем: 'если существует ночь, то существует мрак; но ночь существует; значит, существует мрак', - будет последовательным, так как связь в нем правильна: 'существует ночь, и если существует ночь, то существует мрак; стало быть, существует мрак', - но не будет истинным, ибо предшествующее сплетение ложно, а именно: 'существует [теперь] ночь, и если существует ночь, то существует мрак', - так как ложно в нем самом 'существует ночь', потому что сплетение, имеющее в себе самом нечто ложное, ложно. Вследствие этого они и говорят, что истинное рассуждение такое, в котором из истинных посылок вытекает истинный вывод. Опять-таки из истинных рассуждений одни суть доказывающие; другие - не доказывающие; доказывающие - те, которые выводят нечто неочевидное из вполне очевидного; недоказывающие же - те, которые не таковы. Так, например, следующее рассуждение: 'если существует день, то существует свет; но день существует; значит, свет существует' - не является доказывающим, так как то, что 'существует свет', которое является его выводом, вполне ясно само по себе. Следующее же рассуждение: 'если пот течет по видимой поверхности, существуют мыслимые поры; но пот течет по видимой поверхности; значит, существуют мыслимые поры' - является доказывающим, так как имеет неоче
288
видный вывод 'значит, существуют мыслимые поры'. Из рассуждений же, выводящих нечто неочевидное, одни ведут нас посылками к выводу, только указывая путь, другие же - указывая путь и вместе с тем обнаруживая. Например, указывая путь, ведут те, которые кажутся зависящими от веры и памяти, как, например, следующее: 'если кто-нибудь тебе сказал, что этот человек будет богат, то он будет богат; но вот этот бог - я указываю предположительно на Зевса - сказал тебе, что он будет богат; значит, он будет богат'; мы согласимся с выводом, не столько вынужденные посылками, сколько веря указанию бога. Другие же рассуждения ведут нас к выводу, не только указывая путь, но и открывая, как, например, следующее: 'если по видимой поверхности течет пот, существуют мыслимые поры; первое налицо; значит, есть и второе', - ибо течение пота может открыть существование пор, так как раньше было принято, что влага не может проходить сквозь плотное тело. Таким образом, доказательство должно быть рассуждением, и последовательным, и истинным, и имеющим неочевидный вывод, обнаруживаемый в силу свойств посылок; и вследствие этого говорят, что доказательство есть рассуждение, путем выведения через признанные посылки обнаруживающее неочевидное заключение. Вот чем они обыкновенно выясняют понятие доказательства.
[13. СУЩЕСТВУЕТ ЛИ ДОКАЗАТЕЛЬСТВО?]
Но то, что доказательство не существует, возможно вывести из самих их слов, опрокинув по отдельности все то, что объемлется в понятии. Так, например, рассуждение состоит из суждений, а соединенные вещи не могут существовать, если то, из чего они состоят, не сосуществует друг с другом, что вполне очевидно на примере ложа и тому подобного; части же рассуждения не сосуществуют друг с другом. В самом деле, когда мы высказываем первую посылку, то еще не существует ни второй, ни заключения; когда же говорим вторую, уже не существует первой посылки, и нет еще заключения; когда же мы высказываем заключение, то уже не существует его посылок. Таким образом, части рассуждения не сосуществуют друг с другом; вследствие этого, как окажется, не существует и рассуждения. Кроме того,
289
последовательное рассуждение невоспринимаемо, ибо если будут судить его на основании последовательности связи, а последовательность в отношении связи подлежит неразрешенному разногласию и, вероятно, невоспринимаема, как мы упомянули в рассуждении о знаке, то окажется невоспринимаемым и последовательное рассуждение. Сверх того, диалектики говорят, что непоследовательное рассуждение происходит либо от отсутствия связи, либо от пропуска, либо от следования в негодной форме, либо от излишка. Например, от отсутствия связи - когда посылки не находятся в последовательности друг с другом и с заключением, как, например, 'если существует день, то существует свет; но теперь на рынке продается пшеница; значит, Дион гуляет'. От излишка - когда одна посылка оказывается лишней для связи рассуждения, как, например, 'если существует день, то существует свет; но день существует, но и Дион гуляет; значит, существует свет'. От следования в негодной форме когда форма рассуждения непоследовательна. Например, в то время как силлогизмы, по их словам, будут следующие: 'если существует день, то существует свет; но день существует; значит, существует свет' или 'если существует день, то существует свет; но дня нет; значит, нет света', непоследовательным рассуждением будет следующее: 'если существует день, то существует свет; но свет существует; значит, существует день'. Ибо если связь обещает, что в ее предыдущем находится и ее заключение, то, вероятно, когда берется предыдущее, вводится вместе с этим и заключение, а с уничтожением заключения уничтожается и предыдущее, ибо если бы было предыдущее, то было бы и заключение. Когда же берется заключение, то не всегда устанавливается и предыдущее, ибо связь не обещала, чтобы предыдущее следовало за заключением, а только заключение - за предыдущим. Вследствие этого говорят, что рассуждение, выводящее заключение из связи и пз предыдущего, силлогистично, равно как выводящее из связи и из противоположного заключению противоположное предыдущему; выводящее же предыдущее из
