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