Таким образом мы доказываем.
А опровергаем так, что удовольствие не подчинено полезному: если удовольствие – полезное, то и «приятно» – это «полезно», и «приятное» – это «полезное». Но «приятное» – не «полезное». Следовательно, и удовольствие – не полезное.
Или, если какое-то из соотнесенных [слов] противоречит более явно, возьмем его и покажем через него, что удовольствие – не полезное. Ведь все соотнесенные [формы] должны следовать одинаково.
Если удовольствие не полезно, то ясно, что оно не может быть и подчинено как вид.
Снова соотнесенные [формы]: «справедливость», «справедливое», «справедливый», «справедливо» – и «знание», «знаемое», «знающий», «знающе».
Если знание – род справедливости, то и «справедливое» должно быть подчинено «знаемому», и «справедливый» – «знающему», и «справедливо» – «знающе».
p. 124a15 Снова о том, что находится в подобном отношении друг к другу.
Этот топ подобен топу от соотнесенных [форм].
Ведь если некоторые [вещи] находятся в подобном отношении друг к другу, то если одно из них является родом другого, то и другое будет родом первого.
Например, поскольку «приятное» находится в таком же отношении к удовольствию, как «полезное» – к «благу» (ведь как «приятное» производит удовольствие, так и «полезное» могло бы производить благо), или, наоборот, если благо – род удовольствия, то и полезное будет родом приятного.
Это можно выразить и через аналогию.
Если, как благо относится к полезному, так удовольствие относится к приятному, то, переставляя, как ведущее [благо] к ведущему [удовольствию], так и следующее [полезное] к следующему [приятному].
Так что, как благо относится к удовольствию, так полезное относится к приятному.
Следовательно, если благо – род удовольствия, то и полезное будет родом приятного.
Однако сам [автор] не использовал аналогию, но привел утешение для доказываемого.
То, что полезное будет родом приятного, он утешительно пояснил, сказав: «Ясно, что оно будет производить благо, раз удовольствие – благо».
Ибо если удовольствие – благо, то его производящее (а это – приятное) будет производить некое благо.
А все, что производит благо, – полезно и подчинено как вид полезному.
Этот топ годится и для доказательства, и для опровержения.
Ведь если удовольствие не подчинено как вид благу, то и приятное не будет подчинено полезному.