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