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