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