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