Секст Эмпирик - Сочинения в двух томах (Том 2)

• Название: Сочинения в двух томах (Том 2)
• Автор: Секст Эмпирик
• Жанр: Философия

---

293

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

294

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

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

295

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

296

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

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

297

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