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