علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
معناشناسی
معناشناسی با علم نحو که علم ترکیبات واحدهای یک زبان (بدون توجه به معنی شان) می‌باشد و علم واقع گرایی که مطالعه روابط بین علائم یک زبان می‌باشد، معنایشان و استفاده‌کنندگان زبان مقایسه می‌شود. در واژگان علمی و بین‌المللی، معناشناسی (semanties, semasialogy) نیز نامیده می‌شود.