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

Так как (доказательство) утверждения лучше (доказательства) отрицания, то ясно, что оно также лучше (доказательства) посредством приведения к невозможному. Но следует знать, каково различие между ними. Пусть А не присуще ни одному Б, а Б пусть будет присуще всем В, тогда А необходимо не присуще ни одному В; если (термины) взяты так, то получится прямое доказательство отрицания, (именно), что А не присуще В. (Доказательство) же посредством приведения к невозможному таково: если нужно доказать, что А не присуще Б, то следует принять, что оно (ему) присуще и что Б также присуще В; так что отсюда следует, что А присуще В[966]. Но должно уже быть известно и признано, что это невозможно. Следовательно, не может быть, чтобы А было присуще Б. Итак, если признано, что Б присуще В, то А не может быть присуще Б. Следовательно, термины расположены (в обоих, случаях) одинаково. Различие же заключается в том, которая из обеих отрицательных посылок более известна — та ли, (которая гласит), что А не присуще Б, или та, (которая гласит), что А не присуще В. И вот, если заключение (о том, что А не присуще В), является более известным, то мы будем иметь доказательство посредством приведения к невозможному; если же более известным является отрицание, (содержащееся) в (самом) силлогизме[967], то будем иметь прямое (доказательство). По природе же (положение), что А не присуще Б, предшествует (положению), что А не присуще В, ибо заключению предшествует то, из чего оно вытекает. А (положение), что А не присуще В, есть заключение, (положение) же, что А не присуще Б, есть (именно) то, из чего вытекает заключение, ибо если приходится что-либо опровергнуть, то это не заключение, а те (суждения), из которых (выводится заключение). Но то, из чего (выводится заключение), есть силлогизм, в котором (одна посылка) относится (к другой) или как целое к части или как часть к целому. Посылки же АВ и АБ не находятся друг к другу в таком отношении. Таким образом, если (доказательство), исходящее из более известного и предшествующего ценнее, а оба (доказательства)[968], исходящие из того (положения), что нечто не есть, являются достаточно убедительными, но одно из них[969] исходит из предшествующего, а другое — из последующего, то тогда (прямое) доказательство отрицания безусловно лучше (доказательства) посредством приведения к невозможному. А раз так, то ясно, что если (доказательство) утверждения лучше (доказательства отрицания), то оно также лучше (доказательства) посредством приведения к невозможному.

ГЛАВА ДВАДЦАТЬ СЕДЬМАЯ (Степень достоверности разного научного знания)

Наука, (дающая одновременно и) знание того, что (что-нибудь) есть, и (знание) того, почему (что-нибудь) есть, а не отдельно знание того, что (что-нибудь) есть, является более точной и высшей, чем наука, (дающая знание только того), почему (что-нибудь) есть. Равным образом и наука, не имеющая дела с (материальной) основой, точнее и выше науки, имеющей с ней дело, как, например, арифметика по сравнению с гармонией. Далее, наука, исходящая из меньшего (числа начал), точнее и выше науки, (требующей некоторого) добавления, например арифметика по сравнению с геометрией. Под требующим добавления я понимаю то, что, например, единица есть сущность без положения (в пространстве), точка же — сущность, имеющая положение (в пространстве); это (последнее) и есть добавление.

ГЛАВА ДВАДЦАТЬ ВОСЬМАЯ (Единство и множество наук)

Одна наука, наука одного рода, есть наука о том, что слагается из начал и является частями или свойствами этих (начал), присущими сами по себе[970]. А отличаются науки друг от друга, если их начала не возникают ни из одних и тех же (начал), ни одно из другого. Это обнаруживается, когда доходят до недоказуемых (положений), ибо последние должны[971] принадлежать к тому же самому роду, что и доказанные (положения). Доказательство же этого мы имеем и тогда, когда (положения), доказываемые из этих (начал), принадлежат к одному и тому же роду и родственны между собой.

ГЛАВА ДВАДЦАТЬ ДЕВЯТАЯ (Допустимость многих доказательств одного и того же положения)