Понятие рассматривается как когнитивный феномен, не имеющий единственной и однозначной семиотической репрезентации. Полагается, что понятия образуются (определяются) при абстрагировании: обобщении-специализации, типизации-конкретизации, агрегации-декомпозиции и ассоциации-индивидуализации. На основе формализации способов образования (определения) понятий представлена теория понятий, претендующая, как и исчисление высказываний, на семантическую инвариантность во всех «мыслимых мирах».