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