علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
علم حضوری
در این نوع علم، شیء خارجی مستقیماً مورد ادراک فرد ادراک‌کننده قرار می‌گیرد. به بیان دیگر عین خارجی، خودش مورد ادراک قرار می‌گیرد. در علم حضوری، موضوعات ذهنی و عینی اموری واحدند. علم حضوری عبارت است از شناخت چیزی بدون واسطه یا شناخت چیزی بدون واسطهٔ حکایت کننده. برای نمونه هنگامی که انسان شاد است، آگاهی از این شادی بدون تصویر ذهنی است و در واقع بی‌واسطه و مستقیم است. این نوع از آگاهی که در آن خودِ واقعیّتِ درک شده نزد ادراک‌کننده حضور دارد و واسطه و حائلی میان عالم و معلوم (مُدرِک و مُدرَک) نیست را "حضوری" می‌گویند. تقسیم علم به حضوری و حصولی، یک تقسیم عقلی است و به فیلسوفان اسلامی اختصاص دارد.