ГЛАВА ДВАДЦАТЬ ЧЕТВЕРТАЯ

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


[1] Война фиванцев с фокейцами (Д – термин, подобный В) есть зло (А). Война фиванцев с фокейцами (Д) есть война с соседями (Б). Война с соседями (Б) есть зло (А).
Далее:
Война афинян с фиванцами (В) есть война с соседями (Б). Война афинян с фиванцами (В) есть зло (А).
Таким образом, через термин (Д), подобный меньшему (В), доказывается, что больший термин (А) присущ среднему (Б).