1. Операция деления
Аргентинский писатель Х. Л. Борхес приводит отрывок из «некоей китайской энциклопедии». В нем дается классификация животных и говорится, что они «подразделяются на: а) принадлежащих императору; б) бальзамированных; в) прирученных; г) молочных поросят; д) сирен; е) сказочных; ж) бродячих собак; з) заключенных в настоящую классификацию; и) буйствующих как в безумии; к) неисчислимых; л) нарисованных очень тонкой кисточкой из верблюжьей шерсти; м) прочих; н) только что разбивших кувшин; о) издалека кажущихся мухами».
Чем поражает эта классификация? Почему с самого начала становится очевидным, что подобным образом нельзя рассуждать ни о животных, ни о чем-либо ином?
Дело, разумеется, не в отдельных рубриках, какими бы необычными они ни казались. Каждая из них имеет вполне определенное конкретное содержание. В числе животных упоминаются, правда, фантастические существа — сказочные животные и сирены, но это делается, пожалуй, с целью отличить реально существующих животных от существующих только в воображении. К животным относятся и нарисованные, но мы и в самом деле обычно называем их животными.
Невозможными являются не отдельные указанные разновидности животных, а как раз соединение их в одну группу, перечисление их друг за другом, так что рядом встают живые и умершие животные, буйствующие и нарисованные, фантастические и прирученные, классифицируемые и только что разбившие кувшин. Сразу возникает чувство, что нет такой единой плоскости, на которой удалось бы разместить все эти группы, нет общего, однородного пространства, в котором могли бы встретиться все перечисленные животные.
Классификация всегда устанавливает определенный порядок. Она разбивает рассматриваемую область объектов на группы, чтобы упорядочить эту область и сделать ее хорошо обозримой. Но классификация животных из «энциклопедии» не только не намечает определенной системы, но, напротив, разрушает даже те представления о гранях между группами животных, которые у нас есть. В сущности, эта классификация нарушает все те требования, которые предъявляются к разделению какого-то множества объектов на составляющие его группы. Вместо системы она вносит несогласованность и беспорядок.
Что же такое классификация? Вопрос этот важен, так как классификация — одна из обычных и часто применяемых операций, средство придания нашему мышлению строгости и четкости. Но прежде чем ответить на вопрос, введем несколько вспомогательных понятий.
Деление понятий
Классификация является частным случаем деления — логической операции над понятиями. Деление — это распределение на группы тех предметов, которые мыслятся в исходном понятии. Получаемые в результате деления группы называются членами деления. Признак, по которому производится деление, именуется основанием деления.
В каждом делении имеются, таким образом, делимое понятие, основание деления и члены деления.
Например, треугольники можно разделить на остроугольные, прямоугольные и тупоугольные. Основанием деления служит характер углов треугольника.
Классификация представляет собой многоступенчатое, разветвленное деление. Скажем, ощущения можно разделить на зрительные, слуховые, осязательные, обонятельные и вкусовые. Затем внутри отдельных групп выделить подгруппы (например, пространственные и цветовые зрительные ощущения), сами подгруппы подвергнуть более дробному делению и т. д.
К операции деления приходится прибегать едва ли не в каждом рассуждении. Определяя понятие, мы раскрываем его содержание, указываем признаки предметов, мыслимые в этом понятии. Производя деление понятия, мы даем обзор того круга предметов, который отображен в нем. Если у нас есть, скажем, определение понятия «линза», мы знаем наиболее важные признаки линз. Но при этом у нас нет точного представления о видах линз. Только разделив линзы на выпуклые, двояковыпуклые, вогнутые, двояковогнутые и т. д., мы получим знание не только о том, что такое линза, но и о том, какими бывают линзы.
Важно уметь, таким образом, не только определять содержание понятия, но и прослеживать те группы, из которых слагается класс предметов, обозначаемых понятием.
Простой пример из энтомологии — науки о насекомых — еще раз подтвердит эту мысль. На столе энтомолога коробочки с наколотыми на тонкие булавки маленькими мухами-серебрянками. Под микроскопом — иначе не разглядеть — ножницами с иголочно-тонкими лезвиями ученый общипывает у этих мух «хвостики» и наклеивает на крошечные стекла. Зачем? В ряде случаев только по «хвостикам» — по особенностям строения отдельных органов — можно точно определить, к какому именно виду относится насекомое. А роспись насекомых по видам и определение территории их обитания важны не только для удовлетворения научной любознательности. Ведь иные из них — потенциальные переносчики ряда болезней, другие — вредители культурных растений, третьи — напротив, враги этих вредителей. Например, трихограммы — крошечные, в полмиллиметра длиной родственники всем известных пчел, шмелей и ос. Трихограммы широко применяются в биологической борьбе с вредителями урожая. Однако недавние исследования показали, что до последнего времени на биологических фабриках разводили не один вид этого насекомого, а «смесь» из трех видов. Но у каждого свои привязанности: один предпочитает поле, другой — сад, третий — огород. И в каждом случае лучше разводить именно тот вид, который подходит для местных условий.
Это только один из примеров практической отдачи работы систематиков, занимающихся классификацией животных.
Из арифметики хорошо известна операция деления чисел. Деление понятий, или логическое деление, — другая мыслительная операция, имеющая с первой общие не только название, но и структуру: у обеих операций есть «делимое», «делитель» и «результат деления». Логическое деление применяется к понятиям, результат такого деления — несколько новых, видовых понятий. В содержание последних входят все те признаки, которые мыслились в исходном, родовом понятии, и, кроме того, признаки, отличающие один вид от другого.
Логическое деление, случается, смешивают с другой операцией, которая тоже иногда именуется «делением», — с расчленением некоторого предмета на составные части.
Мы говорим, что все деревья делятся на хвойные и лиственные. Это логическое деление. Но мы можем также сказать, что дерево делится на крону, ствол и корни. Это уже не деление понятия «дерево», а расчленение самого дерева на его части.
Различие здесь важное и вместе с тем простое. О каждой из частей логического деления можно высказать все то, что говорится в содержании делимого понятия. И хвойные деревья и лиственные — это деревья. И в отношении первых и в отношении вторых справедливо все то, что верно для деревьев вообще. Но части, получающиеся в результате расчленения дерева, вовсе не являются деревьями. О кроне, стволе или корнях нельзя сказать: «Это — дерево», общую характеристику деревьев нельзя распространить на части отдельного дерева.
Короли делятся на наследственных и выборных. И о наследственном, и о выборном короле можно сказать: «Это король». Но когда, как случалось, королю отрубали голову, ни одну из образовавшихся частей нельзя уже было назвать королем.
Это различие между логическим делением и расчленением так обыгрывает польский юморист С. Лец в своих «Непричесанных мыслях»: «Людей можно делить по-разному! Это известно всем. Можно на людей и нелюдей. И сказал удивленный палач: «А я делю их на головы и туловища!»
В одной из басен Эзопа рассказывается о том как звери делили добычу. Лев потребовал себе четверть как глава зверей, еще четверть — за свое несравненное мужество и еще одну четверть — для жены и детей. Что же до последней четверти, заключил Лев, любой из зверей может поспорить со мной из-за нее.
Отсюда и пошло выражение «львиная доля». Раздел добычи — это, конечно, не логическое деление понятия «добыча», а расчленение добычи на части, в данном случае — на четыре части.
Слово «деление» употребляется и в других смыслах. Они связаны с основными только посредством зыбких сиюминутных ассоциаций.
В сказке Л. Кэрролла Белая Королева спрашивает Алису, знает ли она арифметическую операцию деления:
— Раздели буханку хлеба ножом — что будет?
— По-моему… — начала Алиса, но тут вмешалась Черная Королева.
— Бутерброды, конечно, — сказала она. — А вот еще пример на вычитание. Отними у собаки кость — что останется?
Алиса задумалась.
— Кость, конечно, не останется — ведь я ее отняла. И собака тоже не останется — она побежит за мной, чтобы меня укусить… Ну и я, конечно, тоже не останусь!
— Значит, по-твоему, ничего не останется? — спросила Черная Королева.
— Должно быть, ничего…
Такого рода комические «деления» и «вычитания» даже при желании не спутаешь с обычными операциями над числами и понятиями.
В дальнейшем речь будет идти только о логическом делении. Не будет опасности спутать это деление с какой-то другой операцией и нет нужды поэтому выделять его словом «логическое».
Требования к делению
Правила, которые надо соблюдать при делении понятий, элементарны. Обычно формулируют четыре таких правила.
Во-первых, деление должно вестись только по одному основанию.
Это требование означает, что избранный вначале в качестве основания отдельный признак или совокупность признаков не следует в ходе деления подменять другими признаками.
Правильно, например, делить климат на холодный, умеренный и жаркий. Деление его на холодный, умеренный, жаркий, морской и континентальный будет уже неверным: вначале деление производилось по среднегодовой температуре, а затем — по новому основанию. Неверными являются деления людей на мужчин, женщин и детей; обуви — на мужскую, женскую и резиновую; веществ — на жидкие, твердые, газообразные и металлы и т. п.
Во-вторых, деление должно быть соразмерным, или исчерпывающим, т. е. сумма объемов членов деления должна равняться объему делимого понятия. Это требование предостерегает против пропуска отдельных членов деления.
Ошибочными, не исчерпывающими будут, в частности, деление треугольников на остроугольные и прямоугольные (пропускаются тупоугольные треугольники); деление людей с точки зрения уровня образования на имеющих начальное, среднее и высшее образование (пропущены те, кто не имеет никакого образования); деление предложений на повествовательные и побудительные (пропущены вопросительные предложения).
Неверно и шутливое деление людей в зависимости от того, кому что можно и что нельзя: одному можно все, даже то, что нельзя; другому можно все, кроме того, что нельзя; третьему нельзя ничего, кроме того, что можно; и, наконец, четвертому нельзя ничего, даже того, что можно. Здесь пропущены те, кому нельзя ничего, кроме того, что нельзя.
Неправильными являются и деления с излишним членом. Скажем, деление химических элементов на металлы, неметаллы и сплавы; деление наук на естественные, общественные и математические и т. п. Однако введение лишних членов нарушает не это, второе, правило, а первое, предписывающее делить по одному основанию и не подменять его в процессе деления.
В-третьих, члены деления должны взаимно исключать друг друга.
Согласно этому правилу каждый отдельный предмет должен находиться в объеме только одного видового понятия и не входить в объемы других видовых понятий.
Нельзя, к примеру, разбивать все целые числа на такие классы: числа, кратные двум; кратные трем; числа, кратные пяти, и т. д. Эти классы пересекаются и, допустим, число 10 попадает и в первый и в третий классы, а число 6 — и в первый и во второй классы. Ошибочно и деление людей на тех, которые ходят в кино, и тех, которые ходят в театр; есть люди, которые ходят и в кино, и в театр.
И, наконец, в-четвертых, деление должно быть непрерывным.
Это правило требует не делать скачков в делении, переходить от исходного понятия к однопорядковым видам, но не к подвидам одного из таких видов.
Например, правильно делить людей на мужчин и женщин, женщин — на живущих в Северном полушарии и живущих в Южном полушарии. Но неверно делить людей на мужчин, женщин Северного полушария и женщин Южного полушария. Среди позвоночных животных выделяются такие классы: рыбы, земноводные, рептилии (гады), птицы и млекопитающие. Каждый из этих классов делится на дальнейшие виды. Если же начать делить позвоночных на рыб, земноводных, а вместо указания рептилий перечислить все их виды, то это будет скачком в делении.
Можно заметить, что из третьего правила вытекает первое. Так, деление обуви на мужскую, женскую и детскую нарушает не только первое правило, но и третье: члены деления не исключают друг друга. Деление королей на наследственных, выборных и трефовых не согласуется опять-таки как с первым, так и с третьим правилом.
Теперь, воспользовавшись правилами деления, можно конкретно ответить на вопрос, в чем дефекты той классификации животных, которую предлагает «Китайская энциклопедия». Ясно, что эта классификация вообще не придерживается никакого твердого основания, в ней нет даже намека на единство и неизменность основания в ходе деления. Каждая новая группа животных выделяется на основе собственных своеобразных признаков, безотносительно к тому, по каким признакам обособляются другие группы. Связь между группами оказывается почти полностью разрушенной, никакой координации и субординации между ними установить невозможно. Можно предполагать, что сирены относятся к сказочным животным, а молочные поросята и бродячие собаки не принадлежат ни к тем, ни к другим. Но относятся ли сирены, сказочные животные, молочные поросята и бродячие животные к тем животным, что буйствуют, как в безумии, или к неисчислимым, или к тем, которые нарисованы тонкой кисточкой? Как соотносятся между собой животные, только что разбившие кувшин, и животные, издалека кажущиеся мухами? На подобные вопросы невозможно ответить, да их и бессмысленно задавать, поскольку очевидно, что никакого единого принципа в основе этой классификации не лежит. Далее члены деления здесь не исключают друг друга. Всех перечисленных животных можно нарисовать, многие из них издалека могут казаться мухами, все они включены в классификацию и т. д. Относительно того, что перечисленные виды животных исчерпывают множество всех животных, можно говорить только с натяжкой: те животные, которые не упоминаются прямо, свалены в кучу в рубрике «и прочие». И наконец, очевидны скачки, допускаемые в данном делении. Различаются как будто сказочные и реально существующие животные, но вместо особого упоминания последних перечисляются их отдельные виды — поросята и собаки, причем не все поросята, а только молочные, и не все собаки, а лишь бродячие.
Классификации, подобные этой, настолько сумбурны, что возникает даже сомнение, следует ли вообще считать их делениями каких-то понятий. Об усовершенствовании таких классификаций, придании им хотя бы видимости системы и порядка не приходится и говорить.
Но что интересно, даже такого рода деления, отличающиеся путаницей и невнятностью, иногда могут оказываться практически небесполезными. Неправильно делить, к примеру, обувь на мужскую, женскую и резиновую (или детскую), но во многих обувных магазинах она именно так делится, и это не ставит нас в тупик. Нет ничего невозможного в предположении, что и классификация животных, подобная взятой из энциклопедии, может довольно успешно служить каким-то практическим, разнородным по самой своей природе целям. Теоретически, с точки зрения логики, она никуда не годится. Однако далеко не все, что используется повседневно, находится на уровне требований высокой теории и отвечает стандартам безупречной логики.
Нужно стремиться к логическому совершенству, но не следует быть чересчур ригористичным и отбрасывать с порога все, что представляется логически не вполне совершенным. Иногда вместо строгого, отвечающего всем требованиям деления может использоваться простая группировка интересующих нас предметов. Не будучи делением, она способна тем не менее удовлетворительно служить практическим целям. Некоторые из упомянутых неверных делений могут рассматриваться как такого рода группировки.