Шесть слепых слонов | страница 95
Точно также, мы можем сказать:
«На всех стульях можно сидеть. (Все стулья являются членами категории «объекты, на которых можно сидеть».)
Этот (X) является стулом.
Следовательно, на (X) можно сидеть».
Используя эту же диаграмму, можно сказать, что большой круг включает все объекты, на которых можно сидеть, маленький круг включает все стулья, а X означает конкретный стул.
Наследственность. Мы можем вывести такие логические заключения, поскольку любой критерий для более общей категории должен быть применен к более конкретной подкатегории данной категории. Когда мы делим категорию белых фигур на более конкретные, основанные на форме, высоте, или другом критерии, все члены этих категорий должны быть белыми фигурами. И это называется свойством наследственности (51, сс. 303-304).
Заметьте, что наследственность однонаправлена; она применяется только когда мы двигаемся от категории к подкатегории. Если мы двигаемся в противоположном направлении к более общей категории, наследственность не соблюдается. Например, если мы пойдем от категории «белые треугольные фигуры» к более общей категории «белые фигуры», некоторые из них не будут треугольными. Точно также, если мы включим категорию «фигуры» в более общую категорию «игрушки», многие другие игрушки не будут фигурами.
Сужение. Каждая подкатегория любой категории основана на одном или более дополнительном критерии, который затем определяет примеры для этой подкатегории. Это явление описано как характерная черта сужения, так как каждый дополнительный критерий подкатегории сужает диапазон примеров, которые могут в нее включены (51, стр. 303-304). Например, категория двухдю- мовых треугольных белых фигур обычно включает в себя меньше членов, чем более общая категория «белых фигур», которая также включает в себя квадратные белые фигуры и круглые белые фигуры. Однако, если бы не было квадратных или круглых белых фигур в нашей куче фигур, в этих двух категориях было бы одинаковое количество фигур.
Логические уровни описывают различные «уровни» категорий, образованных в результате включения категорий. Это принципы, лежащие в основе повседневной логики. С ними также работали Бостик и Гриндер, и назвали «логическим включением» (51, с. 294-301), термин, случайно использованный в математике. Термин «логические уровни», очень точно используемый в математике, является чем-то другим, и мы вернемся к этой теме позже в этой главе.
Обычно каждая категория включает примеры, так что мы можем использовать слова «пример» и «включать», чтобы определить, связаны ли события или категории друг с другом логическими уровнями:
