Теория теории и машинка типов Мы уже понимаем, что описываем мы мир при помощи математических/идеальных/абстрактных/ментальных объектов, которые мы обозначаем какими-то знаками на носителях информации. Теперь надо разобраться с самими этими понятиями: какие они бывают? Есть множество вариантов, как с этими понятиями разбираться, и мы уже упоминали разнообразие теорий понятий[1]: Какими теориями понятий пользоваться? Если вы работаете в нестрогой части спектра формальности рассуждений, то вам лучше всего подойдёт теория образцов или теория прототипов...

Категории в философии представляют из себя наиболее общие и фундаментальные понятия, которые отражают существенные, всеобщие свойства и отношения явлений действительности и познания. Категории возникли и развиваются как результат обобщения исторического развития познания и общественной практики...