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