Далее, если одно не есть качество другого и другое не есть качество первого и, [следовательно], не есть качество качества, то они не могут сказываться друг о друге таким образом. Но хотя о них и можно сказать нечто истинное, однако они не могут истинно сказываться друг о друге. Ведь сказывается, конечно, как бы сущность, например или род, или видовое отличие сказываемого. Но относительно этого было показано, что оно не будет бесконечным ни по направлению вниз, ни по направлению вверх, например ни [ряд]: человек есть двуногое существо, двуногое есть живое существо, а живое существо есть нечто другое, ни [ряд]: живое существо – о человеке, человек— о Каллии, Каллий – о чем-то другом, содержащемся в его сути, ибо всякую такую сущность определить можно, бесконечное же нельзя пройти мысленно; поэтому не бесконечно ни направление вверх, ни направление вниз, ведь сущность, о которой сказывалось бы бесконечно много, нельзя было бы определить. Действительно, [термины] не могут как роды сказываться друг о друге, иначе нечто было бы частью самого себя. Но ни качество, ни одна из других [категорий] не могут сказываться друг о друге, разве только привходящим образом, ибо все они присущи привходящим образом и сказываются о сущностях. Но и по направлению вверх нельзя идти до бесконечности. Ибо о каждом [предмете] сказывается то, что обозначает или качество, или количество, или какая-нибудь другая [из остальных категорий], или то, что относится к сущности, но все это ограниченно, как ограниченны и роды категорий, а именно: или качество, или количество, или отношение, или нечто действующее, или нечто претерпевающее, или «где», или «когда». Однако предполагают, что одно сказывается о другом, но что те [термины], которые не [обозначают] сути [вещи], не сказываются друг о друге, ибо все они привходящие, но одни таковы сами по себе, другие же – иным образом. Но мы говорим, что все они сказываются о каком-то подлежащем, привходящее же не есть какое-то подлежащее, ибо мы считаем, что нет ни одного такого рода привходящего, которое называется тем, чем оно называется, не будучи чем-то другим; оно само [сказывается] о другом, и другие [привходящие] – об ином [подлежащем]. Таким образом, нельзя будет сказать, что одно присуще другому [до бесконечности] – как по направлению вверх, так и по направлению вниз. В самом деле, то, для чего указывается привходящее, есть нечто относящееся к сущности каждой [вещи], а это не бывает бесконечным. По направлению вверх идут и относящееся к сущности, и привходящее, однако и то и другое не бесконечно. Следовательно, необходимо должно быть нечто такое, о чем что-то сказывается как о первом, и об этом – нечто другое, и здесь должен быть предел, т. е. должно быть нечто, что больше уже не сказывается о другом предшествующем и о чем другое предшествующее больше не сказывается.
Таков, следовательно, один указанный здесь способ доказательства. Есть еще другой способ – когда есть доказательство того, о чем нечто сказывается как предшествующее. Нельзя лучше достигнуть того, доказательство чего имеется, чем знанием, и нельзя это знать без доказательства. Если же одно познается через другое, а мы этого другого не знаем и не можем лучше достигнуть этого, чем знанием, то мы не будем знать и то, что познается через это другое. Итак, если можно безусловно знать что-либо посредством доказательства, а не на основании каких-то [соглашений] или предположения, то необходимо, чтобы был предел промежуточным сказуемым. Ибо если бы не было им предела, а всегда было бы [сказуемое] выше принятого, то должно было бы быть доказательство всего. Так что если перебирать [мысленно] бесконечно много [сказуемых] невозможно, тогда мы не будем знать посредством доказательства то, доказательство чего имеется. Итак, если мы не можем лучше достигнуть этого, чем знанием, то нельзя иметь безусловное знание посредством доказательства, а можно его иметь [только] на основании предположения.