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