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

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

300

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

[14. О СИЛЛОГИЗМАХ]

Поэтому, пожалуй, будет лишним рассуждать и о прославленных силлогизмах, так как, с одной стороны, они опрокидываются вместе с существованием доказательства (ясно, что если его не существует, то не может иметь место и доказывающее рассуждение), а с другой стороны, мы по смыслу возражаем против них тем, что говорили раньше [39], когда, рассуждая об излишке, высказывались об известном методе, которым можно доказать, что все доказывающие рассуждения стоиков и перипатетиков оказываются непоследовательными. Для полноты, однако, может быть не лишне заняться ими и в частности, так как те более всего ими гордятся. Многое можно сказать, указывая на их несуществование, в кратком же очерке достаточно прибегнуть против них к следующему методу. Я буду и теперь говорить о рассуждениях, не требующих доказательства; с их уничтожением опрокидываются и все остальные рассуждения, так как они имеют от первых доказательство своей последовательности.

Итак, эта предпосылка "всякий человек - животное" упрочивается путем индукции (### - эпагогически) [40] из частного; из того, что Сократ, будучи человеком, есть и животное, и Платон - точно так же, и Дион, и каждый отдельный [человек]; кажется возможным утверждать и то, что всякий человек есть животное, но причем, если только один из отдельных людей окажется противоположным остальным, предпосылка в общем не будет правильной. Точно так же, например, если большинство животных двигает нижней челюстью, а только крокодил - верхней, не будет истинной предпосылка "каждое животное двигает верхней челюстью". Поэтому, говоря "всякий человек - животное; Сократ - человек; значит, Сократ - животное" и желая вывести из общей предпосылки "всякий человек - животное" частную предпосылку "значит, Сократ - животное", которая укрепляет общую предпосылку эпагогически, как мы указали, они приходят, таким образом, к рассуждению, основанному на взаимной доказуемости, так как общую предпосылку они выводят из каждой частной [эпагогическим способом, а каждую частную] из общей силлогистическим.

301