علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
عقلیات
شناخت‌هایی که پیش از پرداختن به طرح و مسائل هر علمی نیاز به آن است را «مبادی علوم» گویند و به دو دسته تقسیم می‌شوند. ۱. مبادی تصوری ۲. مبادی تصدیقی