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