Как определяется логическая классификация предметов в формальной логике?

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

Совокупность предметов с одинаковыми существенными признаками называется логическим классом. 1 Он образует объём понятия. 1 Существует иерархия логических классов: 1

• Высший класс включает в себя другой класс вместе с рядом других классов. 1 Например, класс «хвойное дерево» является высшим по отношению к классу «ель», потому что он включает в себя, кроме класса «ель», также и классы «сосна», «пихта» и т. п.. 1
• Класс, высший по отношению к другому, называется в логике родом. 1
• Класс, низший по отношению к тому классу, который является родом, называется видом. 1 Один и тот же класс может быть родом по отношению к низшему классу и видом по отношению к высшему. 1 Например, класс «хвойное дерево» является видом по отношению к классу «дерево». 1

Классификация может производиться по существенным признакам (естественная) и по несущественным признакам (вспомогательная). 35