Широкие онтологические категории вроде ЖИВОТНОЕ или ОРУДИЕ – это по большому счету мини-теории об определенном классе существующих в мире объектов. Наши предположения о животных возникают не только из повторяющихся встреч с животными. От бездумного накопления фактов они отличаются двумя очень важными признаками. Во-первых, мы способны размышлять о множестве тех аспектов существования животных, которые выходят за рамки наших знаний. Например, все мы допускаем, что, вскрыв тигра и посмотрев, что у него внутри, мы обнаружим то же самое внутри любого другого тигра. Нам нет необходимости вскрывать тигра за тигром и составлять статистику обнаруженного, чтобы прийти к выводу: внутреннее строение у всех представителей категории ТИГР, скорее всего, одинаково. Мы это просто допускаем, это часть наших предположений. Во-вторых, мы походя устанавливаем всевозможные связи между имеющимися в наличии фактами. Мы допускаем, что тигры едят коз, потому что голодны; голодны, потому что для поддержания жизнедеятельности им требуется пища; они нападают на коз, а не на слонов, потому что крупное животное им не завалить; они едят коз, а не траву, потому что их пищеварительная система не приспособлена для травы; и т. д. Именно поэтому психологи называют такие понятия теоретическими.