Категория "логический тип" тут взята из теории логических типов Бертрана Рассела. И об метанауках – хоть вскользь, но надо было. Создавание нами самопостигнутостей, как надстраивающийся процесс, уж очень подобно вызреванию метанауки в самой себе.
Что ещё добавить? Рассматриваем себя и выговариваем рассмотренное, но вот уж более, чем ко всему остальному, касательно этого уместно известное античное высказывание: "мысль изреченная есть ложь". То бишь, любое изречение есть стилизация, а значит – конструктивно непреодолимое упрощение объекта, и тем самым – до определёной степени ложь, только что невольная. И уж тем более таковой "ложью" выступает изрекание нáшего объекта – в силу его имманентных особенностей. Но тут уж приходится выбирать: либо отчасти неизбежно лгать, но доводить всё ж до сведения хоть что-то, либо "оставаться честным", но зато держать прозелитов в неведении. Что выбрал автор – ясно.
Это что касается выговариваемости рассмотренного. Но не забывать ещё саму саморассматриваемость. Само производство тех заявленных психоотдифференцировок личных. Которые вначале возникают неким непроизнесённым внутренним конгломератом – так сказать, "голой" постигнутостью, а её затем уже приходится облекать в понятия (соотнося как неизвестное с рядом известных вещей). То бишь выговаривать, а в аналогии будь сказано – одевать. Такая выговоренность – как костюм на теле той твоей "голой постигнутости": до определённой степени скрадывает формы и пропорции того тела, но в чём-то важном – как раз подчёркивает их.