逻辑学可以分为不同的形式，主要包括：
形式逻辑
专注于研究命题和推理的形式，包括命题逻辑、谓词逻辑、模态逻辑等。
形式逻辑强调推理的结构和规则，不依赖于外部世界的实际情况。
包括归纳和演绎推理、分析与综合、抽象与概括等方法。
辩证逻辑
探讨事物内部的矛盾和发展，既考虑精神世界也考虑物质世界。
辩证逻辑以思辩性和反思性为主，常用于哲学问题的探讨。
非形式逻辑
研究不确定问题、真实论证以及自然语言的使用。
包括论证逻辑、综合推理逻辑等。
其他逻辑形式
包括认知逻辑、模糊逻辑、制约逻辑等。
现代逻辑还涉及到更加复杂的逻辑形式和推理模式，如模态逻辑、互动逻辑、非经典逻辑等。
逻辑学研究的目的在于理解和应用思维规律，无论是在科学研究、日常生活还是哲学探讨中都有重要应用