Сравнение существующих метаязыков позволяет выявить целый ряд
особенностей их организации и определить общие тенденции развития этой области лингвистической семантики, связав ее с важнейшей сферой приложения лингвистических знаний — созданием компьютерных систем с элементами искусственного интеллекта, умеющих строить и понимать тексты на естественном языке.
     3.1. Тип значения, для описания которого используется метаязык: лингвистическое или логическое значение?
     Значение выражений ЕЯ изучает не только лингвистика, но и ло-тика. При этом логики вкладывают в такие понятия, как «семантика», «значение языкового выражения», «денотат» содержание, существенно отличное от того, которое до сих пор связывают с этими понятиями боль-юинство лингвистов, занимающихся семантикой. Для логика значение 1т* смысл) предложения ЕЯ есть условие его истинности. С точки зрения логики цель семантического описания (интерпретации) предложения ЕЯ состоит в том, чтобы сформулировать условия истинности последнего относительно некоторой модели мира. «Семантика, не изучающая условий отинности, не может быть семантикой», — пишет Д.Льюиз [Льюиз 1983: "]* ^кой взгляд на значение разделяют с логиками лингвисты, принадлежащие к направлению формальной семантики (см. раздел 1.1.4), «о мнению которых «знать значение предложения значит знать, каким Должен быть мир, если это предложение истинно» [Райее 1996: ЬесШге 1].