Таким образом, данные, полученные Крэйгом (и другими логиками), показали необходимость теоретических терминов в структуре научной теории. С формальной точки зрения введение теоретических терминов существенно сокращает рассуждения, проводимые в рамках теории, делает ее обозримой, позволяет конечно-аксиоматизировать ее (т.е. выразить в конечном множестве аксиом). С содержательной стороны значение неэмпирических терминов состоит в том, что они создают собственно смысловые взаимосвязи теории. Так, Р. Карнап (как уже вкратце говорилось в § 1.1) указывает, что значение теоретического термина не исчерпывается его эмпирическим содержанием, а всегда имеет некое неявное дополнительное значение, выходящее за рамки непосредственного опытного содержания. (Скажем, масса — это не только соотношение между ускорением и силой, а что-то самостоятельное, особая сущность.) За счет этого дополнительного значения теоретический термин может быть использован в новых областях приложений, для объяснения других явлений, сможет раскрыть в дальнейшем опыте свои новые стороны. Это делает научную теорию открытой для будущего расширения, для роста научного знания. Процедуры Рамсея—Крэйга отбрасывают дополнительные, пока неэкс-плицированные смысловые составляющие теоретических терминов и фиксируют настоящее состояние теории, сводя его к наличному эмпирическому содержанию. В противовес этому с осознанием важности скрытого потенциала, который несут с собой теоретические понятия, мы приходим к тезису принципиальной невозможности редукции теоретических терминов к эмпирическим. К. Карнап говорит о том, что возможна лишь частичная интерпретация теоретического термина через эмпирические, при которой теоретический термин лишь показывает какие-то отдельные, конкретизированные теорией стороны; однако содержание термина этим не исчерпывается, в нем сохраняется некий нередуцируе-мый «остаток».