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

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

296

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

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

297