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