علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
منطق صوری
منطق صوری (به انگلیسی: Formal logic) شاخه‌ای از منطق است که طرز صحیح صورت‌بندی اندیشه را به نحو کلی بیان می‌کند به گونه‌ای که با به‌کار بردن آن صورت‌ها، ذهن از خطای صوری مصون می‌شود.