Поскольку «множество» имеет очень конкретное значение в математике, а я не математик, я буду использовать более общий
термин «категория», простое слово, которое естественным образом используем мы, чтобы организовать свой опыт. Также, я буду использовать «включение категорий» вместо «включения множеств». Использование обычного слова «категория» продолжает описания исследований лингвистических категорий Лакоффа (38) и описание исследования нейрологических основ нашей способности категоризировать Эдельмана (27).
Заметьте, что категория фигур — это не одна фигура, а группа фигур, поэтому она не может быть элементом более общей категории. Только элементы категории фигур могут быть элементами более общей категории фигурок. Категория белых квадратных фигур не является элементом категории «белых фигурок», а вот отдельные квадратные белые фигурки, включенные в эту категорию, являются элементами категории белых фигурок. Группа коров — это не корова; это стадо, а элементы стада — это коровы.
Однако, категория фигурок могла бы быть членом другой более общей категории «категории вещей» или «представлений» и т.д. Это может показаться неясным, но если будет недостаточно очевидна разница между группой вещей и самими вещами, то это может привести к путанице, а я хочу быть понятным с самого начала.
Другой источник возможных затруднений — это разница между названием категории и отдельным ее членом. Слово «кот» может означать категорию животного или может указывать на отдельного члена группы. Вы можете ласкать животное, а не слово.
Слово «стадо» — это ни группа коров, ни отдельная корова, это только обозначение группы коров.
Название блюд, предлагаемых в ресторане, написаны в меню, но этот листок бумаги сильно отличается по вкусу от любого из этих блюд, и он значительно менее питателен!
Включение категорий — простейший способ создать упорядоченную последовательность категорий, чтобы описать группу предметов или событий, а также это основа для простейшего логического рассуждения, как в классическом силлогизме:
«Всякий человек смертен.
Сократ — человек.
Следовательно, Сократ смертен».
Поскольку Сократ — член категории людей, а категория людей включена в категорию объектов, являющихся смертными, Сократ должен быть смертен. Это можно показать на примере простой диаграммы кругов Венна. Большой круг включает все предметы, являющиеся смертными, а меньший круг — всех людей, а X внутри него обозначает, что Сократ — член меньшего круга.
