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