معنی شناسی صوری

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