Для развития метода компараторной идентификации вводится формальный язык, который позволяет записывать предикаты, реализуемые испытуемым в экспериментах; язык для записи уравнений, выражающих свойства этих предикатов; формальные средства для описания внутренней структуры стимулов, предъявляемых испытуемому, состояний, переживаемых им, а также внутренней структуры предикатов, реализуемых испытуемым. Предлагаются математические средства извлечения из свойства предикатов их внутренней структуры.