Простыми (primitive), или примитивным типами данных, являются предопределённые типы: целое Integer, строка String, логический тип Boolean, числа с плавающей запятой Real и неограниченные натуральные числа UnlimitedNatural, которые используются для моделирования неопределённого количества элементов, например, экземпляров класса, участвующих в ассоциации.
Потому что парадоксальным образом именно ошибка внутри логических типов отвечает за ситуацию, сложившуюся не только в науке, но и в повседневном мире, усвоившем за последние века её правила.
Неравномерность репрезентации (её специфичность) зависит от того, относится ли она к особому логическому типу репрезентации — описание, интерпретация и оценка (предположим, что человек, создающий репрезентацию, проводит различие между этими меняющимися формами презентации).
Логические типы предельных абстракций, выработанных третьей русской философией, образуют так называемую «вторую категорию системы», включающую не просто логические действительности целого, частей и связей, но специфические действительности процессов, материала, структуры, связей, морфологии (видов организации материала).