300
Но все это мы говорим уже как лишнее. Если вероятны рассуждения о доказательстве (а пусть они будут таковыми), а также вероятны и высказанные нападения на доказательство, то необходимо воздерживаться от суждения и о доказательстве, говоря, что доказательство не более существует, чем не существует.
[14. О СИЛЛОГИЗМАХ]
Поэтому, пожалуй, будет лишним рассуждать и о прославленных силлогизмах, так как, с одной стороны, они опрокидываются вместе с существованием доказательства (ясно, что если его не существует, то не может иметь место и доказывающее рассуждение), а с другой стороны, мы по смыслу возражаем против них тем, что говорили раньше [39], когда, рассуждая об излишке, высказывались об известном методе, которым можно доказать, что все доказывающие рассуждения стоиков и перипатетиков оказываются непоследовательными. Для полноты, однако, может быть не лишне заняться ими и в частности, так как те более всего ими гордятся. Многое можно сказать, указывая на их несуществование, в кратком же очерке достаточно прибегнуть против них к следующему методу. Я буду и теперь говорить о рассуждениях, не требующих доказательства; с их уничтожением опрокидываются и все остальные рассуждения, так как они имеют от первых доказательство своей последовательности.
Итак, эта предпосылка "всякий человек - животное" упрочивается путем индукции (### - эпагогически) [40] из частного; из того, что Сократ, будучи человеком, есть и животное, и Платон - точно так же, и Дион, и каждый отдельный [человек]; кажется возможным утверждать и то, что всякий человек есть животное, но причем, если только один из отдельных людей окажется противоположным остальным, предпосылка в общем не будет правильной. Точно так же, например, если большинство животных двигает нижней челюстью, а только крокодил - верхней, не будет истинной предпосылка "каждое животное двигает верхней челюстью". Поэтому, говоря "всякий человек - животное; Сократ - человек; значит, Сократ - животное" и желая вывести из общей предпосылки "всякий человек - животное" частную предпосылку "значит, Сократ - животное", которая укрепляет общую предпосылку эпагогически, как мы указали, они приходят, таким образом, к рассуждению, основанному на взаимной доказуемости, так как общую предпосылку они выводят из каждой частной [эпагогическим способом, а каждую частную] из общей силлогистическим.
301
Подобно тому и в таком рассуждении: "Сократ - человек, а ни один человек не бывает четвероногим; значит, Сократ - не четвероногий" - они хотят укрепить предпосылку "ни один человек не бывает четвероногим" частным эпагогическим способом, что "ни один человек не бывает четвероногим"; таким образом, получается затруднение взаимодоказуемости. Точно так же надо приступить и к остальным перипатетическим рассуждениям, не требующим доказательства, равно и к таким: "если существует день, то существует свет". Ибо положение "если существует день, то существует свет" является последовательным, как они говорят, для положения "существует свет", а положение "существует свет" вместе с положением "существует день" является укрепляющим для положения "если существует день, то существует свет". Ибо только что высказанная связь не считалась бы правильной, если бы не выяснилось раньше, что положение "существует свет" всегда сосуществует с положением "есть день". Таким образом, предварительно надо воспринять, что при существовании дня непременно существует и свет, чтобы составить связь: "если существует день, то существует свет", и из этой связи выводится, что при существовании дня существует свет, так как, с одной стороны, сосуществование того, что "существует день и существует свет", выводится из положения "если существует день, то существует свет", поскольку речь идет о предположенном, не требующем доказательства, а с другой стороны, связь укреплена сосуществованием вышеназванного; вследствие этого суть рассуждения опровергается затруднением тропа взаимодоказуемости. Точно так же и в таком рассуждении: "если существует день, то существует свет; света нет; значит, нет дня" - из того, что без света не видно дня, должна бы считаться правильной связь "если существует день, то существует свет", поскольку, если бы предположительно показался когда-нибудь день, а свет нет, надо было бы признать эту связь ложью. Согласно же вышеназванному не требующему доказательства рассуждению, то, что день не бывает при отсутствии света, выводится из того, что "если су
302
шествует день, то существует свет", так что каждое из них для собственного укрепления нуждается в том, чтобы другое было твердо установлено, дабы стать таким образом достоверным по тропу взаимодвказуемости. Но и из того, что многое не может сосуществовать друг с другом, как, например, если угодно, день и ночь, надо бы считать правильным и отрицательное в сплетении, как: "нет дня и существует ночь [одновременно]", и разделенное, как: "либо существует день, либо существует ночь". Но то, что оно не сосуществует, укрепляется, по их мнению, как отрицательным, так и разделенным в сплетении, когда они говорят: "нет [одновременно] дня и ночи; однако ночь существует; значит, нет дня" и "либо существует день, либо существует ночь; но существует ночь; значит, нет дня" или "нет ночи; значит, существует день". Отсюда мы опять-таки заключаем, что для укрепления разделенного и отрицательного в сплетении мы нуждаемся в том, чтобы заранее воспринять, что заключенные в них суждения не сосуществуют, а это несосуществование их они, как кажется, выводят из разделенного и отрицательного в сплетении, почему получается троп взаимодоказуемости, так как мы не можем ни доверять вышеназванным способам рассуждения (без того, чтобы воспринять несосуществование заключенных в них суждений), ни установить их несосуществование раньше заключения силлогизмов этими способами. Поэтому, не зная, чему в этом круговороте проявить свое доверие, прежде всего мы скажем, что ни третье, ни четвертое, ни пятое из не требующих доказательства рассуждений, судя по словам догматиков, не имеют существования.
Сказанного в данное время о силлогизмах будет достаточно.
[15. ОБ ИНДУКЦИИ]
Я полагаю, что можно легко отбросить и троп об индукции. Так как они хотят путем ее вывести из частного достоверность общего, то они это сделают, взяв либо все частное, либо некоторое; но если некоторое, то индукция не будет установлена, ибо возможно, что нечто из оставленного в стороне частного будет противоречить общему в индукции, если же все, то они будут трудиться над невозможным, так как частные вещи бесконечны и неограниченны. Вследствие этого, думаю я, получается, что индукция расшатывается с двух сторон.
303
[16. ОБ ОПРЕДЕЛЕНИЯХ]
Но догматики гордятся и искусством в определениях (###), причисляя его к логической части так называемой философии. Поэтому скажем сейчас немногое и об определениях.
Догматики считают, что определения пригодны для многого. Но ты, может быть, найдешь две главнейшие стороны, обнимающие всю их необходимость, о которой они говорят, а именно: они указывают, что определения необходимы во всех вещах для восприятия или для изучения [41]. Итак, если мы докажем, что ни для одного из этого они не пригодны, то мы опрокинем, я думаю, все тщетные усилия догматиков. Прежде всего, не знающий определяемого не может определить неизвестного ему, а знающий и потом определяющий воспринял определяемое не из определения, но составил определение на основания этого воспринятого раньше; в таком случае определение не является необходимым для воспринимания вещей. Ибо и желая определить все, мы вовсе ничего не определяем, вследствие того что впадаем в бесконечность; если же мы согласимся, что нечто может быть воспринято и без определения, то признаем, что определения не необходимы для воспринимания, ибо тем путем, которым было воспринято неопределенное, мы можем воспринять все и вне определений; таким образом, мы либо вовсе ничего не определим (вследствие того что впадем в бесконечность), либо признаем определения не необходимыми. Поэтому же мы найдем, что они не являются необходимыми и для изучения, ибо как первый, познавший вещь, познал ее без определения, так равным образом и изучающий может изучить ее без определения. Далее, они судят об определениях, исходя из определяемого, и считают ошибочными те определения, которые заключают в себе что-нибудь не принадлежащее к определяемому - либо всякому, либо какому-нибудь. Вследствие этого, когда кто-нибудь говорит, что человек есть разумное (###) бессмертное животное или разумное, смертное и знающее грамматику животное, то они считают рассуждение ошибочным как потому, что нет человека бессмертного, так и потому, что некоторые не знают грамматики. Вероятно, определения неразрешимы и вследствие бесконечности частных вещей, на основании которых их должно судить; кроме того, они не могут быть воспринимаю