Нет, мозгу определенно для чего-то нужно формирование категорий, и это «что-то» – логическое умозаключение. Мы явно не можем знать все про каждый объект. Но мы можем заметить некоторые его свойства, определить его в ту или иную категорию, и, исходя из категории, прогнозировать наличие у него свойств, которые мы у него не наблюдали. Если у Мопси длинные уши, то он – кролик; если он кролик, он должен есть морковь, прыгать и размножаться, как… ну, как кролик. Чем меньше категория, тем более точным будет прогнозирование. Зная, что Питер – американский кролик, мы можем предположить, что он растет, дышит, двигается, был вскормлен молоком, живет на открытой местности или лесной поляне, разносит туляремию и может заразиться миксоматозом. Если бы мы знали только, что он является млекопитающим, этот список включал бы в себя только рост, дыхание, движение и то, что он был вскормлен молоком. Если бы мы знали только, что это животное, список сократился бы до роста, дыхания и движения.
С другой стороны, гораздо сложнее определить, что Питер – американский кролик, чем определить, что он – млекопитающее или животное. Чтобы назвать его млекопитающим, нужно лишь заметить, что он пушистый и двигается, но чтобы назвать его американским кроликом, нужно заметить, что у него длинные уши, длинные задние лапы, белый снизу хвост. Чтобы идентифицировать очень узкие категории, нам приходится проанализировать так много свойств, что для прогнозирования их почти не останется. Большинство категорий, которыми мы пользуемся в повседневной жизни, находятся где-то посередине: «кролик», а не млекопитающее и не американский кролик; «машина», а не транспортное средство или «Форд Темпо»; «стул», а не предмет мебели или «Баркалаунджер». Они представляют собой компромисс между тем, как сложно идентифицировать категорию, и тем, насколько эта категория нам полезна. Психолог Элеанор Рош называет их категориями базового уровня. Это первые слова, которыми дети научаются пользоваться для обозначения объектов, и это обычно первое, что приходит нам в голову, когда мы их видим.
Что же делает категории «млекопитающие» и «кролики» лучше, чем категории «рубашки, производимые компаниями, чье название начинается на букву “X”» и «животные, которых можно нарисовать очень тонкой кисточкой из верблюжьей шерсти»? Многие антропологи и философы считают, что категории – это произвольные условности, которым мы обучаемся точно так же, как и другим акциденциям культуры, стандартизированным в нашем языке. Эта точка зрения достигает своего предела в таких направлениях искусства, как деконструкционизм, постструктурализм и постмодернизм. Тем не менее категории могут быть полезны только тогда, когда они связаны с тем, как устроен мир. К счастью для нас, объекты мира неравномерно распределены по рядам и колоннам инвентарного списка, определяемого наблюдаемыми нами свойствами. Инвентарь объектов мира «комковат». Существа с короткими пушистыми хвостиками обычно имеют длинные уши и живут на лесных полянках; существа с плавниками обычно имеют чешую и живут в воде. Зверей с плавниками или рыб с большими ушами и пушистыми хвостиками можно найти разве что в детской книжке с разрезными страницами, в которой можно самому собрать неведомую химеру. Коробочки в нашей голове работают потому, что объекты в окружающем мире существуют кластерами, которые соответствуют этим коробочкам.
Что же заставляет одинаковые объекты образовывать кластеры? Мир формируют и сортируют законы, которые призваны открывать естествознание и математика. Законы физики предписывают, что объекты большей плотности, чем вода, должны находиться на дне озера, а не на его поверхности. Законы естественного отбора и физики предписывают, что объекты, которые быстро движутся через жидкости, должны иметь обтекаемую форму. Законы генетики заставляют потомство напоминать родителей. Законы анатомии, физики и человеческих намерений заставляют стулья быть такой формы и из такого материала, чтобы они могли служить надежной опорой[335].
Как было показано в главе 2, люди формируют категории двух типов. Игры и овощи мы рассматриваем как категории, которые отличаются наличием стереотипов, нечеткими границами и сходством, подобным сходству членов семьи. Категории этого типа естественным образом формируются в ассоциаторах паттернов. Мы рассматриваем нечетные числа и лиц женского пола как категории, которые имеют определение, отличаются четкими границами и общими чертами, связывающими всех представителей категории. Категории такого типа несложно вычислить с помощью систем правил. Некоторые явления мы помещаем сразу в два типа ментальных категорий: мы представляем себе «бабушку» седой и пекущей пирожки, но мы одновременно представляем себе «бабушку» как родителя женского пола одного из родителей. Теперь можно объяснить, для чего нам нужны эти два разных способа представления. Нечеткие категории образуются, когда мы наблюдаем объекты и элементарно регистрируем соотношения между их характеристиками. Их предсказуемость основывается на сходстве: если у А есть некоторые одинаковые характеристики с В, то, скорее всего, у них есть и другие одинаковые черты. Они работают за счет фиксирования кластеров в реальном мире. Четко определяемые категории, напротив, работают путем выяснения законов, под действием которых образуются кластеры. Они являются продуктом интуитивных теорий, обобщающих самые удачные догадки людей о том, как устроен мир. Их предсказуемость основывается на дедукции: если А подразумевает В и А истинно, то В тоже истинно.
Реальная наука известна своим стремлением выйти за грань неопределенного ощущения сходства и добраться до лежащих в его основе законов. Киты – не рыбы; люди – обезьяноподобные; твердое вещество по большей части состоит из пустоты. Хотя обычные люди не мыслят в точности, как ученые, они тоже, рассуждая о том, как устроен мир, позволяют своим теориям выйти за пределы простого сходства. Какое из трех словосочетаний лишнее: белые волосы, серые волосы, черные волосы? А если мы возьмем белое облако, серое облако, черное облако? Большинство людей скажут, что лишний цвет для волос – черный, потому что стареющие волосы становятся серыми, а потом – белыми, но для облаков лишний цвет – белый, потому что серые и черные облака приносят дождь. Предположим, я скажу вам, что у меня есть диск диаметром в 10 см. На что это описание больше похоже: на монету в 25 центов или на пиццу? А что это вероятнее всего: монета или пицца? Большинство людей скажут, что по описанию это больше похоже на монету, но скорее всего это пицца. Аргументируют они это тем, что четвертак всегда бывает стандартного размера, а пицца может быть любого. Отправившись в неизведанный лес, вы находите многоножку, похожую на нее гусеницу и бабочку, в которую превращается гусеница. Сколько видов животных вы нашли, и какие из них – одно и то же? Большинство людей, как и биологи, скажут, что гусеница и бабочка – один и тот же вид, а гусеница и многоножка – нет, хотя их внешний вид говорит об обратном. Во время своего первого баскетбольного матча вы видите светловолосых игроков в зеленой форме, бегущих с мячом к восточной корзине, и черноволосых игроков в желтой форме, бегущих с мячом к западной корзине. Раздается свисток и на поле появляется черноволосый игрок в зеленой форме. К какой корзине он побежит? Все знают, что к восточной[336].
Эти догадки, противоречащие наблюдаемому сходству, исходят из интуитивных представлений о старении, погоде, экономике, биологии, социальных группах. Они относятся к более крупным системам неявных допущений о классах вещей и управляющих ими законов. Законы могут применяться в мышлении комбинаторно, давая нам предположения и логические выводы о ненаблюдаемых событиях. Люди всегда и везде использовали доморощенные представления о физике, чтобы определить, как объект будет катиться или отскакивать от поверхности; о психологии, чтобы прогнозировать, что думают и делают другие люди; о логике, чтобы вывести из одних истин другие; об арифметике, чтобы предугадать результаты статистической обработки; о биологии, чтобы рассуждать о живых организмах и их возможностях; о родстве, чтобы рассуждать об отношениях и наследовании, а также о целом ряде систем социальных и юридических норм. В данной главе по большей части будут рассматриваться эти интуитивные теории. Но сначала мы должны ответить на вопрос: когда мир позволяет теориям (научным или интуитивным) работать, а когда он вынуждает нас довольствоваться нечеткими категориями, определяемыми сходством и стереотипами?
Откуда берутся наши нечеткие кластеры, основанные на сходстве? Может быть, они всего лишь элементы мира, которые мы понимаем так плохо, что лежащие в их основе законы нам не поддаются? Или в мире действительно есть нечеткие категории даже с точки зрения самого четкого научного знания? Ответ зависит от того, на какую часть мира мы смотрим. Математика, физика и химия имеют дело с четкими категориями, подчиняющимися законам и теоремам, – такими, как треугольники и электроны. Однако в любой другой сфере, где играет роль история, – например, в биологии – состав вполне законной категории может со временем меняться, в результате чего ее границы делаются размытыми. Некоторые из таких категорий определимы, в то время как другие на самом деле нечетки.
Биологи в большинстве своем считают виды закономерными категориями: это популяции, которые изолированы с репродуктивной точки зрения и адаптированы к местной среде. Адаптация к биологической нише и инбридинг приводят к гомогенизации популяции, поэтому каждый вид в данный период времени представляет собой реальную категорию, которую таксономисты могут определить, используя хорошо известные критерии. Однако таксономическая категория высшего уровня, включающая в себя всех потомков предкового вида, не так удобна. Когда предковые виды распространились, а их потомки перестали контактировать и освоили новые территории, изначальная четкая картина превратилась в палимпсест. У малиновок, пингвинов и страусов есть общие черты (например, перья), потому что они являются дальними потомками единой популяции, приспособленной к полету. А различаются между собой они, потому что страусы заселили Африку и адаптировались к бегу, а пингвины заселили Антарктиду и адаптировались к плаванью. Умение летать, которое когда-то было отличительным знаком всех птиц, теперь представляет собой всего лишь элемент стереотипа.