Указанное различие лингвистического и логического понимания значения соответствует проводимому вслед за У. Куайном делению семантики на внутреннюю (слабую) и внешнюю (сильную) [С)шпе 1973]. Семантические метаязыки, разрабатываемые логиками и лингвистами для описания сильной семантики предложения, строятся на основе тех или иных языков логики, в последнее время — интенсиональной логики [Лыоиз 1983], [Моп1а§ие 1974]. Семантические метаязыки, используемые в лингвистике для описания слабой семантики предложения, в основном сводятся к двум типам ■— языку исчисления предикатов с теми или иными расширениями и языку семантических сетей (графов).