Однако даже если этот вопрос будет разрешен, мы не избавимся от неясности: останется что-то вроде осадка, который, несмотря на то, что мы признаем род и вид бестелесными, будет препятствовать пониманию (intelligentia) и мешать нам двигаться вперед, требуя выяснить, существуют ли (subsistant) они в связи с телами или обладают самостоятельным существованием, независимым от чувственных тел. Ибо существуют две формы бестелесных вещей: одни могут существовать помимо тел и, будучи отделены от тел, сохраняют свою целостность (corporalitas), как например, Бог, ум, душа. Другие же, хоть сами и бестелесные, помимо тел существовать не могут, как линия, поверхность, число и единичные (sin-gulares) качества; тем не менее, мы утверждаем, что они бестелесны, ибо они никоим образом не протяженны в трех измерениях; и в то же время они существуют в телах таким образом, что не могут быть оторваны или отделены от них, или, будучи отделены, тотчас же прекращают свое существование.
Все эти вопросы разрешить очень трудно: сам Порфирий отказывается от такой задачи; и все же я попытаюсь подойти к ним поближе, настолько, чтобы не оставить душу читателя в смятении, и в то же время не потратить чересчур много времени и труда на то, что не входит в нашу непосредственную задачу. Прежде всего я предложу [вниманию читателя] кое-какие соображения в пользу и того, и другого [варианта решения] вопроса, а затем попытаюсь этот узел распутать и разъяснить.
Роды и виды или существуют и имеют самостоятельное бытие (subsistunt), или же образуются разумом и одним лишь мышлением. Однако роды и виды существовать не могут. Это понятно из следующего [размышления]. Все, что является одновременно общим для многих [вещей], не может быть едино в себе. Ибо общее принадлежит многим, особенно когда одна и та же вещь находится одновременно во многих целиком. Ведь сколько бы ни было видов, во всех них - один род, причем не то чтобы отдельные виды получали от него что-нибудь вроде частей - нет, каждый вид в одно и то же время имеет целый род. Следовательно, если один род находится в одно и то же время целиком во множестве отдельных видов, он не может быть един. Ибо не может быть, чтобы целое, находясь одновременно во многих [вещах], было в самом себе едино по числу. Но в таком случае, если род не может быть чем-то единым, то он и вообще ничто. Ибо все, что есть, именно потому есть, что едино; и то же самое следует сказать и о виде.
