ЯЗЫК-ОБЪЕКТ

— понятие современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики, обозначающее любой язык (естественный, искусственный, неформализованный, формализованный), элементы и структура которого описываются на другом языке — метаязыке. Синонимами понятия «язык-объект» являются «предметный язык» и «объектный язык», при этом два последних термина фиксируют предметную (объектную) направленность любого языка-объекта. На этих языках описываются предметы, объекты, события, состояния и т. п. окружающего мира или его фрагментов, т. е. они являются дескриптивными, а термин «язык-объект» указывает на то, что такие языки являются объектами описания с помощью средств метаязыков. Различение языков-объектов и соответствующих метаязыков является относительным: данный язык-объект, напр. некоторый естественный язык, может описываться на том же самом языке. Кроме того, любой метаязык (в этом случае он является языком-объектом) может стать объектом описания метаязыка более высокого уровня (мета-метаязыка). Для описания языка-объекта в соответствующем метаязыке необходимо, чтобы метаязык обладал большими выразительными возможностями, т. е. был логически более богатым, чем описываемой с помощью его средств языкобъект. В некоторых случаях язык-объект и соответствующий метаязык (как отметил А. Чёрч) могут совпадать. Совпадение, однако, не означает тождества этих языков, а только то, что они являются частями одного и иого же, напр. естественного, языка. При этом языком-объектом является весь корпус соответствующего естественного языка, а метаязыком — множество его метаязыковых знаков и выражений, которые по своим выразительным, логическим возможностям должны быть не слабее языка-объекта.

В. Н. Садовский