объектный язык

ОБЪЕКТНЫЙ (ПРЕДМЕТНЫЙ) ЯЗЫК - язык, выражения которого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики описывает свойства механического движения материальных тел и взаимодействия между ними; язык арифметики говорит о числах, об их свойствах, операциях над числами; язык химии - о химических веществах и реакциях и т. д. Вообще любой язык обычно используется прежде всего для того, чтобы говорить о каких-то внеязыковых объектах, и в этом смысле каждый язык является объектным. Однако в семантическом анализе приходится говорить о самом языке, и тогда мы вынуждены проводить различие между двумя языками - О. я. и метаязыком, с помощью которого мы говорим о терминах и выражениях О. я. Конечно, в естественном языке О. я. и метаязык соединены: мы говорим на этом языке как о предметах, так и о самих выражениях языка. Такой язык называется семантически замкнутым. Языковая интуиция обычно помогает нам избегать парадоксов, к которым приводит семантическая замкнутость естественного языка. Но при построении формализованных языков тщательно следят за тем, чтобы О. я. был четко отделен от метаязыка.