ление не будет знаком, а этот другой будет нуждаться в третьем, и так до бесконечности. Принимать же бесконечные знаки невозможно; значит, невозможно воспринять знак, раз он неочевиден. Поэтому же он будет и несуществующим, так как не может указывать на что-нибудь и быть знаком, не будучи воспринимаемым. Если же все знаки - явления, то, поскольку знак берется и по отношению к означенному, а все, что относится к чему-нибудь, воспринимается друг с другом, так называемое означенное, будучи воспринято вместе с явлением, будет явлением. В самом деле, если правое и левое представляются одновременно, то нельзя предпочтительнее сказать, что является правым или что является левым; точно так же, если воспринимаются вместе знак и означенное, нельзя предпочтительнее сказать, что является знаком, а что является означенным. Если же означенное - явление, то оно не будет означенным, так как не нуждается в означающем его и в открывающем. Поэтому если мы уничтожим правое, то не будет и левого; точно так же, если уничтожится означенное, не может быть и знака; поэтому знак оказывается несуществующим, если кто-нибудь скажет, что знаки - только явления. Остается сказать, что из знаков одни - явления, другие - неочевидны; но и так остаются затруднения. Если знаки - явления, тогда так называемое означенное будет явлением, как мы раньше говорили, и, не нуждаясь в означивающем, означенное

285

вообще не будет существовать, вследствие чего и те не будут знаками, ничего не означая. Неочевидные же знаки требуют открывающего их; если же будут говорить, что они означаются неочевидным, то наше рассуждение впадет в бесконечность, и они окажутся невоспринимаемыми, а потому несуществующими, как мы сказали раньше. Если же они означаются явлениями, то они будут явлениями как воспринимаемые вместе со своими знаками-явлениями, а вследствие этого будут и несуществующими. Невозможно существование вещи, которая в одно и то же время неочевидна по природе и является; знаки же, о которых идет речь, когда мы предположили их неочевидными, оказались явлениями вследствие перестановки рассуждения. Поэтому если не оказываются ни все знаки явлениями, ни все - неочевидными, ни одни из знаков - явлениями, а другие - неочевидными, а кроме того, как утверждают и сами они, нет ничего, то так называемые знаки будут несуществующими.

