Итак, продолжим про категории. Первая обсуждаемая в "Категориях" категория - сущность. В начале обсуждения этой категории она определяется Аристотелем двояко. Именно, сущность в первичном смысле слова (она же называется "первая сущность" - термин, особо за пределы трактата "Категории" не выходящий) - это то, что ранее было обозначено в трактате как не сказывающееся ни о чём и не находящемся ни в чём, т.е. то, что Аристотель называет словом "субстрат". В соответствии со сказанным ранее, получается, что первые сущности - это единичные вещи. Сущность во втором смысле, т.е. вторая сущность - это сказывающееся о первой сущности, т.е. виды и роды первых сущностей.

Здесь возникает вопрос, почему первые и вторые сущности - это что-то одно, т.е. нечто единое. Один возможный ответ на него касается содержания трактатов "Метафизика" и "О душе", и потому рассматривать его сейчас мы не будем. Однако есть и другой возможный ответ, связанный лишь с внутренним содержанием "Категорий", хотя отчасти и с "Метафизикой". Дело в том, что категории - это высшие роды, т.е. такие, которые не имеют никаких общих свойств (видовых отличий) с другими категориями, или, иначе говоря, о которых ничего не сказывается, но они сами сказываются о максимально многом. При таком взгляде на категории они оказываются как бы верхней границей в ряду вложенных друг в друга множеств, максимально общими множествами, ни во что более не объединимые. Первые же сущности, напротив, оказываются как бы нижней границей, т.е. минимальными множествами, состоящими каждое только из одного элемента. Всё то, что между ними - это виды и множества вложенных друг в друга родов. Если это всё не считать сущностями, то окажется, что "сущность" - это множество не такого вида, как "животные" по отношению к "окуням" и "китам", а как "водные" по отношению к "окуням" и "китам", т.е. те множества, в которые входят рыбы и киты - рыбы, млекопитающие, позвоночные - не имеют в большинстве своём никакого отношения ко множеству "водные". Иначе говоря, определение окуней и китов как "водных" и определение их как "животных" - это характеристики их по разным признакам, при этом определение окуней как "рыб", китов - как "млекопитающих" и их обоих как "позвоночных" - это характеристика окуней и китов по тому же признаку, по которому они объединяются в "животных". Категории должны быть не какой-то сторонней характеристикой единичного сущего, а пределом последовательного объединения его во множества всё большего и большего размера. Поэтому и роды с видами первых сущностей должны быть сущностями, точно так же как и "рыбы" с "позвоночными" должны быть "животными" наравне с окунями и китами - иначе категории окажутся не "сказывающимся о...", а "находящимся в...".