И далее, если одно не есть качество другого и другое (не есть качество) первого и, следовательно, (оно) не есть качество качества, то невозможно, чтобы подлежащее и сказуемое приписывались друг другу таким образом[930]
. Но хотя (они) и могут быть высказаны истинными, однако не могут истинно приписываться друг другу. Ведь приписывается, конечно, как бы сущность, например, или род или (видовое) различие приписываемого. Но относительно этого было доказано, что оно не будет бесконечным ни по направлению вниз, ни по направлению вверх, например, (если сказать): человек есть двуногое (существо), двуногое есть живое существо, а живое существо есть нечто другое. И точно так же не может (до бесконечности быть сказуемым) живое существо по отношению к человеку, человек — по отношению к Каллию, Каллий — по отношению к кому-то другому в качестве его существа, ибо всякую сущность можно определить как такую-то и такую-то, но бесконечное нельзя пройти мысленно; поэтому (определения) не бесконечны ни по направлению вверх, ни по направлению вниз, так как сущность, которой приписывалось бы бесконечное, нельзя было бы определить. Действительно, (термины) как роды не могут приписываться друг другу, в противном случае (род) был бы частью самого себя[931]. Но и качество и что-нибудь другое не могут приписываться друг другу, разве только как случайное, ибо все это бывает случайно и приписывается сущностям. Но и по направлению вверх нельзя идти до бесконечности. Ибо каждому (предмету) приписывается то, что обозначает или качество, или количество, или нечто подобное, или то, что относится к сущности, но все это ограничено, как ограничены и роды категорий, а именно: или качество, или количество, или отношение, или нечто действующее, или нечто подвергающееся действию, или место, или время. Было, однако, предположено, что одно одному приписывается, но что те (термины), которые не (обозначают) существа (вещи), не приписываются сами себе, ибо все (они) случайные (признаки), но одни являются (таковыми) сами по себе, другие же — иным образом. Но мы говорим, что все они приписываются какому-то подлежащему, случайное же не есть какое-то подлежащее, ибо мы считаем, что нет ни одного из такого рода (случайных признаков), который, не будучи чем-то другим, называется (тем, чем он называется[932]; напротив того, оно само (приписывается) другому, и нечто другое — иному. Таким образом, нельзя будет сказать, что одно присуще другому (до бесконечности) — как по направлению вверх, так и по направлению вниз. В самом деле, то, чему приписываются случайные (признаки), есть нечто, относящееся к сущности каждой (вещи), а это не бывает бесконечным. По направлению вверх идут и относящееся к сущности и случайные (признаки), однако и то и другое не бесконечно. Необходимо, следовательно, должно быть нечто, чему что-то приписывается первично, а этому — нечто другое, и здесь должен быть предел и должно быть нечто, что больше не приписывается другому предшествующему и чему другое предшествующее (больше не приписывается).Таков, следовательно, один, указанный (здесь), способ доказательства[933]
. Есть еще другой (способ) — когда есть доказательство того, чему нечто приписывается как предшествующее. Нельзя лучше достигнуть того, доказательство чего имеется, чем знанием, и нельзя это знать без доказательства. Если же одно познается через другое, а мы этого другого не знаем и не можем лучше достигнуть этого, чем знанием, то мы не будем знать и то, что познается через это другое. Итак, если можно безусловно знать что-либо посредством доказательства, а не из каких-либо (условий) или из предположения, тогда необходимо, чтобы был предел промежуточным сказуемым[934]. Ибо если бы не было им предела, но всегда был бы (термин, находящийся) выше взятого, тогда должно было бы быть доказательство всего. Так что если бесконечное невозможно пройти, тогда и то, доказательство чего имеется, мы не будем знать посредством доказательства. Итак, если мы не можем лучше достигнуть этого, чем знанием, то нельзя иметь безусловное знание посредством доказательства, но (будем знать только) предположительно.