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