В статье сопоставляются принципы инвариантности, предлагаемые аналитической и феноменологической традициями для демаркации границ формальных и региональных онтологий. Принцип инвариантности относительно изоморфных преобразований, обобщающий критерий Альфреда Тарского для логических понятий, распространяется на формальную онтологию как теорию многообразий в ее феноменологической интерпретации. В качестве теоретико-модельных аналогов многообразий рассматриваются типы изоморфизма, представляющие собой абстрактные индивиды высшего порядка, гипостазы форм всех возможных онтологий. Демонстрируется коррелятивность феноменологических принципов демаркации онтологических регионов и критерия инвариантности относительно изоморфных преобразований, приводящая к сближению логики и формальной математики в обеих традициях и, вместе с тем, к исключению геометрии из формальной онтологии. Особое внимание уделяется дискуссии аналитической и феноменологической традиций о синтетическом (материальном) априори и тому вкладу, который вносит в эту дискуссию на разных этапах его эволюции учение Витгенштейна о внутренних отношениях. Выявляются основания критики поздним Витгенштейном собственного раннего проекта создания феноменологического языка для выражения внутренних региональных отношений (таких как взаимное исключение цветов). Показывается, как сомнения Витгенштейна в возможности идеальной нотации, основанной на дихотомии логического и феноменологического, приводят его к исследованию инвариантов, возникающих в языковых играх. Эти инварианты не обусловлены особыми свойствами категорных объектов формальной онтологии или структур региональной предметности, но представляют собой стабильные равновесия, порождаемые «консенсусом действий». Намечаются новые перспективы, которые открывает для логики и феноменологии переключение внимания с инвариантов онтологических структур на инварианты структурированных интеракций агентов различного типа.