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