Прототип категории: теория Элинор Рош

Понятие «птица» выглядит простым ровно до того момента, пока не спросишь, одинаково ли птица воробей и пингвин. Биология отвечает «да»: оба относятся к классу Aves, признаки выполнены. Носитель языка отвечает иначе: воробей птица сразу, пингвин с заминкой и оговоркой. В 1970-е Элинор Рош (в русских переводах встречается и «Элеанор») превратила эту заминку в измеряемую величину и показала, что категории в голове устроены не как множества с чёткой границей, а как поля с центром и окраиной. Калькулятор ниже показывает эту структуру на числах: попробуйте провести чёткую границу так, чтобы за бортом не остался никто из бесспорных членов.

Что такое прототип категории

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

Прототип категории - это её лучший представитель, наиболее типичный экземпляр, к которому остальные притягиваются по степени сходства. Для «птицы» в европейской культуре это воробей или малиновка, для «мебели» - стул, для «фрукта» - яблоко. Членство перестаёт быть да-нет и становится градуированным: страус остаётся птицей, но птицей в меньшей степени, чем воробей.

Важная оговорка, которую пропускают в пересказах: прототип не обязан быть конкретным объектом. Это может быть абстрактный набор наиболее частотных признаков категории, её центр тяжести, которому не соответствует ни один реальный экземпляр. Сама Рош к концу 1970-х настаивала, что оценки типичности - это данные о структуре категории, а не готовая гипотеза о том, что именно хранится в памяти.

В калькуляторе выше усреднённая оценка типичности по шкале от 1 (лучший образец) до 7 переведена в балл прототипичности:

$s = \frac{7 - r}{6} \cdot 100$

Числа округлены: в экспериментах устойчиво воспроизводится порядок членов, а не второй знак после запятой.

Эксперименты Рош: от фокусных цветов к типичным птицам

Начало было не в лексике, а в цвете. В 1972 году Рош (тогда публиковавшаяся под фамилией Хайдер) работала с народом дани в Новой Гвинее, в языке которого всего два цветовых термина: примерно «тёмный холодный» и «светлый тёплый». Если бы категории задавались только языком, дани не должны были выделять красный или синий. Оказалось наоборот: фокусные образцы основных цветов дани запоминали лучше и усваивали быстрее, чем промежуточные оттенки, хотя слов для них не было. Категории цвета опираются на перцептивно выделенные точки, а не нарезаются языком произвольно - этот результат стал одним из главных возражений сильной версии гипотезы Сепира и Уорфа.

Дальше Рош перенесла логику фокусных точек на семантические категории. В работах 1973–1975 годов испытуемых просили оценить по семибалльной шкале, насколько объект хороший образец своей категории. Ожидалось, что задание вызовет недоумение: как малиновка может быть «более птицей», чем страус? Недоумения не возникло, оценки давались легко и совпадали у разных людей.

Градуированное членство: как измеряют типичность

Оценка по шкале - лишь один из показателей, и сам по себе он мало что доказывал бы. Ценность прототипического эффекта в том, что он проявляется в независимых методиках сразу:

• Скорость верификации. Утверждение «воробей - птица» подтверждают быстрее, чем «пингвин - птица», при равной длине фразы и частотности слов.
• Порядок и частота называния. Когда просят перечислить членов категории, типичные идут первыми и встречаются в ответах чаще.
• Порядок усвоения. Дети осваивают типичных членов раньше периферийных.
• Индуктивный вывод. Свойство, приписанное типичному члену, охотнее переносят на всю категорию, чем свойство периферийного.

Рассчитать для своей задачи

Откуда берётся сама градация, объяснили Рош и Мервис в 1975 году через меру семейного сходства. Для каждого признака считается вес - число членов категории, у которых он есть; балл объекта равен сумме весов его признаков:

$FR(x) = \sum_{j \in A(x)} w_j, \qquad w_j = |\{ y \in C : j \in A(y) \}|$

Корреляция этого балла с оценками типичности оказалась очень высокой. Смысл прост: типичен тот, у кого много признаков, разделяемых с другими членами категории, и мало собственных. Философский предшественник идеи - семейное сходство Витгенштейна, но у Витгенштейна это аргумент против поиска определений, а у Рош - величина, которую считают по протоколам испытуемых.

Базовый уровень категоризации

Второй крупный результат школы Рош относится не к устройству одной категории, а к выбору между категориями разной общности. Иерархия «мебель - стул - кресло-качалка» неравноправна: средний уровень выделен.

Рассчитать для своей задачи

Базовый уровень опознаётся по набору сходящихся признаков. Его члены имеют общую форму, с ними связана единая моторная программа (на стуле сидят одинаково, а «на мебели» сидеть нельзя), их имена короче и частотнее, именно этот уровень дети усваивают первым и именно им люди спонтанно называют предмет на картинке. Формально базовый уровень максимизирует валидность признака $p(C \mid j)$ - вероятность категории при наличии признака: надуровень почти не имеет общих признаков, поднуровень добавляет к базовому слишком мало нового.

