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