علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
علوم شناختی
علوم شناختی اصطلاحی برای «علوم ذهن‌شناسی» (علم‌های شناخت ذهن) است که توسط اولریک نیسر انتخاب شده و به‌طور ساده به صورت «پژوهش علمی دربارهٔ ذهن و مغز» تعریف می‌شود و امروزه علوم شناختی یکی از شاخه‌های علوم تجربی (Experimental science) محسوب می‌گردد. این رشته دانشگاهی شاخه‌ای میان‌رشته‌ای می‌باشد که از ادغام و هم افزایی رشته‌های مختلفی مانند روان‌شناسی، فلسفه ذهن، عصب‌شناسی، زبان‌شناسی، انسان‌شناسی، علوم رایانه و هوش مصنوعی تشکیل شده‌است. این علم به بررسی ماهیت فعالیت‌های ذهنی مانند تفکر، طبقه‌بندی و فرایندهایی که انجام این فعالیت‌ها را ممکن می‌کند می‌پردازد. به صورت مشخص‌تر از جمله اهداف اصلی این رشته پژوهش در زمینه ادراک و بازشناسی، توجه، حافظه و یادگیری، زبان، استدلال و تفکر، قضاوت، برنامه‌ریزی، تصمیم‌گیری و … است.