В философии и методологии науки обращалось особое внимание на логическое упорядочивание и сжатое описание фактов. Вместе с тем очевидно, что реализация языковой функции упорядочивания и логической концентрации, сжатого описания фактического матриала ведет к значительной трансформации в смысловом семантическом континууме, к определенному пересмотру самого события или цепочки событий. Это, в свою очередь, высвечивает новое содержание, первоначально погруженное в «море» фактов. Когда описательные языки содержат в себе претензию указывать на закономерности, объединяющие данные факты, то в таком случае говорят о помологических языках.

Столь многообразная спецификация различных типов языков вызвала к жизни проблему классификации языков научной теории. Одним из ее плодотворных решений было заключение о классификации языков научной теории на основе ее внутренней структуры. Таким образом, языки стали различаться с учетом того, в какой из подсистем теории они преимущественно используются. В связи с этим выделяются следующие классы языков:

§   Ассерторический — язык утверждения. С его помощью формулируются основные утверждения данной теории. Ассерторические языки делятся на формализованные и неформализованные. Примерами первых служат любые формальные логические языки. Примерами вторых— фрагменты естественных языков, содержащих утвердительные предположения, дополненные научными терминами.

§   Модельный язык, который служит для построения моделей и других элементов модельно-репрезентативной подсистемы. Эти языки имеют развитые средства описания и также подразделяются на формализованные и неформализованные. Формализованные основываются на использовании средств математической символики.

§   Процедурный язык, занимающий подчиненный ранг классификации и служащий для описания измерительных, экспериментальных процедур, а также правил преобразования языковых выражений, процессов постановки и решения задач. Особенностью процедурных языков является однозначность предписаний.