§ 5. Деление и классификация

Согласно традиционному подходу, определение состоит из разложения данного вида на род и видовое отличие. Однако сам род также может быть разделен на разные виды. Так, плоская фигура как род может быть разделена не только на виды треугольника, но и на виды четырехугольника, конического сечения и т. д. Указание различных видов одного и того же рода называется логическим делением, или просто делением. Род, с которого начинается процесс деления, называется высший род. Виды, получившиеся в результате деления рода, могут, в свою очередь, делиться и дальше. Виды, которыми заканчивается деление, называются низшими видами. Промежуточные виды между высшим родом и низшими видами называются подчиненными родами.

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

Для проведения успешного логического деления был выработан определенный набор правил. Эти правила также применимы и к классификации.

1. Деление должно быть исчерпывающим.

2. Составляющие некоторый род виды должны исключать друг друга.

3. На каждом этапе деление должно осуществляться по одному принципу, основанию деления.

Так, если мы разделим рациональные числа на четные и нечетные, то нарушим первое правило, ибо не учтем дроби. Первое правило требует учета всех видов, составляющих род. Мы нарушим второе правило, если разделим четырехугольник, как род, на ромбоиды, параллелограммы и прямоугольники, поскольку все прямоугольники являются параллелограммами. Принцип, по которому осуществляется деление, называется основанием деления. При делении профессоров на математиков, физиков и т. д. основанием деления является их специализация, если мы разделим их на плохих и хороших преподавателей, то основанием деления будут их риторические навыки. Деление, подчиняющееся третьему правилу, будет с необходимостью подчиняться и второму. Но обратное ложно. Так, деление числа, как рода, на четные, нечетные и дробные числа дает взаимоисключающие виды, но основание деления при этом не одно и то же.

Несмотря на то что, с формальной точки зрения, данные правила не допускают исключений, на практике они не всегда помогают. Они, скорее, выражают некий идеал, чем формулируют метод. Более того, в хорошо развитой науке данный идеал оказывается неадекватным. К науке он скорее применим только в период ее младенчества.

Мы не можем получить удовлетворительного определения, деления или классификации, пока в подробностях не изучим предметную область. Во-первых, когда мы имеем дело с существующей предметной областью, мы никогда не можем быть уверены в том, что проведенные нами деление и классификация являются исчерпывающими. Внезапно появившийся новый и непредвиденный составной элемент предметной области может полностью нивелировать идею развиваемой нами системы или, по крайней мере, заставить нас ее серьезно пересмотреть. Точно так же мы никогда не можем быть уверены в том, что подчиненные роды на самом деле исключают друг друга. Данное предупреждение является следствием утверждения о том, что никогда нельзя быть уверенным в том, что деление исчерпывает предметную область, поскольку всегда может появиться ранее неизвестный подкласс, обладающий свойствами некоторых других уже установленных видов.

Во-вторых, процесс научной классификации по своей природе похож на продвижение на ощупь и не является столь формальным, как того требуют перечисленные правила. Даже до начала непосредственного и самостоятельного развития науки опыт принуждал к усмотрению некоторых видов вещей, в которых определенные сочетания качеств имели место с большим или меньшим постоянством. Так, в нерефлективном опыте признаются такие объекты, как деревья, земля, животные и т. д., на основании очевидных сходств между отдельными представителями этих типов. Однако с развитием знания свойства, являвшиеся не столь заметными, стали считаться основой для классификации или деления. Так, хотя дельфин во многом похож на рыбу, в современной биологии он классифицируется как млекопитающее, поскольку вскармливает свое потомство. Основание для классификации зависит от обнаружения определенного значимого признака, в силу которого предметная область может быть организована в более систематическом виде. Однако для обнаружения таких признаков требуется длительное время, и поэтому они не могут детерминироваться исключительно формальным образом.

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

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

Несмотря на то что дихотомия обеспечивает исчерпывающий характер деления и взаимоисключение терминами друг друга, она не является существенным продвижением по сравнению с обычным делением. Практическая сложность отыскания значимых оснований деления остается. При этом, осуществляя дихотомическое деление, мы также не можем быть уверены в том, что все подклассы содержат элементы. Более того, данный метод в некотором смысле является нескладным, и в современной логике было показано, как дихотомическое деление можно осуществлять почти в механическом режиме. Допустим, к примеру, что мы хотим классифицировать население Соединенных Штатов на основаниях половой принадлежности, возраста, превышающего тридцать лет, и обладания хорошим или исключительным здоровьем. Пусть «1», как обычно, представляет универсум рассуждения; « а » – представителей мужского пола, « а ′» – женского; « b » – тех, кому за тридцать, « b ′» – тех, кому тридцать или меньше; « с » – тех, у кого хорошее или исключительное здоровье, « с ′» – тех, у кого плохое здоровье. Население Соединенных Штатов можно, таким образом, разделить на восемь групп:

1 = ( a + a ′) = ( a + a ′) ( b + b ′) = ( a + a ′) ( b + b ′) ( c + c ′) = abc + abc ′ + ab ′ c ′ + a ′ bc + a ′ bc ′ + a ′ b ′ c + a ′ b ′ c ′.

Символ «аЬс» будет обозначать мужчин старше тридцати и с хорошим здоровьем, « a ′ bc ′» – женщин старше тридцати с плохим здоровьем и т. д.