Все эти вопросы разрешить очень трудно: сам Порфирий отказывается от такой задачи; и все же я попытаюсь подойти к ним поближе, настолько, чтобы не оставить душу читателя в смятении, и в то же время не потратить чересчур много времени и труда на то, что не входит в нашу непосредственную задачу. Прежде всего я предложу [вниманию читателя] кое-какие соображения в пользу и того, и другого [варианта решения] вопроса, а затем попытаюсь этот узел распутать и разъяснить.
Роды и виды или существуют и имеют самостоятельное бытие (subsistunt), или же образуются разумом и одним лишь мышлением. Однако роды и виды существовать не могут. Это понятно из следующего [размышления]. Все, что является одновременно общим для многих [вещей], не может быть едино в себе. Ибо общее принадлежит многим, особенно когда одна и та же вещь находится одновременно во многих целиком. Ведь сколько бы ни было видов, во всех них - один род, причем не то чтобы отдельные виды получали от него что-нибудь вроде частей - нет, каждый вид в одно и то же время имеет целый род. Следовательно, если один род находится в одно и то же время целиком во множестве отдельных видов, он не может быть един. Ибо не может быть, чтобы целое, находясь одновременно во многих [вещах], было в самом себе едино по числу. Но в таком случае, если род не может быть чем-то единым, то он и вообще ничто. Ибо все, что есть, именно потому есть, что едино; и то же самое следует сказать и о виде.
А если роды и виды существуют, но не единые по числу, а многочисленные, то не будет последнего рода, но над всяким родом будет другой, вышестоящий, чье имя включит в себя всю эту множественность: точно так же как множество живых существ требует объединения их в один род потому, что у всех них есть что-то похожее, но тем не менее они - не одно и то же, - так же и род, множественный оттого, что находится во многих, имеет свое подобие - другой род, тоже не единый оттого, что во многих; и для этих двух родов требуется [третий общий] род, а когда он будет найден, тотчас же, по вышеизложенным соображениям, придется искать новый [общий для первых двух и третьего]; таким образом, рассудок (ratio) по необходимости будет уходить в бесконечность, ибо никакого логического предела здесь нет.
А если род - нечто единое по числу, то он не может быть общим для многих: ибо единая вещь может быть общей либо частями, и тогда собственностью единичных [вещей] является не вся она целиком, но ее части; либо она общая потому, что в разное время переходит в пользование разных ее обладателей, как могут быть общими колодец и источник, раб или лошадь; либо она становится общей для всех одновременно, но тогда она не составляет субстанции тех, для кого является общей, как, например, театр или любое другое зрелище, общее для всех зрителей. Но род ни одним из перечисленных способов не может быть общим для видов: ведь он должен быть общим так, чтобы и целиком находиться в отдельных [видах], и одновременно, и при этом составлять и образовывать субстанцию тех, для кого он является общим. Следовательно, раз он не един, потому что общий, и не множествен, потому что всякое множество родов требовало бы нового рода, - получается, что рода вообще нет, и то же самое следует думать и о прочих.
А если роды и виды и все прочие - только лишь мыслимые понятия (intellectus), то [следует иметь в виду], что всякое понятие создается либо на основании подлежащей (subjecta) вещи, какова она в действительности (ut sese res habet), либо не так, какова вещь в действительности - понятие праздное и не имеющее под собой никакого подлежащего, ибо без подлежащего не может быть [истинного] понятия. Если допустить, что понятия рода и вида и прочих происходят от подлежащей вещи так, какова сама эта мыслимая вещь [в действительности], тогда надо признать, что они существуют не только в понятии, но и в истине вещей. Но тогда нам снова придется вернуться к предыдущему вопросу и исследовать их природу.
Ну, а если понятие о роде и прочих возникает хотя и на основании вещи, но не так, какова подлежащая вещь в действительности? Такое понятие по необходимости будет пустым и бесплодным: ведь оно хоть и берет свое начало в вещи, но [отражает] ее не так, как она на самом деле существует. А то, что мыслится не так, как есть, - ложно. Следовательно, раз род и вид не существуют, а когда мыслятся, то понятие о них неистинно, вывод относительно них может быть только один: не стоит заниматься рассуждением об этих пяти предложенных [Порфирием на рассмотрение вещах], ибо такое исследование будет посвящено предмету, который не существует и о котором нельзя ни помыслить, ни высказать ничего истинного.