.), а не теоретические формы, не закрепляются в качестве особой дисциплинарной теории [Mittelstraß, 2003, S. 6–9].
В слое трансдисциплинарного знания выделяются два типологических компонента [Stichweh, 1994, Fischer, 2010, Küppers, 2000]. Первый тип знаний можно определить как формальный, в него включаются понятия, методы и модели формальных наук, прежде всего математики и логики, когнитивное содержание которых (познание формальных систем) по определению является максимально абстрактным и не зависимым от предметного содержания отдельных дисциплин, а потому может включаться в самые разные дисциплинарные контексты. Второй тип этих знаний можно было бы определить как «структурный», его разрабатывают так называемые науки «структурного» профиля8. Этот тип знаний тоже абстрактен, что позволяет применять его в предметных областях разных дисциплин, но при этом подразумевается его некоторая опосредованная связь или отношение с предметным содержанием, представляемым в «структурной» форме.
Роль формального логико-математического знания в деле интеграции поля наук, как правило, связывается с возможностями построения с его помощью формальных логико-математических моделей в предметных областях различных научных дисциплин [Гусев, 2009]. При этом уровень и возможности формализации и математизации этих областей могут заметно различаться в зависимости от качества самой предметной области, а также от уровня, характера и языка создаваемых в них теорий. Поэтому способы и средства логико-математической формализации, применяемые в разных областях науки, могут быть различны и браться из самых разных разделов логики или математики (дифференциального исчисления, математической статистики, логики вероятностей и т.д.). Вместе с тем сама общность формальной природы этих моделей создает общее пространство для их интеграционного взаимодействия. Сторонники формализации и математизации научного знания видят здесь большие перспективы для интеграции науки [Арнольд, 2006; Haken, 1982; Пригожин, Николис, 2008].
Однако этот тип интеграции науки сталкивается и с проблемами, к которым обычно относят проблему содержательной интерпретации формальных моделей, а также проблему «входа» в пространство формальной интеграции. Первая проблема связана с издержками «перевода» предметного содержания дисциплин на язык формальных абстракций и обратно, так как здесь возможны существенные потери и искажения содержания, вероятные тем больше, чем труднее предметная область поддается формализации, чем менее она снабжена формализованными теориями. Это требует особых интерпретационных усилий по поддержанию и контролю связей предметности и формальных абстракций. Другая проблема вытекает из необходимости специальной подготовки для коммуникации в науке на уровне формальных моделей, что требует освоения соответствующего языка и способов работы, особенно, в условиях растущей сложности, абстрактности и самореферируемости формальных языков. Иными словами, «вход» в интеграционное пространство, создаваемое формальными науками, требует специальных усилий и изменений в условиях научной коммуникации. А эти обстоятельства могут создавать проблемы для сложившихся в разных дисциплинах и секторах науки способов коммуникации и тем самым осложнять и затруднять интеграцию в целом.