Достаточно сейчас высказать это немногое из многого для напоминания о том, что нет указывающего знака; дальше по порядку мы изложим указания, что есть какой-нибудь знак, чтобы установить равносилие противополагаемых суждений. Те речи, которые направлены против знака, либо означают что-нибудь, либо ничего не означают. Если же они незначащи (###), то как они могут потрясти существование знака? Если же они означают что-нибудь, то знак существует. Кроме того, речи, направленные против знака, либо доказательны, либо недоказательны. Если они недоказательны, то они не доказывают, что нет знака, если же доказательны, то знак будет существовать, так как доказательство принадлежит к роду знаков, обнаруживая вместе с тем вывод. Отсюда выводится и следующее рассуждение: если существует какой-нибудь знак, то существует знак, и если не существует знак, то знак существует, ибо то, что нет знака, указывается доказательством, которое есть знак. Поэтому либо существует знак, либо не существует знака; значит, знак существует. Этому же рассуждению противостоит такое рассуждение: если не существует какого-нибудь знака, то не существует знака, и если существует знак, про который догматики говорят, что он знак, то не существует знака. Ибо знак, о котором идет речь, согласно с тем,

286

как его понимают и признают относящимся к чему-нибудь и обнаруживающим означенное, оказывается несуществующим, как мы установили. Поэтому либо существует знак, либо не существует знака; значит, не существует знака. И пусть сами догматики ответят по поводу своих речей о знаке: означают ли они что-нибудь или ничего не означают? Если они ничего не означают, то существование знака не заверено; если же означают, то за ними последует означенное. А это было то [положение], что какой-нибудь знак есть. Но за этим следует, что знака нет, как мы упомянули вследствие перестановки рассуждения.

Итак, раз приведены такие убедительные рассуждения и в пользу того, что есть знак, и за то, что его нет, нельзя предпочтительнее говорить, что есть знак или что его нет.











[12. О ДОКАЗАТЕЛЬСТВЕ]

Из этого ясно, что и доказательство не есть общепринятая вещь. Если мы воздерживаемся от суждения о знаке, а доказательство есть некоторый знак, то необходимо воздерживаться от суждения и о доказательстве. И мы увидим, что все рассуждения, высказанные о знаке, могут подойти и к доказательству, так как и оно, по-видимому, существует по отношению к чему-нибудь и обнаруживает вывод, а из этого следовало почти все, что мы говорили по поводу знака. Если же нужно сказать и о доказательстве, в частности, то я обращусь к рассуждению о нем, попытавшись прежде вкратце выяснить, что они называют доказательством [33].

Итак, доказательство, как говорят они, есть рассуждение, которое обнаруживает неочевидное заключение выведением его через признанные посылки. То, что они говорят, будет яснее следующим образом. Рассуждение есть соединение посылок и заключения. Посылками же рассуждения мы называем суждения, согласно взятые для утверждения вывода, заключением же - суждение, утвержденное из посылок. Так, например, в следующем рассуждении: "если существует день, то существует свет, но день существует; значит, существует свет" - суждение "значит, существует свет" есть вывод, а остальное - посылки. Из рассуждений же одни последовательны, а другие непоследовательны; 

287

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

288

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











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

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

289

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

290

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

Рассуждение, непоследовательное от отсутствия связи, узнается, как сказано, тем, что его посылки не находятся в последовательности как друг с другом, так и с заключением. Если же необходимо, чтобы познание этой последовательности предшествовало суждению о связи, а связь неразличаема, как я выяснил, то и непоследовательное рассуждение, основанное на отсутствии связи, будет неразрешимо. И тот, кто говорит, что какое-нибудь рассуждение непоследовательно вследствие отсутствия связи, встретит, если он высказывается просто, противоположное ему высказывание, противопоставленное высказанному им; если же он станет доказывать это рассуждение, то услышит, что это рассуждение должно раньше быть последовательным, и тогда только доказывать, что посылки рассуждения, считающегося не основанным на последовательной связи, не связаны между собой последовательно. Но мы не будем знать, доказательно оно или нет, не имея общепризнанного суждения о связи, которым мы могли бы судить о том, следует ли вывод из сплетения посылок рассуждения. Отсюда и на этом основании мы не сможем различить среди последовательных рассуждений то, которое считается негодным вследствие отсутствия связи. То же самое мы выскажем против говорящего, что какое-нибудь рассуждение негодно вследствие того, что оно было предложено в ошибочной фopмe, ибо утверждаю-

291

щий, что какая-нибудь форма негодна, не будет иметь общепризнанного последовательного рассуждения, через которое он сможет вывести то, что говорит. Далее, по смыслу этим самым будет сделано возражение и против тех, кто пробует показать, что бывают рассуждения, непоследовательные вследствие пропуска. Ибо если полное и совершенное рассуждение не может быть различаемо, то неочевидным будет и то, в котором заключается пропуск. Кроме того, если кто-нибудь захочет доказать рассуждением, что какое-либо рассуждение страдает пропуском, то, не имея общепризнанного суждения о связи, которым он сможет судить о последовательности в высказываемом им рассуждении, он не сможет на основании обсуждения также правильно сказать, что рассуждение страдает пропуском. Но и то рассуждение, которое считается негодным от излишка, не может быть отличено от доказывающих. Что касается излишка, то и не требующие доказательства рассуждения, о которых болтают стоики, окажутся непоследовательными, а с уничтожением их опрокидывается вся диалектика. Эти рассуждения - те, которые, как они говорят, не нуждаются в доказательстве для своего состава, но оказываются доказательными, через это и остальные рассуждения становятся последовательными. А то, что они страдают излишком, станет ясным, когда мы разберем не нуждающиеся в доказательстве рассуждения и таким образом утвердим то, что говорим.

Итак, многие не нуждающиеся в доказательстве рассуждения снятся им, но главным образом они излагают следующие пять, к которым сводятся, по-видимому, все остальные [34]. Первое - то, которое выводит заключение из связи и предыдущего, как, например, "если существует день, то существует свет; но день существует; следовательно, существует свет". Второе - то, которое из связи и противоположного заключения выводит противоположное предыдущему, как, например, "если существует день, то существует свет; но света нет; значит, нет дня". Третье - то, которое из отрицания сплетения и одной из частей сплетения выводит противоположное остальному, как, например, "нет [одновременно] дня и ночи; но существует день; значит, нет ночи". Четвертое - то, которое из разделенного и одного из соединенных выводит нечто противоположное остальному, как, например, "существует либо день, либо ночь; но существует день; значит, нет ночи". Пятое же - то, которое из разделенного и противоположного одному из соединенных выводит остальное, как, например, "существует либо день, либо ночь; но ночи нет; значит, существует день".

292

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

293

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