每一类之实际底分子，在任何时之实际底数目，我们不能依逻辑知之。多数底类之实际底分子，在任何时之实际底数目，我们即在事实上，亦不能知之。例如地上底草，在某一时共有若干棵，人的头发在某一时共有若干根，在事实上是无从知底。有些类之实际底分子，在某一时之实际底数目，在事实上是可以知底。例如地球上在某一时共有若干兵，注意军备之人，大概皆可知之。不过这已牵入事实问题。就哲学说，我们说及类时，其类之果有实际底分子存在否，及其实际底分子，如其有之，果有多少，除一二例外外，非哲学依逻辑所能知。但诸类之比较地共别，则可依逻辑知之。共与别系《荀子·正名》篇中所有之名词。动物类，对于猫类或狗类，是共类；动物之名，对于猫或狗之名，是共名。猫类或狗类，对于动物类，是别类；猫或狗之名，对于动物之名是别名。猫类或狗类，果均有实际底分子否，如其有之，在某一时其实际底分子孰多，不能依逻辑知之。但动物类，共于猫类或狗类，则只须我们能了解所谓猫或狗之意义，则可依逻辑知之。共类所有之分子，即是其所属之别类所有之分子。别类之实际底分子，亦可为共类之实际底分子。所以一共类所有之实际底分子，必不少于其所属之别类之实际底分子，此亦可依逻辑知之。
普通多依一类之名之外延，称共类为高类，别类为低类。但我们亦可依一类之名之内涵，称共类为低类，别类为高类，依内涵说，猫类或狗类之有，无论在实际方面，或在真际方面，均涵蕴动物之有。但动物之有，无论在实际方面，或在真际方面，均不涵蕴猫或狗之有。有猫或狗，则必有动物，但有动物，不必有猫或狗。依此观点，我们说，猫类或狗类是高类，动物类是低类。
所谓真际，可以从类之观点看，亦可从全之观点看。关于全，下文详说。今先说，若从类之观点，以看真际，则真际是一大共名，其类是一大共类，亦即是一分子最多之类。依本书所谓真际之意义，凡可称为有者皆属真际。故其类包括一切。
有亦是一大共名，其类亦是一大共类，亦即是一分子最多之类。有之观念为道家所常用。不过道家仅说及实际，其所谓有，系指一件一件底实际底事物而言，亦或指实际而言。但我们不妨用之以指一切底有。
无亦是道所常用之观念。不过先秦道家，如《老》《庄》，所谓无，系指其所谓道。依他们的所见，一件一件底实际底事物是有；道不是一件一件底实际底事物，所以称为无。其所以称为无，乃所以别于他们所谓有，并不是真正底无。惟郭象所说有，并不是指一件一件底实际底事物，而是指实际，其所谓无，亦是真正底无。郭象说：“非惟无不得化而为有也，有亦不得化而为无矣。是以有之为物，虽千变万化，而不得一为无也。”（《〈庄子·知北游〉注》）由此可知，其所谓有，并非一件一件底事物之有，而是有，亦即是实际。其所谓无，亦系真正底无。不过郭象亦只讲及实际，而未及真际。其所谓无亦系与实际底有相对者。照我们的看法，从理之方面说，可以说是无无。真际有有之理而无无之理。所谓无者，即不有或非有，乃是与有相对之负观念，正如非方乃与方相对之负观念。就我们的知识说，负观念因正观念而起，但就真际方面说，则只有与正观念相应之理，而并无与负观念相应之理。例如非方之观念，乃因方之观念而起，但真际只有方之理，而并无非方之理。
从类之方面说，我们可以说，无之类是所有底空类之类，凡从实际底分子之类均属之。不过所谓无之类是一负观念之类。犹如凡不方底物可以入于不方之类，但不方之类，是一负观念之类，并无与之相应之理。
