Значительная степень свободы во взаимоотношениях теоретического и эмпирического уровней выражается в том, что, как подчеркивает Э. Нагель, хотя теоретические понятия сами по себе артикулированы с высокой степенью точности, правила соответствия, соотносящие их с опытом, гораздо менее определены. Невозможно ограничить формальные паттерны этих правил каким-либо однозначным требованием; так, данные правила могут выражать необходимые и достаточные условия для описания эмпирических ситуаций на теоретическом языке (например, следующая связь: скачок электрона имеет место тогда и только тогда, когда наблюдается спектральная линия). Но правила соответствия также могут задавать и только необходимые, или только достаточные условия, или даже связывать сразу несколько теоретических понятий с целым контекстом эмпирических’. Иными словами, правила соответствия могут быть различной формы и оставляют свободное пространство для установления дальнейших связей между теоретическим и эмпирическим уровнями.
Среди возможных уточнений общего требования установления правил соответствия для теоретических, конструктов укажем на концепцию B.C. Степина. Он подчеркивает, что связь измерения и теоретического объекта устанавливается не за счет реальных, а за счет идеализированных измерительных ситуаций. Он показывает, что на практике привязка теоретического конструкта к реальности осуществляется сложным способом; не всегда исследователь имеет возможность сразу приступать к лабораторно-измерительным действиям. В современных развитых теоретических дисциплинах введение абстрактных объектов сопровождается комплексом мысленных манипуляций с ними — проверкой непротиворечивости их свойств, их совместимости с ранее введенными объектами, изобретением воображаемых ситуаций, в которых объект подвергался бы эмпирическому изучению. Комплекс подобных манипуляций B.C. Степин называет конструктивным обоснованием введенных абстрактных объектов. Тогда принцип наблюдаемости может быть заменен правилом конструктивности; при введений абстрактных объектов следует систематически проверять их свойства, опираясь на идеализированные проекты новых экспериментов и измерений; в ходе теоретического продвижения должны оставаться только те объекты, которые обнаружат свою совместимость с проверочным контекстом (т.е. могут быть конструктивно обоснованы).