Аналитики. Первая и Вторая

Некоторые считают, что нет (никакой) науки, так как (для этого) необходимо знать первичное[741]; другие же, что есть (наука), но что все доказуемо[742]. Ни одно из этих (мнений) ни истинно, ни необходимо. В самом деле, те, кто предполагает, что вообще нет никакого знания, считают, что (доказательство) вело бы в бесконечность, ибо нельзя последующее знать на основании предшествующего, для которого нет первичного, в чем они правы, ибо пройти бесконечное невозможно. Если же (на чем-то) останавливаются и начала существуют, то они (все же) неизвестны, так как для них не имеется доказательства, в чем, по их мнению, только и состоит знание. Если же первичное знать невозможно, тогда и вытекающее из него невозможно знать в безусловном и в собственном смысле, но лишь на основании предположения, что (первичное) существует. Другие согласны (с мнением) о знании, именно, что (знание) есть только посредством доказательства. Но ничто, (думают они), не мешает, чтобы для всего было доказательство, ибо доказательство можно вести (и) по кругу, и одно (доказать) посредством другого и обратно. Мы же, напротив, утверждаем, что не всякая наука есть доказывающая (наука), но знание неопосредствованных (начал) недоказуемо. И очевидно, что это необходимо так, ибо если необходимо знать предшествующее и то, из чего доказательство исходит, — останавливаются же когда-нибудь на чем-нибудь неопосредствованном, — то это (последнее) необходимо недоказуемо. Следовательно, мы говорим так: есть не только наука, но также и некоторое начало науки, посредством которого нам становятся известными термины. Доказательство же по кругу безусловно невозможно, если только доказательство следует вести из предшествующего и более известного. Ибо невозможно, чтобы одно и то же для одного и того же было одновременно и предшествующим и последующим, разве только в различном смысле, например: (в одном смысле) как (предшествующее и более известное) для нас, а в другом (смысле) — безусловно, каким (именно) способом дает знание индукция[743]. Но если дело обстоит так, то неправильно было бы определено безусловное знание, и оно (понималось бы) двояко, или другой (способ) доказательства, основывающийся на более нам известном[744], не был бы (способом) безусловного (доказательства). Те же, кто признает доказательство по кругу, не только (делают ту ошибку), о которой сейчас было сказано, но они также (не могут) сказать ничего другого, как только то, что если это есть, то это есть. Но так можно легко доказать все. А что это случается, ясно, когда берут три термина, ибо безразлично, скажут ли, доказательство совершает поворот через много или немного (терминов), а также — через немного или через два (термина). В самом деле, когда (принимают, что) если есть А, необходимо есть Б, и если есть Б, необходимо есть В, то если есть А, необходимо будет и В. Когда (принимают, что) если есть А, необходимо есть Б, и если есть Б, необходимо есть А (это-то и было доказательством по кругу), то А можно ставить на место В. Сказать же, что если есть Б, есть А, значит сказать, что есть В — и это потому, что если есть А, есть В. Но В тождественно с А. Таким образом, оказывается, что тот, кто говорит, что есть доказательство по кругу, не говорит ничего иного, как то лишь, что если А есть, то есть А. Но так легко доказывается все[745]. Но это[746] невозможно, за исключением тех случаев, когда (термины) сопутствуют друг другу, как особые свойства[747]. Итак, когда берется только что-нибудь одно — то доказано[748], что в таком случае никогда не бывает необходимым, чтобы было что-нибудь другое. Я говорю (о том случае), когда берется или один термин, или одно положение, а что-нибудь вывести, если только (вообще) возможно выводить заключение, можно по меньшей мере из двух первичных положений[749]. Поэтому если А сопутствует Б и В, а Б и В — друг другу, равно как сопутствуют и А, то в таком случае все требуемое можно доказать одно из другого и обратно по первой фигуре, как это было показано в (разделах) о силлогизме[750]. Но было также доказано[751], что по другим фигурам силлогизм[752] или вовсе не получается, или (получается) не о принятом. Но то, что не приписывается друг другу, никоим образом не может быть доказано по кругу. А поэтому, так как подобного рода (термины)[753] мало встречаются в доказательствах, то очевидно, что пустым и нелепым является утверждение, будто можно доказывать одно из другого и наоборот, и что поэтому возможно доказательство всего.

ГЛАВА ЧЕТВЕРТАЯ (Понятия "всем", "само по себе" и "общее")