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