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