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