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