علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
نظریه علمی
در علم مدرن، اصطلاح نظریه، به آن دسته از تئوری‌های علمی گویند که شرح و توضیحی از طبیعت را ارائه می‌دهند که از روش‌های علمی حاصل شده و همواره به این روش‌ها استوار و منطبق هستند. بدین معنا که معیارهای مورد نیاز و لازم برای علم مدرن را برآورده می‌کنند. این معیارها شامل ۱- نقد و ۲- تأیید یا ۳-رد علمی می‌باشند. بدین جهت است که چنین تئوری‌ها یا نظریه‌هایی، باید به گونه ای باشند که آزمون‌های علمی همواره بتوانند و قادر باشند آن‌ها را از نظر تجربی، پشتیبانی یا نقض کنند (رد کنند).