علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
علمی-تخیلی
ادبیات علمی–تخیلی در ایران «ادبیات علمی» (مجلهٔ دُردانه) یا «افسانهٔ علمی» (هوشنگ غیاثی‌نژاد، مقدمهٔ خورشید عریان) یا «دانش فسانه» هم خوانده شده‌است، اما اصطلاح «علمی-تخیلی» عامه‌پسندتر و جاافتاده‌تر است. ادبیات علمی–تخیلی در ایران بین طبقهٔ کتابخوان عادی، طرفدار چندانی ندارد. این ژانر برای مخاطبان ایرانی بیش از حد شاعرانه و روشنفکرانه است و بیشتر با ادبیات کودکان در یک طبقه قرار می‌گیرد؛ که البته استثناهایی هم وجود دارد، اما امروز هم ادبیات علمی–تخیلی در ایران مبدل به جریانی جدا و مستقل نشده‌است. از نویسندگان معاصر علمی-تخیلی می‌توان به ایرج فاضل بخششی اشاره کرد که ۸ کتاب از او تاکنون به چاپ رسیده‌است. نخستین مجموعهٔ داستان کوتاه علمی–تخیلی ایرانی در فصلنامهٔ ادبستان (ص ۱۵۱ - تابستان و پاییز ۱۳۷۸) تحت عنوان «آخرین بنیاد کهکشانی» نوشتهٔ فرهاد ارکانی (نشر دنیای قلم - ۱۳۷۵ - به همراه دو داستان ترجمه از ایزاک آسیموف معرفی گردید که آخرین داستان این مجموعه به شیوه‌ای تخیلی به نحوهٔ شکل‌گیری سری کتاب‌های بنیاد توسط آسیموف می‌پردازد.