Сочинения в двух томах (Том 2)

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

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

286

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

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

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

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

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

287