§ 17. Второе условие правильности деления состоит в требовании, чтобы сумма предметов во всех полученных при делении видах в точности равнялась сумме предметов разделённого понятия, т. е. чтобы сумма видов исчерпывала весь объём родового понятия. При нарушении этого правила деление получается либо слишком узким, либо слишком широким. Так, разделив объём понятия «лес» на виды хвойных и лиственных лесов, мы получим, очевидно, слишком узкое деление, так как кроме хвойных и лиственных лесов бывают ещё леса смешанные, т. е. хвойно-лиственные. Здесь сумма объёмов видовых понятий, очевидно, меньше объёма делимого, она не исчерпывает полного объёма делимого и не содержит в себе всех его видов.
Напротив, разделив объём понятия «звёзды» на виды заходящих звёзд, незаходящих звёзд и планет, мы получим, очевидно, слишком широкое деление, так как планеты не суть звёзды. Здесь вследствие включения планет в число звёзд сумма объёмов видовых понятий оказалась большей сравнительно с объёмом делимого понятия.
§ 18. Третъе условие правильности деления состоит в требовании, чтобы члены деления исключали друг друга. Это значит, что в итоге деления каждый предмет, входящий в объём делимого родового понятия, должен войти в объём какого-либо одного из видовых понятий, но не должен сразу войти в два или в большее число видов. Иными словами, разделение как результат деления понятия состоит из соподчинённых понятий, т. е. из видов, подчинённых делимому как роду.
Примером нарушения этого правила будет деление рек на судоходные, несудоходные, сплавные и порожистые. В делении этом некоторые члены (сплавные реки и порожистые реки, несудоходные реки и порожистые реки) не исключают друг друга, не являются видами, исключающими друг друга. Это значит, что, производя деление и переходя от одного видового понятия к другому, например от понятия несудоходных рек к понятию порожистых рек, мы ввели в состав этого последнего часть предметов, уже вошедших в состав предыдущего.
§ 19. Из всех возможных ошибок деления самой значительной является ошибка, состоящая в отступлении от принятого при делении основания.
И действительно: правильность разделения объёма делимого родового понятия на соподчинённые виды зависит от того, насколько последовательно и систематически будет проводиться нами изменение признака, составляющего основание деления. Так как всякая часть объёма, получающаяся в результате деления родового понятия, определяется известным изменением признака, входящего в содержание понятия, то всякая ошибка при решении вопроса о принципе, по которому должно происходить изменение этого признака, должна привести к ошибке в результатах деления. Деление, в котором допущена эта ошибка, называется сбивчивым или перекрёстным. Последнее название показывает, что в случае подобного деления одни и те же предметы оказываются одновременно входящими в различные виды. Кто, например, разделит людей на храбрых, трусливых и осторожных, должен согласиться с тем, что осторожными могут оказаться и некоторые храбрые и некоторые трусливые люди.
§ 20. Деление, свободное от логических ошибок, есть далеко не лёгкая задача. Оно легко осуществимо, если признак, по изменению которого производится распределение рода на виды, настолько точен и отчётлив, что все возможные изменения его легко обозримы и могут быть установлены исчерпывающим образом.
В сложных предметах и явлениях природы и общества часто чрезвычайно трудно найти и выделить такое изменение признаков, которое ставило бы группу предметов, являющихся известной разновидностью, вне любой другой группы предметов, обладающих другой разновидностью того же самого вида. Можно, например, разделить объём понятия «военный самолёт» на виды в зависимости от назначения самолёта. Тогда объём понятия «военный самолёт» разделится на виды: 1) разведчиков; 2) истребителей; 3) бомбардировщиков; 4) штурмовиков и 5) транспортных самолётов.
Однако это разделение не учитывает того, что один и тот же самолёт может исполнять одновременно два назначения: например, применяться и при штурмовке и при бомбардировке в одно и то же время. Но это значит, что может существовать такой штурмовик, который, входя в разряд штурмовиков, входит одновременно и в разряд бомбардировщиков.