В логике выделены некоторые свойства классификации: а) классификацию производят на базе существенного для решения теоретических или практических задач признака; б) при классификации нужно распределить предметы по группам так, чтобы по месту в классификации можно было судить об их свойствах; в) «результаты классификации представляются или, по крайней мере, могут быть представлены в виде таблиц или схем».[42]
Вместе с тем в логике установлены и правила классификации (деления) понятий.
1. Деление должно производиться только по одному основанию. На протяжении всего деления на одном уровне в качестве основания должен сохраняться один признак. Вполне естественно, что с изменением уровня классификации (выделение подвидов какого-либо вида) изменится и основание деления, которое также должно оставаться единственным на этом уровне.
При нарушении данного правила, когда деление на одном уровне производится по нескольким основаниям, возникает ошибка «сбивчивое деление».
2. Деление должно быть соразмерным, объем членов деления должен быть равен в своей сумме объему делимого понятия. Это правило требует, чтобы «ни один из членов деления не был пропущен».[43]
Возможные ошибки деления: а) «неполное деление», когда объем членов деления в совокупности составляет лишь часть объема делимого понятия; б) «деление с излишними членами», когда в число членов деления включаются понятия, не входящие в объем делимого либо совпадающие по видовому признаку класса с другими классами.
3. Члены деления должны исключать друг друга, т. е. в любой классификации класс А не есть класс Б, класс Б не есть класс В и т. д. Разумеется, речь идет о разграничении по отличительному, сущностному для их выделения признаку, ведь по основанию деления они совпадают. Несоблюдение указанного правила ведет к разновидности ошибки «деление с излишними членами», при котором сущностные признаки нескольких классов или подклассов будут совпадать.
4. Деление должно быть непрерывным, т. е. от родового понятия следует переходить к видовым понятиям одного и того же уровня.
При нарушении данного правила, когда в деление более высокого уровня включаются члены деления более низкого уровня, возникает ошибка «скачок в делении».
Кроме этих четырех общепризнанных формально-логических правил классификации понятий можно установить еще два. Первое заключается в том, что при определении понятия, выделенного в класс, необходимо исходить из общих и специальных существенных признаков. Поскольку общие существенные признаки уже употреблены при определении делимого понятия, нет необходимости в их повторении при определении понятий каждого из выделенных классов. Поэтому на видовом уровне относительно каждого класса должны быть применены только те существенные признаки, которые свойственны лишь явлению-классу и помогают отграничить его от смежных с ним явлений-классов. Второе заключается в следующем: при сопоставлении различных классов мы имеем право сравнивать только классы одного уровня: либо классы между собой, либо подклассы между собой, либо субподклассы между собой. Ни в коем случае нельзя сравнивать подкласс с классом, субподкласс с подклассом и т. д. Это можно продемонстрировать на таком примере: курица все-таки является разновидностью птиц, но чем же отличается курица от птицы? Можно ли поставить вопрос: «Чем отличается береза от дерева?» Вопрос выглядит несуразным, таким же будет и ответ на него. Членов деления нельзя сравнивать с делимым понятием, поскольку в последнем имеются все признаки, свойства, связи, отношения, характерные для первых (соразмерность деления). Нарушение данного правила можно назвать ошибкой «разноуровневое сравнение».
И в логике, и в теории уголовного права бытует мнение об относительности классификаций, либо в силу огрубления явлений при них и в силу развития явления во времени и пространстве,[44] либо в силу развития общественных отношений, науки, в силу углубления знаний о предмете.[45] Думается, более точно представление последних, поскольку понятие, его определение и деление (классификация) суть мысль, т. е. субъективная категория, отраженная в конечном счете в науке и, естественно, отражающая развитие самого явления, поэтому главным для классификации остается знание о развитии явления, о развитии отношений науки. Однако более высокая точность еще не свидетельствует об истинности указанного суждения по поводу относительности классификаций.