علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
معناشناسی صوری (زبان‌شناسی)
زبانشناسان به ندرت معناشناسی صوری را تا پیش از اینکه ریچارد مانتگیو نشان داد که چگونه زبان انگلیسی (یا هر زبان طبیعی) می‌تواند همچون یک زبان صوری مورد استفاده گیرد، در نظر می‌گرفتند. مشارکت او در معناشناسی زبانی، که امروزه تحت عنوان دستورزبان مانتگیو شناخته می‌شود، مبنایی شد برای توسعه‌های بعدی مانند دستورزبان دسته ایِ بار-هیلل و همکارانش، و اخیراً معناشناسی (یا دستورزبان) تایپ-منطقی مبتنی بر حساب لامبک.