1 Формал мантиқ баъзан умумий мантиқ деб ҳам юритилади. Классик ва ноклассик мантиқлар унинг тараққиётининг асосий йўналишлари ҳисобланади. Символик мантиқ деган ибора ҳам мавжуд бўлиб, у формал мантиқнинг хозирги босқичини ифода этиш учун ишлатилади.