Поэтому, во-вторых, для построения абстрактных моделей используются «профессиональные» языки. Их применяют люди, связанные общими для них, но частными для всех остальных людей видами деятельности. Наиболее ярко это проявляется на примере языков конкретных отраслей наук сильной версии (см. § 1.2). Дифференциация наук объективно потребовала создания специализированных языков, более четких и точных, чем естественный.

В третьих, когда средств естественного и профессиональных языков не хватает для построения моделей, используются искусственные, в том числе формализованные, языки — например, в логике, математике. К искусственным языкам относятся компьютерные языки, а также чертежи, схемы и т.п.

В результате получается иерархия языков и соответствующая иерархия типов моделей. На верхнем уровне этого спектра находятся модели, создаваемые средствами естественного языка, и так вплоть до моделей, имеющих максимально достижимую определенность и точность для сегодняшнего состояния данной отрасли профессиональной деятельности. Очевидно, так и следует понимать известные высказывания И. Канта и К. Маркса о том, что любая отрасль знания может тем с большим основанием именоваться наукой, чем в большей степени в ней используется математика. Математические (в строгом смысле) модели обладают абсолютной точностью. Но чтобы дойти до их использования в какой-либо области, необходимо получить достаточный для этого объем достоверных знаний. Нематематизированность, в частности, педагогики не означает ее ненаучность, а есть следствие познавательной сложности ее предмета. В педагогике, в образовании модели строятся, как правило, с использованием средств естественного языка.

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