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