щий, что какая-нибудь форма негодна, не будет иметь общепризнанного последовательного рассуждения, через которое он сможет вывести то, что говорит. Далее, по смыслу этим самым будет сделано возражение и против тех, кто пробует показать, что бывают рассуждения, непоследовательные вследствие пропуска. Ибо если полное и совершенное рассуждение не может быть различаемо, то неочевидным будет и то, в котором заключается пропуск. Кроме того, если кто-нибудь захочет доказать рассуждением, что какое-либо рассуждение страдает пропуском, то, не имея общепризнанного суждения о связи, которым он сможет судить о последовательности в высказываемом им рассуждении, он не сможет на основании обсуждения также правильно сказать, что рассуждение страдает пропуском. Но и то рассуждение, которое считается негодным от излишка, не может быть отличено от доказывающих. Что касается излишка, то и не требующие доказательства рассуждения, о которых болтают стоики, окажутся непоследовательными, а с уничтожением их опрокидывается вся диалектика. Эти рассуждения - те, которые, как они говорят, не нуждаются в доказательстве для своего состава, но оказываются доказательными, через это и остальные рассуждения становятся последовательными. А то, что они страдают излишком, станет ясным, когда мы разберем не нуждающиеся в доказательстве рассуждения и таким образом утвердим то, что говорим.
Итак, многие не нуждающиеся в доказательстве рассуждения снятся им, но главным образом они излагают следующие пять, к которым сводятся, по-видимому, все остальные [34]. Первое - то, которое выводит заключение из связи и предыдущего, как, например, "если существует день, то существует свет; но день существует; следовательно, существует свет". Второе - то, которое из связи и противоположного заключения выводит противоположное предыдущему, как, например, "если существует день, то существует свет; но света нет; значит, нет дня". Третье - то, которое из отрицания сплетения и одной из частей сплетения выводит противоположное остальному, как, например, "нет [одновременно] дня и ночи; но существует день; значит, нет ночи". Четвертое - то, которое из разделенного и одного из соединенных выводит нечто противоположное остальному, как, например, "существует либо день, либо ночь; но существует день; значит, нет ночи". Пятое же - то, которое из разделенного и противоположного одному из соединенных выводит остальное, как, например, "существует либо день, либо ночь; но ночи нет; значит, существует день".
292
Таковы прославленные "не требующие доказательства" рассуждения; мне, однако, кажется, что они все непоследовательны вследствие излишка. А именно, начиная сряду с первого рассуждения, надо согласиться, что положение "существует свет" либо следует за положением "существует день", которое является предыдущим в связи "если существует день, то существует свет", либо, что оно неочевидно. Но если оно неочевидно, то мы не признаем связь общепризнанной; если же вполне очевидно, что раз при наличности [положения] "существует день", по необходимости следует и "существует свет", то, как только мы скажем "существует день", последует и "существует свет", и связь "если существует день, то существует свет" излишня. То же самое мы говорим и по поводу второго не требующего доказательства рассуждения. Либо возможно, что при отсутствии конечного существует предыдущее, либо невозможно. Но если возможно, то связь не будет правильной; если же невозможно, то вместе с установлением "нет конечного" устанавливается и "нет предыдущего", и опять-таки оказывается излишней связь, поскольку соединение будет таким: "нет света; значит, нет дня". То же самое может быть приведено и по поводу третьего не требующего доказательств рассуждения. Либо вполне очевидно, что невозможно в сплетении сосуществование положений друг с другом, либо неочевидно. И если неочевидно, то мы не признаем отрицания сплетения. Если же вполне очевидно, то вместе с установлением одного уничтожается остальное, и отрицание сплетения оказывается излишним, причем мы выводим таким образом: "существует день; значит, нет ночи". Подобное тому мы говорим и о четвертом и пятом рассуждениях, не требующих доказательства. Либо вполне очевидно, что в разделенном одно истинно, а другое ложно, находясь в полной борьбе друг с другом, - а это и обещает разделенное, - либо неочевидно. И если это неочевидно, то мы не признаем разделенного; если же вполне очевидно, то, как только будет установлено одно из них, становится очевидным, что остального нет, и, как только будет уничтожено одно, становится очевидным, что остальное существует; так что достаточно вывести таким образом: "существует день; значит, нет ночи"; "дня нет; значит, существует ночь" - и разделенное будет излишним.
293