فرهنگستان زبان و ادب {formal semantics} [زبان شناسی] مطالعۀ معنای عبارات یا جمله ها در چارچوب نظام های منطقی یا ریاضی متـ. معناشناسی صوری