Исходная идея программируемой логическими позитивистами «реконструкции языка науки», как известно, заключалась в том, что всякое осмысленное в языке науки (то есть научно рациональное) утверждение должно быть
приводимо либо к такому виду, в котором оно может быть подвергнуто либо эмпирической проверке – таков статус утверждений т. н. фактуальных наук, претендующих на роль знания о мире, – либо должно продемонстрировать свой характер аналитического высказывания, достоверность которого устанавливается путём логического анализа его составляющих.