Невозможно, чтобы для всех силлогизмов начала были одними и теми же, и это [становится ясным] прежде всего при диалектическом (logikōs) рассмотрении. В самом деле, одни силлогизмы истинны, другие ложны. И хотя из ложных [посылок] можно выводить истинное заключение, однако это получается только в одном случае, например, если А истинно в отношении В, а средний термин Б ложный, ибо ни А не присуще Б, ни Б не присуще В. А если снова брать средние термины для этих посылок, то [новые посылки] окажутся ложными, ибо всякое ложное заключение получается из ложных же посылок, а из истинных – истинное. Ложные же посылки отличаются от истинных. Далее, не [все] ложное выводится из одних и тех же [начал], ибо ложные [положения] – это и противоположные друг другу, и несовместимые друг с другом; например, не может справедливость быть несправедливостью или трусостью, и не может человек быть лошадью или быком, а равное – большим или меньшим. Из принятых же [положений] можно это доказать так: даже начала всех истинных [силлогизмов] не одни и те же, ибо у многих начала различны по своему роду и не подходят друг к другу, как, например, единицы не подходят к точкам, ибо первые не имеют положения [в пространстве], а последние имеют его. Между тем необходимо, чтобы или [крайние] подходили к средним терминам – либо наверху, либо внизу, или чтобы одни [средние] находились между [крайними] терминами, а другие были вне их. Но и среди общих всем начал не может быть таких, из которых можно было бы доказать все (под общими всем я разумею такие, как [положение], что относительно всего возможно или утверждение, или отрицание), ибо роды существующего различны и одно присуще [только] количествам, другое – только качествам, и посредством них через общие им [начала] ведется доказательство. Далее, начал бывает немногим меньше, чем заключений, ибо начала суть сами посылки; [новые] же посылки получаются или прибавлением [крайнего] термина, или введением [среднего]. Кроме того, число заключений бесконечно, хотя число [средних] терминов ограниченно. Наконец, одни из начал необходимы, другие – [только] возможны.
Следовательно, при таком рассмотрении [становится ясным], что эти начала не могут быть одними и теми же или ограниченными по числу, если число заключений бесконечно. Если же кто-нибудь сказал бы как-то иначе, например: это начала геометрии, это начала учения о числах, а это начала врачебного искусства, то какое же это имело бы другое значение, как не то, что существуют начала [отдельных] наук? Сказать же, что начала одни и те же, потому что они тождественны самим себе, было бы смешно, ибо в таком случае все оказалось бы тождественным. Также нельзя полагать, что у всех [силлогизмов] одни и те же начала, – это означало бы, что любую [посылку] можно доказать из всех начал; это было бы чрезвычайно нелепо. В самом деле, так не может обстоять дело ни в очевидных [положениях] математики, ни при раскрытии, ибо неопосредствованные посылки суть начала, а заключение, отличное [от данного заключения], получается, если прибавить [новую] неопосредствованную посылку. Но если бы кто-нибудь сказал, что именно первые неопосредствованные посылки суть эти начала, то [следует возразить, что] в каждом отдельном роде есть одно такое начало. Если же невозможно из всякого [начала] доказать что бы то ни было (как это следовало бы) и если, с другой стороны, невозможно, чтобы [начала] были столь различны, чтобы были различны [начала] каждой науки, то остается сказать, что начала всех [наук] однородны, но из одних начал доказывается одно, из других – другое. Очевидно, однако, что и это невозможно, ибо было уже показано, что начала разных по роду вещей сами различны по роду, ибо начала бывают двоякие: такие, из которых [что-то доказывается], и такие, относительно которых что-то [доказывается]. Следовательно, те, из которых [доказывается], суть общие всем начала, те же, относительно которых что-то [доказывается], – свойственные лишь отдельным [наукам], например число, величина.
Глава тридцать третья
[Различие между знанием и мнением]