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