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