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

مطالعۀ معنای عبارات یا جمله‏ها در چارچوب نظام‌های منطقی یا ریاضی متـ . معناشناسی صوری