Размытые границы вместо набора признаков

Градуированность внутри категории и неопределённость её границы - вещи разные, и смешивать их не стоит. Но у прототипической модели есть и второе следствие: там, где классическая теория требует резкой границы, эксперименты её не находят.

Рассчитать для своей задачи

Маккласки и Глюксберг в 1978 году показали, что на пограничных случаях испытуемые расходятся между собой, а при повторном опросе через месяц противоречат сами себе: помидор то овощ, то нет, занавеска то мебель, то нет. При этом на прототипах согласие стопроцентное и устойчивое. Именно это и делает калькулятор выше: сдвиньте порог так, чтобы курица осталась птицей, и внутри границы окажется почти вся шкала, включая сомнительные случаи; поднимите порог, и категория потеряет бесспорных членов. Защитить конкретное значение порога нечем - а классическая модель требует, чтобы оно существовало.

Прототипы в лексической семантике и словарях

Из психологии теория быстро перешла в лингвистику. Многозначное слово стали описывать как радиальную категорию: есть прототипическое значение, от него по цепочкам метафорических и метонимических переносов расходятся периферийные (этот механизм подробнее разобран в статье про концептуальную метафору). Структура «ядро и периферия» у лексико-семантического поля получила при этом когнитивное обоснование, а не только дистрибутивное.

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

Критика теории прототипов

Возражений накопилось достаточно, и они бьют в разные места.

Армстронг, Глейтман и Глейтман в 1983 году получили эффекты типичности там, где их быть не должно: испытуемые уверенно оценивали 4 как более хорошее чётное число, чем 34, и 2 как более типичное простое, чем 57. Категория чётных чисел определена строго, значит, сама по себе градуированность оценок не доказывает, что понятие хранится в виде прототипа.

Барсалу показал, что прототип нестабилен. В категориях, собранных на случай («что вынести из горящего дома»), градуированная структура возникает мгновенно, хотя никакого выученного прототипа нет. Прототип смещается и от контекста: в разговоре про птичий двор типичная птица - курица, а не воробей.

Ошерсон и Смит предъявили проблему композиции: прототип составной категории не выводится из прототипов частей. Типичная аквариумная рыбка не похожа ни на типичную рыбу, ни на типичного питомца. Наконец, теория теорий (Мёрфи и Медин) возражает по существу: связность категории обеспечивает не сходство признаков, а стоящее за ней обыденное объяснение мира. Альтернатива в самой психологии - экземплярная теория, где абстрактного прототипа нет вовсе, а решение принимается по сходству с запомненными случаями.

Частые ошибки

• Прототип принимают за определение. Прототип не задаёт границу категории и не заменяет дефиницию, он описывает её внутреннюю структуру.
• Прототип считают конкретным объектом. Чаще это абстракция, сводка частотных признаков, которой может не соответствовать ни один экземпляр.
• Градуированное членство путают с размытой границей. Первое про неравноправие членов внутри категории, второе про неопределённость на её краю; эмпирически это разные эффекты.
• Эффекты типичности выдают за доказательство модели. После работы Армстронга такой вывод некорректен: типичность фиксируется даже у строго определённых категорий.
• Теорию приписывают Витгенштейну. Семейное сходство - философский предшественник, а не источник экспериментальной программы Рош.

FAQ

Чем прототип отличается от стереотипа? Стереотип в смысле Патнэма - это языковое знание о типичном представителе, часть значения слова, которую носитель обязан знать (тигр полосатый). Прототип - когнитивная структура категории, выявляемая экспериментально. Понятия близкие, но принадлежат разным дисциплинам и проверяются по-разному.

Кто и когда ввёл понятие прототипа в этом смысле? Элинор Рош, в серии работ 1973–1978 годов; ключевые тексты - «Natural categories» (1973), «Cognitive representations of semantic categories» (1975), совместная с Кэролин Мервис статья о семейном сходстве (1975) и работа о базовых объектах (1976).

Как применить теорию прототипов в курсовой по лингвистике? Рабочая схема: взять категорию или многозначное слово, собрать состав по словарям и корпусу, провести опрос на оценку типичности по семибалльной шкале, посчитать балл семейного сходства по общим признакам и показать корреляцию. Отдельный раздел стоит отдать пограничным случаям - именно они дают материал для выводов.

Коротко

Прототип категории - её лучший представитель, задающий центр градуированной структуры: члены различаются по типичности, а граница категории размыта. Теория выросла из экспериментов Элинор Рош с фокусными цветами и оценками типичности, дала понятие базового уровня категоризации и вошла в лексическую семантику как способ описывать полисемию и полевую организацию лексики. Критика (эффекты типичности у строго определённых категорий, контекстная нестабильность прототипа, проблема составных категорий) не отменяет данных о типичности, но запрещает считать прототип полной теорией понятия.