Однако, почти все слова, которые мы используем, относятся
к категориям, а не к конкретному опыту. В вышеуказанных примерах «штука», «дом», «вяз» и «улица» называют более абстрактные категории опыта до тех пор, пока их не уточнят.
Когда мы группируем категории в более общую категорию, или подразделяем категорию на более конкретные, это создает логические уровни категоризации. Более общие категории должны быть на более высоких логических уровнях, чем включенные в них, которые находятся на более низких уровнях.
Любой критерий, качество или характеристика, использованные для создания категории, также применимы к любой более конкретной включенной категории по принципу, называемому наследственностью. В более конкретных категориях есть критерий в дополнение к тем, которые использованы в более общей категории, которая включает их. Этот дополнительный критерий в дальнейшем определяет члены, которые может включить категория, и это называется сужением.
Исследуя опыт, который можно отнести к логическим уровням, нам необходимо выполнить простую проверку, основанную на включении категорий. Категория базового уровня, содержащая сенсорно-очевидные примеры, находится на более высоком уровне, чем примеры, которые она содержит. Категория, члены которой являются более конкретными категориями, находится на более высоком логическом уровне, чем категории, которые она содержит.
Этот принцип называется включением множеств, или включением категорий, является основой для обычного логического обоснования, а также основой для любой систематики, такой как биологическая классификация всех живых существ в виды, роды и т.д. Включение категорий предоставляет простой и недвусмысленный способ определить логические уровни, которые всегда относительны к категориям, которые мы используем.
Логические уровни могут быть установлены событиями, основанными на том, каким образом мы относим их к категориям, а не к содержанию опыта, относимого к категории. Поскольку разные люди используют разные критерии для категоризации, и/или используют разные последовательности применения этих критериев, логические уровни являются следствием того, как относит по категориям конкретный человек, и не могут быть сформированы, только основываясь на содержании.
Любая категория является более абстрактной, чем примеры, ко-
торые она включает в себя, и это обычно представлено прототипом,
в котором содержится меньше информации, чем то, что содержится в
