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