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