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