Совокупность однородных предметов, т.е. предметов, сходных в своих существенных признаках, называется классом.

В логике любое имя состоит из двух структурных компонентов – объема и содержания.

Содержание имени -это совокупность признаков, на основании которых предметы обобщаются в классы

Объем имени – совокупность предметов, обладающих специфическим для данного класса признаком.

Между объемом и содержанием существует закон обратного отношения: чем больше содержание имени, тем меньше его объем, и наоборот.

Проиллюстрируем это на конкретном примере. Возьмем три сравнимых имени – А («населенный пункт»), В («город»), С («столица»). Очевидно, что в данном примере объем имени А будет максимальным, ибо в него входят объемы имен В и С, не исчерпывая его полностью (существует множество населенных пунктов, не являющихся городами, - деревни, хутора, агломерации и т.п.). В отношении содержания имени закономерность иная: максимальным в данном случае будет содержание имени С, ибо в него входят все признаки, относящиеся к А и В, а также специфичные лишь для С (сосредоточение центральных органов законодательной , исполнительной и судебной власти, наличие основных коммуникационных узлов, главных образовательных и культурных центров и т.д.).

Именами с максимальным содержанием выступают имена, соответствующие единичным, уникальным предметам («столица Беларуси»), а именами с максимальным объемом – предельно общие, фундаментальные имена, отражающие наиболее существенные, закономерные связи и отношения (к ним относятся категории: «материя», «сознание», «пространство», «время», «движение» и множество других).

Логическая операция перехода от имени с большим объем ом к имени с меньшим объемом называется ограничением объема имени, а обратная операция, т.е. переход от имени с меньшим объемом к имени с большим объемом, - обобщением объема имени.

Несмотря на то, что имен – практически бесконечное количество, логических отношений между ними немного. Имена делятся на две большие группы: сравнимые и несравнимые.Сравнимые имена имеют хотя бы один общий признак, несравнимые таких признаков не имеют. Поэтому в различных типах логических отношений могут находится только сравнимые имена, которые, в свою очередь, подразделяются на две подгруппы: совместимые и несовместимые.